@ontrails/warden 1.0.0-beta.0

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

@@ -0,0 +1 @@
+{"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;;;;;;;GAOG;AACH,eAAO,MAAM,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CActD,CAAC"}

package/dist/rules/index.js

@@ -0,0 +1,41 @@
+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.
+ *
+ * Rules that duplicate validateTopo checks (follows-trails-exist,
+ * no-recursive-follows, event-origins-exist, examples-match-schema,
+ * require-output-schema) and follows-matches-calls (now covered by
+ * testExamples follows coverage) have been removed.
+ */
+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

@@ -0,0 +1 @@
+{"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;;;;;;;GAOG;AACH,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

@@ -0,0 +1,12 @@
+/**
+ * Detects hike implementations that call `.implementation()` directly.
+ *
+ * Uses AST parsing to find hike definition bodies and check for
+ * `.implementation()` call expressions.
+ */
+import type { WardenRule } from './types.js';
+/**
+ * Detects routes that call another trail's `.implementation()` 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

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

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

@@ -0,0 +1,46 @@
+/**
+ * Detects hike implementations that call `.implementation()` directly.
+ *
+ * Uses AST parsing to find hike definition bodies and check for
+ * `.implementation()` call expressions.
+ */
+import { findImplementationBodies, findTrailDefinitions, isImplementationCall, offsetToLine, parse, walk, } from './ast.js';
+const findImplCallsInHike = (def, filePath, sourceCode, diagnostics) => {
+    for (const body of findImplementationBodies(def.config)) {
+        walk(body, (node) => {
+            if (isImplementationCall(node)) {
+                diagnostics.push({
+                    filePath,
+                    line: offsetToLine(sourceCode, node.start),
+                    message: 'Use ctx.follow("trailId", input) instead of direct .implementation() calls. ctx.follow() validates input and propagates tracing.',
+                    rule: 'no-direct-impl-in-route',
+                    severity: 'warn',
+                });
+            }
+        });
+    }
+};
+/**
+ * Detects routes that call another trail's `.implementation()` directly.
+ */
+export const noDirectImplInRoute = {
+    check(sourceCode, filePath) {
+        if (!/\bhike\s*\(/.test(sourceCode)) {
+            return [];
+        }
+        const ast = parse(filePath, sourceCode);
+        if (!ast) {
+            return [];
+        }
+        const diagnostics = [];
+        const hikeDefs = findTrailDefinitions(ast).filter((d) => d.kind === 'hike');
+        for (const def of hikeDefs) {
+            findImplCallsInHike(def, filePath, sourceCode, diagnostics);
+        }
+        return diagnostics;
+    },
+    description: 'Prefer ctx.follow() over direct .implementation() calls in route bodies.',
+    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

@@ -0,0 +1 @@
+{"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,wBAAwB,EACxB,oBAAoB,EACpB,oBAAoB,EACpB,YAAY,EACZ,KAAK,EACL,IAAI,GACL,MAAM,UAAU,CAAC;AAUlB,MAAM,mBAAmB,GAAG,CAC1B,GAAiC,EACjC,QAAgB,EAChB,UAAkB,EAClB,WAA+B,EACzB,EAAE;IACR,KAAK,MAAM,IAAI,IAAI,wBAAwB,CAAC,GAAG,CAAC,MAAiB,CAAC,EAAE,CAAC;QACnE,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YAClB,IAAI,oBAAoB,CAAC,IAAe,CAAC,EAAE,CAAC;gBAC1C,WAAW,CAAC,IAAI,CAAC;oBACf,QAAQ;oBACR,IAAI,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC;oBAC1C,OAAO,EACL,kIAAkI;oBACpI,IAAI,EAAE,yBAAyB;oBAC/B,QAAQ,EAAE,MAAM;iBACjB,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAe;IAC7C,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACpC,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,QAAQ,GAAG,oBAAoB,CAAC,GAAc,CAAC,CAAC,MAAM,CAC1D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CACzB,CAAC;QAEF,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,mBAAmB,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QAC9D,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,WAAW,EACT,0EAA0E;IAC5E,IAAI,EAAE,yBAAyB;IAE/B,QAAQ,EAAE,MAAM;CACjB,CAAC"}

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

@@ -0,0 +1,12 @@
+/**
+ * Flags direct `.implementation()` calls in application code.
+ *
+ * Uses AST parsing to find `.implementation()` call expressions,
+ * ignoring occurrences in strings and comments.
+ */
+import type { WardenRule } from './types.js';
+/**
+ * Flags direct `.implementation()` 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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,39 @@
+/**
+ * Flags direct `.implementation()` calls in application code.
+ *
+ * Uses AST parsing to find `.implementation()` call expressions,
+ * ignoring occurrences in strings and comments.
+ */
+import { isImplementationCall, offsetToLine, parse, walk } from './ast.js';
+import { isFrameworkInternalFile, isTestFile } from './scan.js';
+/**
+ * Flags direct `.implementation()` 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 (isImplementationCall(node)) {
+                diagnostics.push({
+                    filePath,
+                    line: offsetToLine(sourceCode, node.start),
+                    message: 'Use ctx.follow("trailId", input) instead of direct .implementation() calls. Direct implementation access bypasses validation, tracing, and layers.',
+                    rule: 'no-direct-implementation-call',
+                    severity: 'warn',
+                });
+            }
+        });
+        return diagnostics;
+    },
+    description: 'Disallow direct .implementation() 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

@@ -0,0 +1 @@
+{"version":3,"file":"no-direct-implementation-call.js","sourceRoot":"","sources":["../../src/rules/no-direct-implementation-call.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,oBAAoB,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAC3E,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,oBAAoB,CAAC,IAAI,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,oJAAoJ;oBACtJ,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,wFAAwF;IAC1F,IAAI,EAAE,+BAA+B;IACrC,QAAQ,EAAE,MAAM;CACjB,CAAC"}

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

@@ -0,0 +1,6 @@
+import type { WardenRule } from './types.js';
+/**
+ * Flags code that assumes `.implementation()` 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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,98 @@
+import { isFrameworkInternalFile, isTestFile, stripQuotedContent, } from './scan.js';
+const RESULT_ACCESS_PATTERN = /\.(?:isOk|isErr|match|map)\s*\(|\.(?:value|error)\b/;
+const IMPLEMENTATION_CALL_PATTERN = /\.implementation\s*\(/;
+const isAwaitedImplementationCall = (line) => {
+    const callIndex = line.indexOf('.implementation(');
+    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: .implementation() returns Promise<Result> after normalization. Use `const result = await trail.implementation(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 `.implementation()` returns a synchronous result.
+ */
+export const noSyncResultAssumption = {
+    check(sourceCode, filePath) {
+        if (isTestFile(filePath) || isFrameworkInternalFile(filePath)) {
+            return [];
+        }
+        return scanSourceCode(stripQuotedContent(sourceCode), filePath);
+    },
+    description: 'Disallow treating .implementation() 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

@@ -0,0 +1 @@
+{"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,uBAAuB,CAAC;AAE5D,MAAM,2BAA2B,GAAG,CAAC,IAAY,EAAW,EAAE;IAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACnD,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,4IAA4I,CAAC;AAE/I,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,oHAAoH;IACtH,IAAI,EAAE,2BAA2B;IACjC,QAAQ,EAAE,OAAO;CAClB,CAAC"}

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

@@ -0,0 +1,12 @@
+/**
+ * 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

@@ -0,0 +1 @@
+{"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"}

package/dist/rules/no-throw-in-detour-target.js

@@ -0,0 +1,87 @@
+/**
+ * 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 { findImplementationBodies, findTrailDefinitions, offsetToLine, parse, walk, } from './ast.js';
+import { isTestFile } from './scan.js';
+/** Collect all trail IDs referenced as detour targets in the AST. */
+const collectDetourTargets = (ast) => {
+    const targets = new Set();
+    walk(ast, (node) => {
+        if (node.type !== 'Property' ||
+            node.key?.name !== 'detours' ||
+            !node.value) {
+            return;
+        }
+        walk(node.value, (inner) => {
+            if (inner.type === 'Literal' || inner.type === 'StringLiteral') {
+                const { value } = inner;
+                if (typeof value === 'string' && value.includes('.')) {
+                    targets.add(value);
+                }
+            }
+        });
+    });
+    return targets;
+};
+/** Find throws in implementation bodies of targeted trails. */
+const findThrowsInTargetedTrails = (ast, sourceCode, filePath, detourTargets) => {
+    const diagnostics = [];
+    for (const def of findTrailDefinitions(ast)) {
+        if (!detourTargets.has(def.id)) {
+            continue;
+        }
+        for (const body of findImplementationBodies(def.config)) {
+            walk(body, (node) => {
+                if (node.type === 'ThrowStatement') {
+                    diagnostics.push({
+                        filePath,
+                        line: offsetToLine(sourceCode, node.start),
+                        message: `Trail "${def.id}" is a detour target and must not throw. Use Result.err() instead.`,
+                        rule: 'no-throw-in-detour-target',
+                        severity: 'error',
+                    });
+                }
+            });
+        }
+    }
+    return diagnostics;
+};
+const checkThrowInDetourTargets = (sourceCode, filePath, detourTargets) => {
+    if (isTestFile(filePath)) {
+        return [];
+    }
+    const ast = parse(filePath, sourceCode);
+    if (!ast) {
+        return [];
+    }
+    return findThrowsInTargetedTrails(ast, sourceCode, filePath, detourTargets);
+};
+/**
+ * Flags throws in implementations that are used as detour targets.
+ */
+export const noThrowInDetourTarget = {
+    check(sourceCode, filePath) {
+        const ast = parse(filePath, sourceCode);
+        if (!ast) {
+            return [];
+        }
+        return checkThrowInDetourTargets(sourceCode, filePath, collectDetourTargets(ast));
+    },
+    checkWithContext(sourceCode, filePath, context) {
+        if (context.detourTargetTrailIds) {
+            return checkThrowInDetourTargets(sourceCode, filePath, context.detourTargetTrailIds);
+        }
+        const ast = parse(filePath, sourceCode);
+        if (!ast) {
+            return [];
+        }
+        return checkThrowInDetourTargets(sourceCode, filePath, collectDetourTargets(ast));
+    },
+    description: 'Disallow throw statements inside implementations that are referenced as detour targets.',
+    name: 'no-throw-in-detour-target',
+    severity: 'error',
+};
+//# sourceMappingURL=no-throw-in-detour-target.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"no-throw-in-detour-target.js","sourceRoot":"","sources":["../../src/rules/no-throw-in-detour-target.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,wBAAwB,EACxB,oBAAoB,EACpB,YAAY,EACZ,KAAK,EACL,IAAI,GACL,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAcvC,qEAAqE;AACrE,MAAM,oBAAoB,GAAG,CAAC,GAAY,EAAuB,EAAE;IACjE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;QACjB,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,IAAI,CAAC,GAAG,EAAE,IAAI,KAAK,SAAS;YAC5B,CAAC,IAAI,CAAC,KAAK,EACX,CAAC;YACD,OAAO;QACT,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,KAAgB,EAAE,CAAC,KAAK,EAAE,EAAE;YACpC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBAC/D,MAAM,EAAE,KAAK,EAAE,GAAG,KAAuC,CAAC;gBAC1D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBACrD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACrB,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,+DAA+D;AAC/D,MAAM,0BAA0B,GAAG,CACjC,GAAY,EACZ,UAAkB,EAClB,QAAgB,EAChB,aAAkC,EACd,EAAE;IACtB,MAAM,WAAW,GAAuB,EAAE,CAAC;IAE3C,KAAK,MAAM,GAAG,IAAI,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAC/B,SAAS;QACX,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,wBAAwB,CAAC,GAAG,CAAC,MAAiB,CAAC,EAAE,CAAC;YACnE,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBAClB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBACnC,WAAW,CAAC,IAAI,CAAC;wBACf,QAAQ;wBACR,IAAI,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC;wBAC1C,OAAO,EAAE,UAAU,GAAG,CAAC,EAAE,oEAAoE;wBAC7F,IAAI,EAAE,2BAA2B;wBACjC,QAAQ,EAAE,OAAO;qBAClB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,UAAkB,EAClB,QAAgB,EAChB,aAAkC,EACL,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,0BAA0B,CAC/B,GAAc,EACd,UAAU,EACV,QAAQ,EACR,aAAa,CACd,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAA2B;IAC3D,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,OAAO,yBAAyB,CAC9B,UAAU,EACV,QAAQ,EACR,oBAAoB,CAAC,GAAc,CAAC,CACrC,CAAC;IACJ,CAAC;IACD,gBAAgB,CACd,UAAkB,EAClB,QAAgB,EAChB,OAAuB;QAEvB,IAAI,OAAO,CAAC,oBAAoB,EAAE,CAAC;YACjC,OAAO,yBAAyB,CAC9B,UAAU,EACV,QAAQ,EACR,OAAO,CAAC,oBAAoB,CAC7B,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,OAAO,yBAAyB,CAC9B,UAAU,EACV,QAAQ,EACR,oBAAoB,CAAC,GAAc,CAAC,CACrC,CAAC;IACJ,CAAC;IACD,WAAW,EACT,yFAAyF;IAC3F,IAAI,EAAE,2BAA2B;IACjC,QAAQ,EAAE,OAAO;CAClB,CAAC"}

package/dist/rules/no-throw-in-implementation.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Finds `throw` statements inside `implementation:` function bodies.
+ *
+ * Uses AST parsing for accurate detection — no false positives from
+ * throw in comments, strings, or nested non-implementation functions.
+ */
+import type { WardenRule } from './types.js';
+export declare const noThrowInImplementation: WardenRule;
+//# sourceMappingURL=no-throw-in-implementation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"no-throw-in-implementation.d.ts","sourceRoot":"","sources":["../../src/rules/no-throw-in-implementation.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAoB,UAAU,EAAE,MAAM,YAAY,CAAC;AAE/D,eAAO,MAAM,uBAAuB,EAAE,UA8BrC,CAAC"}

package/dist/rules/no-throw-in-implementation.js

@@ -0,0 +1,34 @@
+/**
+ * Finds `throw` statements inside `implementation:` function bodies.
+ *
+ * Uses AST parsing for accurate detection — no false positives from
+ * throw in comments, strings, or nested non-implementation functions.
+ */
+import { findImplementationBodies, offsetToLine, parse, walk } from './ast.js';
+export const noThrowInImplementation = {
+    check(sourceCode, filePath) {
+        const ast = parse(filePath, sourceCode);
+        if (!ast) {
+            return [];
+        }
+        const diagnostics = [];
+        for (const body of findImplementationBodies(ast)) {
+            walk(body, (node) => {
+                if (node.type === 'ThrowStatement') {
+                    diagnostics.push({
+                        filePath,
+                        line: offsetToLine(sourceCode, node.start),
+                        message: 'Do not throw inside implementation. Use Result.err() instead.',
+                        rule: 'no-throw-in-implementation',
+                        severity: 'error',
+                    });
+                }
+            });
+        }
+        return diagnostics;
+    },
+    description: 'Disallow throw statements inside trail/route implementation bodies. Use Result.err() instead.',
+    name: 'no-throw-in-implementation',
+    severity: 'error',
+};
+//# sourceMappingURL=no-throw-in-implementation.js.map

package/dist/rules/no-throw-in-implementation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-throw-in-implementation.js","sourceRoot":"","sources":["../../src/rules/no-throw-in-implementation.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,wBAAwB,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAG/E,MAAM,CAAC,MAAM,uBAAuB,GAAe;IACjD,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,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,IAAI,IAAI,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBAClB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBACnC,WAAW,CAAC,IAAI,CAAC;wBACf,QAAQ;wBACR,IAAI,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC;wBAC1C,OAAO,EACL,+DAA+D;wBACjE,IAAI,EAAE,4BAA4B;wBAClC,QAAQ,EAAE,OAAO;qBAClB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,WAAW,EACT,+FAA+F;IACjG,IAAI,EAAE,4BAA4B;IAClC,QAAQ,EAAE,OAAO;CAClB,CAAC"}

package/dist/rules/prefer-schema-inference.d.ts

@@ -0,0 +1,7 @@
+import type { WardenRule } from './types.js';
+/**
+ * Warns when a fields override only repeats metadata deriveFields() already gets from
+ * the schema.
+ */
+export declare const preferSchemaInference: WardenRule;
+//# sourceMappingURL=prefer-schema-inference.d.ts.map

package/dist/rules/prefer-schema-inference.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-schema-inference.d.ts","sourceRoot":"","sources":["../../src/rules/prefer-schema-inference.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAoB,UAAU,EAAE,MAAM,YAAY,CAAC;AA0H/D;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,UAcnC,CAAC"}

package/dist/rules/prefer-schema-inference.js

@@ -0,0 +1,86 @@
+import { isTestFile } from './scan.js';
+import { findTrailLikeSpecs, parseArrayEntries, parseObjectProperties, parseStringLiteral, parseZodObjectShape, } from './specs.js';
+const REDUNDANT_OVERRIDE_KEYS = new Set(['label', 'options']);
+const hasOnlyRedundantKeys = (properties) => [...properties.keys()].every((key) => REDUNDANT_OVERRIDE_KEYS.has(key));
+const redundantLabelPart = (derivedLabel, properties) => {
+    const label = parseStringLiteral(properties.get('label')?.value ?? '');
+    return label !== null && label === derivedLabel ? ['label'] : [];
+};
+const optionsAreDerivedDefaults = (optionsText, schemaOptions) => {
+    const entries = parseArrayEntries(optionsText, 0, optionsText);
+    if (entries.length !== schemaOptions.length) {
+        return false;
+    }
+    return entries.every((entry, index) => {
+        if (!entry.text.startsWith('{')) {
+            return false;
+        }
+        const properties = parseObjectProperties(entry.text, 0, entry.text);
+        if (properties.size !== 1) {
+            return false;
+        }
+        const value = parseStringLiteral(properties.get('value')?.value ?? '');
+        return value !== null && value === schemaOptions[index];
+    });
+};
+const redundantOptionsPart = (options, schemaOptions) => options !== undefined &&
+    schemaOptions !== undefined &&
+    optionsAreDerivedDefaults(options.value, schemaOptions)
+    ? ['options']
+    : [];
+const findRedundantParts = (fieldKey, fieldOverride, schemaText) => {
+    const fieldInfo = parseZodObjectShape(schemaText).get(fieldKey);
+    if (!fieldInfo) {
+        return [];
+    }
+    const properties = parseObjectProperties(fieldOverride, 0, fieldOverride);
+    if (properties.size === 0) {
+        return ['field metadata'];
+    }
+    if (!hasOnlyRedundantKeys(properties)) {
+        return [];
+    }
+    const redundant = [
+        ...redundantLabelPart(fieldInfo.derivedLabel, properties),
+        ...redundantOptionsPart(properties.get('options'), fieldInfo.options),
+    ];
+    return redundant.length === properties.size ? redundant : [];
+};
+const diagnosticsForSpec = (sourceCode, filePath, spec) => {
+    const input = spec.properties.get('input');
+    const fields = spec.properties.get('fields');
+    if (!input || !fields) {
+        return [];
+    }
+    const fieldEntries = parseObjectProperties(fields.value, fields.start, sourceCode);
+    return [...fieldEntries.entries()]
+        .map(([fieldKey, fieldEntry]) => ({
+        fieldEntry,
+        fieldKey,
+        redundantParts: findRedundantParts(fieldKey, fieldEntry.value, input.value),
+    }))
+        .filter(({ redundantParts }) => redundantParts.length > 0)
+        .map(({ fieldEntry, fieldKey, redundantParts }) => ({
+        filePath,
+        line: fieldEntry.line,
+        message: `Trail "${spec.id}" field "${fieldKey}" only repeats schema-derived ${redundantParts.join(' and ')}. Remove the override and let deriveFields() infer it.`,
+        rule: 'prefer-schema-inference',
+        severity: 'warn',
+    }));
+};
+/**
+ * Warns when a fields override only repeats metadata deriveFields() already gets from
+ * the schema.
+ */
+export const preferSchemaInference = {
+    check(sourceCode, filePath) {
+        if (isTestFile(filePath)) {
+            return [];
+        }
+        return findTrailLikeSpecs(sourceCode).flatMap((spec) => diagnosticsForSpec(sourceCode, filePath, spec));
+    },
+    description: 'Warn when fields overrides only restate labels or enum options deriveFields() already infers from the Zod schema.',
+    name: 'prefer-schema-inference',
+    severity: 'warn',
+};
+//# sourceMappingURL=prefer-schema-inference.js.map

package/dist/rules/prefer-schema-inference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-schema-inference.js","sourceRoot":"","sources":["../../src/rules/prefer-schema-inference.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,YAAY,CAAC;AAEpB,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AAE9D,MAAM,oBAAoB,GAAG,CAC3B,UAAkD,EACzC,EAAE,CACX,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAE1E,MAAM,kBAAkB,GAAG,CACzB,YAAoB,EACpB,UAAkD,EACxC,EAAE;IACZ,MAAM,KAAK,GAAG,kBAAkB,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;IACvE,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACnE,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,WAAmB,EACnB,aAAgC,EACvB,EAAE;IACX,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;IAC/D,IAAI,OAAO,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM,EAAE,CAAC;QAC5C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACpC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,UAAU,GAAG,qBAAqB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,KAAK,GAAG,kBAAkB,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;QACvE,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,OAAsC,EACtC,aAA4C,EAClC,EAAE,CACZ,OAAO,KAAK,SAAS;IACrB,aAAa,KAAK,SAAS;IAC3B,yBAAyB,CAAC,OAAO,CAAC,KAAK,EAAE,aAAa,CAAC;IACrD,CAAC,CAAC,CAAC,SAAS,CAAC;IACb,CAAC,CAAC,EAAE,CAAC;AAET,MAAM,kBAAkB,GAAG,CACzB,QAAgB,EAChB,aAAqB,EACrB,UAAkB,EACR,EAAE;IACZ,MAAM,SAAS,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAChE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,UAAU,GAAG,qBAAqB,CAAC,aAAa,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC;IAC1E,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC5B,CAAC;IAED,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;QACtC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,SAAS,GAAG;QAChB,GAAG,kBAAkB,CAAC,SAAS,CAAC,YAAY,EAAE,UAAU,CAAC;QACzD,GAAG,oBAAoB,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,OAAO,CAAC;KACtE,CAAC;IAEF,OAAO,SAAS,CAAC,MAAM,KAAK,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/D,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,UAAkB,EAClB,QAAgB,EAChB,IAAmD,EACtB,EAAE;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QACtB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,YAAY,GAAG,qBAAqB,CACxC,MAAM,CAAC,KAAK,EACZ,MAAM,CAAC,KAAK,EACZ,UAAU,CACX,CAAC;IACF,OAAO,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC;SAC/B,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;QAChC,UAAU;QACV,QAAQ;QACR,cAAc,EAAE,kBAAkB,CAChC,QAAQ,EACR,UAAU,CAAC,KAAK,EAChB,KAAK,CAAC,KAAK,CACZ;KACF,CAAC,CAAC;SACF,MAAM,CAAC,CAAC,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC;SACzD,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC;QAClD,QAAQ;QACR,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,OAAO,EAAE,UAAU,IAAI,CAAC,EAAE,YAAY,QAAQ,iCAAiC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,wDAAwD;QACnK,IAAI,EAAE,yBAAyB;QAC/B,QAAQ,EAAE,MAAe;KAC1B,CAAC,CAAC,CAAC;AACR,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAe;IAC/C,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,kBAAkB,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CACrD,kBAAkB,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,CAC/C,CAAC;IACJ,CAAC;IACD,WAAW,EACT,mHAAmH;IACrH,IAAI,EAAE,yBAAyB;IAC/B,QAAQ,EAAE,MAAM;CACjB,CAAC"}

package/dist/rules/scan.d.ts

@@ -0,0 +1,8 @@
+export declare const isTestFile: (filePath: string) => boolean;
+export declare const isFrameworkInternalFile: (filePath: string) => boolean;
+/**
+ * Replace quoted content and comments with whitespace while preserving line
+ * breaks so simple line-based scanners do not match examples or messages.
+ */
+export declare const stripQuotedContent: (sourceCode: string) => string;
+//# sourceMappingURL=scan.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scan.d.ts","sourceRoot":"","sources":["../../src/rules/scan.ts"],"names":[],"mappings":"AAgBA,eAAO,MAAM,UAAU,GAAI,UAAU,MAAM,KAAG,OACO,CAAC;AAEtD,eAAO,MAAM,uBAAuB,GAAI,UAAU,MAAM,KAAG,OAK1D,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAAI,YAAY,MAAM,KAAG,MAevD,CAAC"}

package/dist/rules/scan.js

@@ -0,0 +1,32 @@
+const TEST_FILE_PATTERN = /(?:^|\/)__tests__(?:\/|$)|(?:\.test|\.spec)\.[cm]?[jt]sx?$/;
+const FRAMEWORK_INTERNAL_SEGMENTS = [
+    '/packages/testing/',
+    '/packages/warden/',
+];
+const normalizeFilePath = (filePath) => filePath.replaceAll('\\', '/');
+const maskText = (text) => text.replaceAll(/[^\n]/g, ' ');
+const stripPattern = (sourceCode, pattern) => sourceCode.replaceAll(pattern, (match) => maskText(match));
+export const isTestFile = (filePath) => TEST_FILE_PATTERN.test(normalizeFilePath(filePath));
+export const isFrameworkInternalFile = (filePath) => {
+    const normalized = normalizeFilePath(filePath);
+    return FRAMEWORK_INTERNAL_SEGMENTS.some((segment) => normalized.includes(segment));
+};
+/**
+ * Replace quoted content and comments with whitespace while preserving line
+ * breaks so simple line-based scanners do not match examples or messages.
+ */
+export const stripQuotedContent = (sourceCode) => {
+    let sanitized = sourceCode;
+    const patterns = [
+        /\/\/[^\n]*/g,
+        /\/\*[\s\S]*?\*\//g,
+        /'[^'\\\n]*(?:\\.[^'\\\n]*)*'/g,
+        /"[^"\\\n]*(?:\\.[^"\\\n]*)*"/g,
+        /`[\s\S]*?`/g,
+    ];
+    for (const pattern of patterns) {
+        sanitized = stripPattern(sanitized, pattern);
+    }
+    return sanitized;
+};
+//# sourceMappingURL=scan.js.map

package/dist/rules/scan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scan.js","sourceRoot":"","sources":["../../src/rules/scan.ts"],"names":[],"mappings":"AAAA,MAAM,iBAAiB,GACrB,4DAA4D,CAAC;AAE/D,MAAM,2BAA2B,GAAG;IAClC,oBAAoB;IACpB,mBAAmB;CACX,CAAC;AAEX,MAAM,iBAAiB,GAAG,CAAC,QAAgB,EAAU,EAAE,CACrD,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAEjC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;AAE1E,MAAM,YAAY,GAAG,CAAC,UAAkB,EAAE,OAAe,EAAU,EAAE,CACnE,UAAU,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;AAE7D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,QAAgB,EAAW,EAAE,CACtD,iBAAiB,CAAC,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEtD,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,QAAgB,EAAW,EAAE;IACnE,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAC/C,OAAO,2BAA2B,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAClD,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAC7B,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,UAAkB,EAAU,EAAE;IAC/D,IAAI,SAAS,GAAG,UAAU,CAAC;IAC3B,MAAM,QAAQ,GAAG;QACf,aAAa;QACb,mBAAmB;QACnB,+BAA+B;QAC/B,+BAA+B;QAC/B,aAAa;KACd,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,SAAS,GAAG,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}