@ontrails/warden 1.0.0-beta.0

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,YAAY,EACV,sBAAsB,EACtB,cAAc,EACd,gBAAgB,EAChB,UAAU,EACV,cAAc,GACf,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,2BAA2B,EAAE,MAAM,0CAA0C,CAAC;AACvF,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAGnE,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAG/C,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAGzD,OAAO,EACL,uBAAuB,EACvB,UAAU,EACV,aAAa,GACd,MAAM,iBAAiB,CAAC;AAGzB,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC"}

package/dist/index.js

@@ -0,0 +1,26 @@
+/**
+ * Warden - Governance package for Trails.
+ *
+ * Provides lint rules, drift detection, and a CLI runner to enforce
+ * contract-first discipline at development time.
+ *
+ * Package: `@ontrails/warden`
+ */
+// Individual rules
+export { noThrowInImplementation } from './rules/no-throw-in-implementation.js';
+export { contextNoSurfaceTypes } from './rules/context-no-surface-types.js';
+export { validDetourRefs } from './rules/valid-detour-refs.js';
+export { noDirectImplInRoute } from './rules/no-direct-impl-in-route.js';
+export { noDirectImplementationCall } from './rules/no-direct-implementation-call.js';
+export { noSyncResultAssumption } from './rules/no-sync-result-assumption.js';
+export { implementationReturnsResult } from './rules/implementation-returns-result.js';
+export { noThrowInDetourTarget } from './rules/no-throw-in-detour-target.js';
+export { preferSchemaInference } from './rules/prefer-schema-inference.js';
+export { validDescribeRefs } from './rules/valid-describe-refs.js';
+// Rule registry
+export { wardenRules } from './rules/index.js';
+export { formatWardenReport, runWarden } from './cli.js';
+// CI formatters
+export { formatGitHubAnnotations, formatJson, formatSummary, } from './formatters.js';
+export { checkDrift } from './drift.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAWH,mBAAmB;AACnB,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,2BAA2B,EAAE,MAAM,0CAA0C,CAAC;AACvF,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAEnE,gBAAgB;AAChB,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAI/C,OAAO,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAEzD,gBAAgB;AAChB,OAAO,EACL,uBAAuB,EACvB,UAAU,EACV,aAAa,GACd,MAAM,iBAAiB,CAAC;AAIzB,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC"}

package/dist/rules/ast.d.ts

@@ -0,0 +1,41 @@
+/**
+ * Shared AST utilities for warden rules.
+ *
+ * Uses oxc-parser for native-speed TypeScript parsing. Provides a lightweight
+ * walker and helpers for finding trail implementation bodies.
+ */
+export interface AstNode {
+    readonly type: string;
+    readonly start: number;
+    readonly end: number;
+    readonly key?: {
+        readonly name?: string;
+    };
+    readonly value?: AstNode;
+    readonly body?: AstNode | readonly AstNode[];
+    readonly [key: string]: unknown;
+}
+/** Parse TypeScript source into an AST. Returns null on parse failure. */
+export declare const parse: (filePath: string, sourceCode: string) => AstNode | null;
+/** Walk an AST node tree, calling `visit` on every node. */
+export declare const walk: (node: unknown, visit: (node: AstNode) => void) => void;
+/** Find the byte offset's line number (1-based) in source code. */
+export declare const offsetToLine: (sourceCode: string, offset: number) => number;
+/** Find all `implementation:` property values in an AST. */
+export declare const findImplementationBodies: (ast: AstNode) => AstNode[];
+export interface TrailDefinition {
+    /** Trail ID string, e.g. "entity.show" */
+    readonly id: string;
+    /** "trail" or "hike" */
+    readonly kind: string;
+    /** The config object argument (second arg to trail/hike call) */
+    readonly config: AstNode;
+    /** Start offset of the call expression */
+    readonly start: number;
+}
+/** Check if a node is a call to `.implementation()` on some object. */
+export declare const isImplementationCall: (node: AstNode) => boolean;
+export declare const findTrailDefinitions: (ast: AstNode) => TrailDefinition[];
+/** Find a Property node by key name inside an ObjectExpression config. */
+export declare const findConfigProperty: (config: AstNode, propertyName: string) => AstNode | null;
+//# sourceMappingURL=ast.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/rules/ast.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAQH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,GAAG,SAAS,OAAO,EAAE,CAAC;IAC7C,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACjC;AAMD,0EAA0E;AAC1E,eAAO,MAAM,KAAK,GAAI,UAAU,MAAM,EAAE,YAAY,MAAM,KAAG,OAAO,GAAG,IAOtE,CAAC;AAMF,4DAA4D;AAC5D,eAAO,MAAM,IAAI,GAAI,MAAM,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,KAAG,IAiBpE,CAAC;AAMF,mEAAmE;AACnE,eAAO,MAAM,YAAY,GAAI,YAAY,MAAM,EAAE,QAAQ,MAAM,KAAG,MAQjE,CAAC;AAEF,4DAA4D;AAC5D,eAAO,MAAM,wBAAwB,GAAI,KAAK,OAAO,KAAG,OAAO,EAY9D,CAAC;AAEF,MAAM,WAAW,eAAe;IAC9B,0CAA0C;IAC1C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,wBAAwB;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,iEAAiE;IACjE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,0CAA0C;IAC1C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AA2DD,uEAAuE;AACvE,eAAO,MAAM,oBAAoB,GAAI,MAAM,OAAO,KAAG,OAmBpD,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAAI,KAAK,OAAO,KAAG,eAAe,EAWlE,CAAC;AAMF,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,GAC7B,QAAQ,OAAO,EACf,cAAc,MAAM,KACnB,OAAO,GAAG,IAcZ,CAAC"}

package/dist/rules/ast.js

@@ -0,0 +1,163 @@
+/**
+ * Shared AST utilities for warden rules.
+ *
+ * Uses oxc-parser for native-speed TypeScript parsing. Provides a lightweight
+ * walker and helpers for finding trail implementation bodies.
+ */
+import { parseSync } from 'oxc-parser';
+// ---------------------------------------------------------------------------
+// Parser
+// ---------------------------------------------------------------------------
+/** Parse TypeScript source into an AST. Returns null on parse failure. */
+export const parse = (filePath, sourceCode) => {
+    try {
+        const result = parseSync(filePath, sourceCode, { sourceType: 'module' });
+        return result.program;
+    }
+    catch {
+        return null;
+    }
+};
+// ---------------------------------------------------------------------------
+// Walker
+// ---------------------------------------------------------------------------
+/** Walk an AST node tree, calling `visit` on every node. */
+export const walk = (node, visit) => {
+    if (!node || typeof node !== 'object') {
+        return;
+    }
+    const n = node;
+    if (n.type) {
+        visit(n);
+    }
+    for (const val of Object.values(n)) {
+        if (Array.isArray(val)) {
+            for (const item of val) {
+                walk(item, visit);
+            }
+        }
+        else if (val && typeof val === 'object' && val.type) {
+            walk(val, visit);
+        }
+    }
+};
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+/** Find the byte offset's line number (1-based) in source code. */
+export const offsetToLine = (sourceCode, offset) => {
+    let line = 1;
+    for (let i = 0; i < offset && i < sourceCode.length; i += 1) {
+        if (sourceCode[i] === '\n') {
+            line += 1;
+        }
+    }
+    return line;
+};
+/** Find all `implementation:` property values in an AST. */
+export const findImplementationBodies = (ast) => {
+    const bodies = [];
+    walk(ast, (node) => {
+        if (node.type === 'Property' &&
+            node.key?.name === 'implementation' &&
+            node.value) {
+            bodies.push(node.value);
+        }
+    });
+    return bodies;
+};
+/**
+ * Find all `trail("id", { ... })` and `hike("id", { ... })` call sites.
+ *
+ * Returns the trail ID, kind, and config object node for each definition.
+ */
+const TRAIL_CALLEE_NAMES = new Set(['trail', 'hike']);
+const getTrailCalleeName = (node) => {
+    if (node.type !== 'CallExpression') {
+        return null;
+    }
+    const callee = node['callee'];
+    if (!callee || callee.type !== 'Identifier') {
+        return null;
+    }
+    const { name } = callee;
+    return name && TRAIL_CALLEE_NAMES.has(name) ? name : null;
+};
+const extractTrailArgs = (node) => {
+    const args = node['arguments'];
+    if (!args || args.length < 2) {
+        return null;
+    }
+    const [idArg, configArg] = args;
+    if (!idArg || !configArg) {
+        return null;
+    }
+    return { configArg, idArg };
+};
+const extractTrailDefinition = (node) => {
+    const calleeName = getTrailCalleeName(node);
+    if (!calleeName) {
+        return null;
+    }
+    const trailArgs = extractTrailArgs(node);
+    if (!trailArgs) {
+        return null;
+    }
+    const trailId = trailArgs.idArg.value;
+    if (!trailId) {
+        return null;
+    }
+    return {
+        config: trailArgs.configArg,
+        id: trailId,
+        kind: calleeName,
+        start: node.start,
+    };
+};
+/** Check if a node is a call to `.implementation()` on some object. */
+export const isImplementationCall = (node) => {
+    if (node.type !== 'CallExpression') {
+        return false;
+    }
+    const callee = node['callee'];
+    if (!callee) {
+        return false;
+    }
+    if (callee.type !== 'StaticMemberExpression' &&
+        callee.type !== 'MemberExpression') {
+        return false;
+    }
+    const prop = callee.property;
+    return (prop?.type === 'Identifier' &&
+        prop.name === 'implementation');
+};
+export const findTrailDefinitions = (ast) => {
+    const definitions = [];
+    walk(ast, (node) => {
+        const def = extractTrailDefinition(node);
+        if (def) {
+            definitions.push(def);
+        }
+    });
+    return definitions;
+};
+// ---------------------------------------------------------------------------
+// Config property extraction helpers
+// ---------------------------------------------------------------------------
+/** Find a Property node by key name inside an ObjectExpression config. */
+export const findConfigProperty = (config, propertyName) => {
+    if (config.type !== 'ObjectExpression') {
+        return null;
+    }
+    const properties = config['properties'];
+    if (!properties) {
+        return null;
+    }
+    for (const prop of properties) {
+        if (prop.type === 'Property' && prop.key?.name === propertyName) {
+            return prop;
+        }
+    }
+    return null;
+};
+//# sourceMappingURL=ast.js.map

package/dist/rules/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/rules/ast.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAgBvC,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,0EAA0E;AAC1E,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,QAAgB,EAAE,UAAkB,EAAkB,EAAE;IAC5E,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzE,OAAO,MAAM,CAAC,OAA6B,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC,CAAC;AAEF,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,4DAA4D;AAC5D,MAAM,CAAC,MAAM,IAAI,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,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;gBACvB,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;aAAM,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAK,GAAe,CAAC,IAAI,EAAE,CAAC;YACnE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,mEAAmE;AACnE,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,UAAkB,EAAE,MAAc,EAAU,EAAE;IACzE,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5D,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC3B,IAAI,IAAI,CAAC,CAAC;QACZ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,GAAY,EAAa,EAAE;IAClE,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;QACjB,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,IAAI,CAAC,GAAG,EAAE,IAAI,KAAK,gBAAgB;YACnC,IAAI,CAAC,KAAK,EACV,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAaF;;;;GAIG;AACH,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AAEtD,MAAM,kBAAkB,GAAG,CAAC,IAAa,EAAiB,EAAE;IAC1D,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,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,MAAsC,CAAC;IACxD,OAAO,IAAI,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAAa,EACkC,EAAE;IACjD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAmC,CAAC;IACjE,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,IAAI,CAAC;IAChC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,IAAa,EAA0B,EAAE;IACvE,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,OAAO,GAAI,SAAS,CAAC,KAAuC,CAAC,KAAK,CAAC;IACzE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,MAAM,EAAE,SAAS,CAAC,SAAS;QAC3B,EAAE,EAAE,OAAO;QACX,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK;KAClB,CAAC;AACJ,CAAC,CAAC;AAEF,uEAAuE;AACvE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAa,EAAW,EAAE;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAwB,CAAC;IACrD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,MAAM,CAAC,IAAI,KAAK,wBAAwB;QACxC,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAClC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAI,MAA4C,CAAC,QAAQ,CAAC;IACpE,OAAO,CACL,IAAI,EAAE,IAAI,KAAK,YAAY;QAC1B,IAAoC,CAAC,IAAI,KAAK,gBAAgB,CAChE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,GAAY,EAAqB,EAAE;IACtE,MAAM,WAAW,GAAsB,EAAE,CAAC;IAE1C,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;QACjB,MAAM,GAAG,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,GAAG,EAAE,CAAC;YACR,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,qCAAqC;AACrC,8EAA8E;AAE9E,0EAA0E;AAC1E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,MAAe,EACf,YAAoB,EACJ,EAAE;IAClB,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,CAAmC,CAAC;IAC1E,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;YAChE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/rules/context-no-surface-types.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Detects imports of surface-specific modules and types in trail files.
+ *
+ * Uses AST parsing for accurate detection — no false positives from
+ * imports in comments or strings.
+ */
+import type { WardenRule } from './types.js';
+/**
+ * Detects imports of surface-specific types in trail implementation files.
+ */
+export declare const contextNoSurfaceTypes: WardenRule;
+//# sourceMappingURL=context-no-surface-types.d.ts.map

package/dist/rules/context-no-surface-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-no-surface-types.d.ts","sourceRoot":"","sources":["../../src/rules/context-no-surface-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAoB,UAAU,EAAE,MAAM,YAAY,CAAC;AAgH/D;;GAEG;AACH,eAAO,MAAM,qBAAqB,EAAE,UA0BnC,CAAC"}

package/dist/rules/context-no-surface-types.js

@@ -0,0 +1,96 @@
+/**
+ * Detects imports of surface-specific modules and types in trail files.
+ *
+ * Uses AST parsing for accurate detection — no false positives from
+ * imports in comments or strings.
+ */
+import { offsetToLine, parse, walk } from './ast.js';
+const SURFACE_MODULES = new Set([
+    'express',
+    'hono',
+    'fastify',
+    '@modelcontextprotocol/sdk',
+    'node:http',
+    'node:https',
+    '@hono/node-server',
+    'koa',
+]);
+const SURFACE_TYPE_NAMES = new Set([
+    'Request',
+    'Response',
+    'NextFunction',
+    'McpSession',
+    'McpCallToolRequest',
+    'IncomingMessage',
+    'ServerResponse',
+]);
+const makeDiag = (filePath, sourceCode, node, message) => ({
+    filePath,
+    line: offsetToLine(sourceCode, node.start),
+    message,
+    rule: 'context-no-surface-types',
+    severity: 'error',
+});
+const findSurfaceTypeName = (specifiers) => {
+    for (const spec of specifiers) {
+        const name = spec.imported?.name ?? spec.local?.name;
+        if (name && SURFACE_TYPE_NAMES.has(name)) {
+            return name;
+        }
+    }
+    return undefined;
+};
+const getImportModuleName = (node) => {
+    if (node.type !== 'ImportDeclaration') {
+        return null;
+    }
+    const source = node['source'];
+    return source?.value ?? null;
+};
+const checkSpecifiersForSurfaceTypes = (node, filePath, sourceCode) => {
+    const specifiers = node['specifiers'];
+    if (!specifiers) {
+        return undefined;
+    }
+    const typeName = findSurfaceTypeName(specifiers);
+    if (!typeName) {
+        return undefined;
+    }
+    return makeDiag(filePath, sourceCode, node, `Do not import surface type "${typeName}" in trail implementation files.`);
+};
+const classifyImport = (node, filePath, sourceCode) => {
+    const moduleName = getImportModuleName(node);
+    if (!moduleName) {
+        return undefined;
+    }
+    if (SURFACE_MODULES.has(moduleName)) {
+        return makeDiag(filePath, sourceCode, node, `Do not import from surface module "${moduleName}" in trail implementation files.`);
+    }
+    return checkSpecifiersForSurfaceTypes(node, filePath, sourceCode);
+};
+/**
+ * Detects imports of surface-specific types in trail implementation files.
+ */
+export const contextNoSurfaceTypes = {
+    check(sourceCode, filePath) {
+        if (!/\b(?:trail|hike)\s*\(/.test(sourceCode)) {
+            return [];
+        }
+        const ast = parse(filePath, sourceCode);
+        if (!ast) {
+            return [];
+        }
+        const diagnostics = [];
+        walk(ast, (node) => {
+            const diag = classifyImport(node, filePath, sourceCode);
+            if (diag) {
+                diagnostics.push(diag);
+            }
+        });
+        return diagnostics;
+    },
+    description: 'Disallow surface-specific type imports (Request, Response, McpSession, etc.) in trail implementation files.',
+    name: 'context-no-surface-types',
+    severity: 'error',
+};
+//# sourceMappingURL=context-no-surface-types.js.map

package/dist/rules/context-no-surface-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-no-surface-types.js","sourceRoot":"","sources":["../../src/rules/context-no-surface-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAGrD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;IAC9B,SAAS;IACT,MAAM;IACN,SAAS;IACT,2BAA2B;IAC3B,WAAW;IACX,YAAY;IACZ,mBAAmB;IACnB,KAAK;CACN,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,SAAS;IACT,UAAU;IACV,cAAc;IACd,YAAY;IACZ,oBAAoB;IACpB,iBAAiB;IACjB,gBAAgB;CACjB,CAAC,CAAC;AAaH,MAAM,QAAQ,GAAG,CACf,QAAgB,EAChB,UAAkB,EAClB,IAAa,EACb,OAAe,EACG,EAAE,CAAC,CAAC;IACtB,QAAQ;IACR,IAAI,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC;IAC1C,OAAO;IACP,IAAI,EAAE,0BAA0B;IAChC,QAAQ,EAAE,OAAO;CAClB,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,CAC1B,UAAsC,EAClB,EAAE;IACtB,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;QACrD,IAAI,IAAI,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,IAAa,EAAiB,EAAE;IAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAA4C,CAAC;IACzE,OAAO,MAAM,EAAE,KAAK,IAAI,IAAI,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,IAAa,EACb,QAAgB,EAChB,UAAkB,EACY,EAAE;IAChC,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAEvB,CAAC;IACd,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACjD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,QAAQ,CACb,QAAQ,EACR,UAAU,EACV,IAAI,EACJ,+BAA+B,QAAQ,kCAAkC,CAC1E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAAa,EACb,QAAgB,EAChB,UAAkB,EACY,EAAE;IAChC,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,OAAO,QAAQ,CACb,QAAQ,EACR,UAAU,EACV,IAAI,EACJ,sCAAsC,UAAU,kCAAkC,CACnF,CAAC;IACJ,CAAC;IAED,OAAO,8BAA8B,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAe;IAC/C,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9C,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,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;YACjB,MAAM,IAAI,GAAG,cAAc,CAAC,IAAe,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;YACnE,IAAI,IAAI,EAAE,CAAC;gBACT,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,WAAW,EACT,6GAA6G;IAC/G,IAAI,EAAE,0BAA0B;IAEhC,QAAQ,EAAE,OAAO;CAClB,CAAC"}

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

@@ -0,0 +1,13 @@
+/**
+ * Finds implementations that return raw values instead of `Result`.
+ *
+ * Uses AST parsing to find `implementation:` bodies and check that
+ * every return statement returns Result.ok(), Result.err(), ctx.follow(),
+ * or a tracked Result-typed variable.
+ */
+import type { WardenRule } from './types.js';
+/**
+ * Finds implementations that return raw values instead of `Result`.
+ */
+export declare const implementationReturnsResult: WardenRule;
+//# sourceMappingURL=implementation-returns-result.d.ts.map

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

@@ -0,0 +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;AAkT/D;;GAEG;AACH,eAAO,MAAM,2BAA2B,EAAE,UAiBzC,CAAC"}

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

@@ -0,0 +1,231 @@
+/**
+ * Finds implementations that return raw values instead of `Result`.
+ *
+ * Uses AST parsing to find `implementation:` bodies and check that
+ * every return statement returns Result.ok(), Result.err(), ctx.follow(),
+ * or a tracked Result-typed variable.
+ */
+import { findImplementationBodies, 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 === 'implementation';
+};
+// ---------------------------------------------------------------------------
+// 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);
+        }
+    }
+};
+// ---------------------------------------------------------------------------
+// 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();
+    walk(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: def.kind === 'hike' ? 'Hike' : 'Trail' };
+        for (const implValue of findImplementationBodies(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

@@ -0,0 +1 @@
+{"version":3,"file":"implementation-returns-result.js","sourceRoot":"","sources":["../../src/rules/implementation-returns-result.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;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,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,gBAAgB,CAAC;AACvC,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,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,IAAI,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,EAAE;QACvB,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,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC3E,KAAK,MAAM,SAAS,IAAI,wBAAwB,CAAC,GAAG,CAAC,MAAiB,CAAC,EAAE,CAAC;YACxE,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

@@ -0,0 +1,22 @@
+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.
+ *
+ * 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 declare const wardenRules: ReadonlyMap<string, WardenRule>;
+//# sourceMappingURL=index.d.ts.map