@ontrails/warden 1.0.0-beta.1 → 1.0.0-beta.10

package/dist/trails/no-throw-in-detour-target.trail.js

@@ -0,0 +1,20 @@
+import { noThrowInDetourTarget } from '../rules/no-throw-in-detour-target.js';
+import { wrapRule } from './wrap-rule.js';
+export const noThrowInDetourTargetTrail = wrapRule({
+    examples: [
+        {
+            expected: { diagnostics: [] },
+            input: {
+                filePath: 'clean.ts',
+                sourceCode: `trail("entity.fallback", {
+  run: async (input, ctx) => {
+    return Result.ok({ recovered: true });
+  }
+})`,
+            },
+            name: 'Detour target without throw',
+        },
+    ],
+    rule: noThrowInDetourTarget,
+});
+//# sourceMappingURL=no-throw-in-detour-target.trail.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"no-throw-in-detour-target.trail.js","sourceRoot":"","sources":["../../src/trails/no-throw-in-detour-target.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,CAAC,MAAM,0BAA0B,GAAG,QAAQ,CAAC;IACjD,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,QAAQ,EAAE,UAAU;gBACpB,UAAU,EAAE;;;;GAIjB;aACI;YACD,IAAI,EAAE,6BAA6B;SACpC;KACF;IACD,IAAI,EAAE,qBAAqB;CAC5B,CAAC,CAAC"}

package/dist/trails/no-throw-in-implementation.trail.d.ts

@@ -0,0 +1,13 @@
+export declare const noThrowInImplementationTrail: import("@ontrails/core").Trail<{
+    filePath: string;
+    sourceCode: string;
+}, {
+    diagnostics: {
+        filePath: string;
+        line: number;
+        message: string;
+        rule: string;
+        severity: "error" | "warn";
+    }[];
+}>;
+//# sourceMappingURL=no-throw-in-implementation.trail.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"no-throw-in-implementation.trail.d.ts","sourceRoot":"","sources":["../../src/trails/no-throw-in-implementation.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,4BAA4B;;;;;;;;;;;EAgBvC,CAAC"}

package/dist/trails/no-throw-in-implementation.trail.js

@@ -0,0 +1,20 @@
+import { noThrowInImplementation } from '../rules/no-throw-in-implementation.js';
+import { wrapRule } from './wrap-rule.js';
+export const noThrowInImplementationTrail = wrapRule({
+    examples: [
+        {
+            expected: { diagnostics: [] },
+            input: {
+                filePath: 'clean.ts',
+                sourceCode: `trail("entity.show", {
+  run: async (input, ctx) => {
+    return Result.ok({ name: "test" });
+  }
+})`,
+            },
+            name: 'Clean implementation without throw',
+        },
+    ],
+    rule: noThrowInImplementation,
+});
+//# sourceMappingURL=no-throw-in-implementation.trail.js.map

package/dist/trails/no-throw-in-implementation.trail.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-throw-in-implementation.trail.js","sourceRoot":"","sources":["../../src/trails/no-throw-in-implementation.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,CAAC,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IACnD,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,QAAQ,EAAE,UAAU;gBACpB,UAAU,EAAE;;;;GAIjB;aACI;YACD,IAAI,EAAE,oCAAoC;SAC3C;KACF;IACD,IAAI,EAAE,uBAAuB;CAC9B,CAAC,CAAC"}

package/dist/trails/prefer-schema-inference.trail.d.ts

@@ -0,0 +1,13 @@
+export declare const preferSchemaInferenceTrail: import("@ontrails/core").Trail<{
+    filePath: string;
+    sourceCode: string;
+}, {
+    diagnostics: {
+        filePath: string;
+        line: number;
+        message: string;
+        rule: string;
+        severity: "error" | "warn";
+    }[];
+}>;
+//# sourceMappingURL=prefer-schema-inference.trail.d.ts.map

package/dist/trails/prefer-schema-inference.trail.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-schema-inference.trail.d.ts","sourceRoot":"","sources":["../../src/trails/prefer-schema-inference.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,0BAA0B;;;;;;;;;;;EAiBrC,CAAC"}

package/dist/trails/prefer-schema-inference.trail.js

@@ -0,0 +1,21 @@
+import { preferSchemaInference } from '../rules/prefer-schema-inference.js';
+import { wrapRule } from './wrap-rule.js';
+export const preferSchemaInferenceTrail = wrapRule({
+    examples: [
+        {
+            expected: { diagnostics: [] },
+            input: {
+                filePath: 'clean.ts',
+                sourceCode: `trail("entity.show", {
+  input: z.object({ name: z.string() }),
+  run: async (input, ctx) => {
+    return Result.ok({ name: input.name });
+  }
+})`,
+            },
+            name: 'Trail without redundant field overrides',
+        },
+    ],
+    rule: preferSchemaInference,
+});
+//# sourceMappingURL=prefer-schema-inference.trail.js.map

package/dist/trails/prefer-schema-inference.trail.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-schema-inference.trail.js","sourceRoot":"","sources":["../../src/trails/prefer-schema-inference.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,CAAC,MAAM,0BAA0B,GAAG,QAAQ,CAAC;IACjD,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,QAAQ,EAAE,UAAU;gBACpB,UAAU,EAAE;;;;;GAKjB;aACI;YACD,IAAI,EAAE,yCAAyC;SAChD;KACF;IACD,IAAI,EAAE,qBAAqB;CAC5B,CAAC,CAAC"}

package/dist/trails/run.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Run all warden rule trails against a single source file.
+ *
+ * Returns a flat array of diagnostics from every rule.
+ */
+import type { WardenDiagnostic } from '../rules/types.js';
+/**
+ * Dispatch all warden rule trails for a given file and collect diagnostics.
+ *
+ * Each rule trail runs independently. Errors from individual trails are
+ * silently skipped so that one broken rule does not block the rest.
+ */
+export declare const runWardenTrails: (filePath: string, sourceCode: string, options?: {
+    readonly knownTrailIds?: readonly string[];
+}) => Promise<readonly WardenDiagnostic[]>;
+//# sourceMappingURL=run.d.ts.map

package/dist/trails/run.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/trails/run.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAI1D;;;;;GAKG;AACH,eAAO,MAAM,eAAe,GAC1B,UAAU,MAAM,EAChB,YAAY,MAAM,EAClB,UAAU;IAAE,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,KACvD,OAAO,CAAC,SAAS,gBAAgB,EAAE,CAiBrC,CAAC"}

package/dist/trails/run.js

@@ -0,0 +1,30 @@
+/**
+ * Run all warden rule trails against a single source file.
+ *
+ * Returns a flat array of diagnostics from every rule.
+ */
+import { dispatch } from '@ontrails/core';
+import { wardenTopo } from './topo.js';
+/**
+ * Dispatch all warden rule trails for a given file and collect diagnostics.
+ *
+ * Each rule trail runs independently. Errors from individual trails are
+ * silently skipped so that one broken rule does not block the rest.
+ */
+export const runWardenTrails = async (filePath, sourceCode, options) => {
+    const allDiagnostics = [];
+    for (const id of wardenTopo.ids()) {
+        const input = options?.knownTrailIds
+            ? { filePath, knownTrailIds: options.knownTrailIds, sourceCode }
+            : { filePath, sourceCode };
+        const result = await dispatch(wardenTopo, id, input);
+        if (result.isOk()) {
+            const { diagnostics } = result.value;
+            for (const d of diagnostics) {
+                allDiagnostics.push(d);
+            }
+        }
+    }
+    return allDiagnostics;
+};
+//# sourceMappingURL=run.js.map

package/dist/trails/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/trails/run.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAI1C,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAEvC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,KAAK,EAClC,QAAgB,EAChB,UAAkB,EAClB,OAAwD,EAClB,EAAE;IACxC,MAAM,cAAc,GAAuB,EAAE,CAAC;IAE9C,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,OAAO,EAAE,aAAa;YAClC,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,UAAU,EAAE;YAChE,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,UAAU,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;QACrD,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YAClB,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,KAAmB,CAAC;YACnD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC5B,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,cAAc,CAAC;AACxB,CAAC,CAAC"}

package/dist/trails/schema.d.ts

@@ -0,0 +1,52 @@
+/**
+ * Shared Zod schemas for warden rule trails.
+ *
+ * Every rule trail shares the same input (source file) and output
+ * (array of diagnostics) shape.
+ */
+import { z } from 'zod';
+/** A single diagnostic emitted by a warden rule trail. */
+export declare const diagnosticSchema: z.ZodObject<{
+    filePath: z.ZodString;
+    line: z.ZodNumber;
+    message: z.ZodString;
+    rule: z.ZodString;
+    severity: z.ZodEnum<{
+        error: "error";
+        warn: "warn";
+    }>;
+}, z.core.$strip>;
+/** Input accepted by every warden rule trail. */
+export declare const ruleInput: z.ZodObject<{
+    filePath: z.ZodString;
+    sourceCode: z.ZodString;
+}, z.core.$strip>;
+/**
+ * Extended input for project-aware warden rule trails.
+ *
+ * Adds `knownTrailIds` so the caller can supply cross-file context and avoid
+ * false positives for detour targets or `@see` references defined in other
+ * files.
+ */
+export declare const projectAwareRuleInput: z.ZodObject<{
+    filePath: z.ZodString;
+    sourceCode: z.ZodString;
+    knownTrailIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
+/** Output returned by every warden rule trail. */
+export declare const ruleOutput: z.ZodObject<{
+    diagnostics: z.ZodArray<z.ZodObject<{
+        filePath: z.ZodString;
+        line: z.ZodNumber;
+        message: z.ZodString;
+        rule: z.ZodString;
+        severity: z.ZodEnum<{
+            error: "error";
+            warn: "warn";
+        }>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type RuleInput = z.infer<typeof ruleInput>;
+export type ProjectAwareRuleInput = z.infer<typeof projectAwareRuleInput>;
+export type RuleOutput = z.infer<typeof ruleOutput>;
+//# sourceMappingURL=schema.d.ts.map

package/dist/trails/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/trails/schema.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,0DAA0D;AAC1D,eAAO,MAAM,gBAAgB;;;;;;;;;iBAM3B,CAAC;AAEH,iDAAiD;AACjD,eAAO,MAAM,SAAS;;;iBAGpB,CAAC;AAEH;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB;;;;iBAKhC,CAAC;AAEH,kDAAkD;AAClD,eAAO,MAAM,UAAU;;;;;;;;;;;iBAErB,CAAC;AAEH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAClD,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAC1E,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC"}

package/dist/trails/schema.js

@@ -0,0 +1,38 @@
+/**
+ * Shared Zod schemas for warden rule trails.
+ *
+ * Every rule trail shares the same input (source file) and output
+ * (array of diagnostics) shape.
+ */
+import { z } from 'zod';
+/** A single diagnostic emitted by a warden rule trail. */
+export const diagnosticSchema = z.object({
+    filePath: z.string().describe('File path that was analyzed'),
+    line: z.number().describe('1-based line number'),
+    message: z.string().describe('Human-readable diagnostic message'),
+    rule: z.string().describe('Rule name'),
+    severity: z.enum(['error', 'warn']).describe('Diagnostic severity'),
+});
+/** Input accepted by every warden rule trail. */
+export const ruleInput = z.object({
+    filePath: z.string().describe('Path to the source file'),
+    sourceCode: z.string().describe('Source code content'),
+});
+/**
+ * Extended input for project-aware warden rule trails.
+ *
+ * Adds `knownTrailIds` so the caller can supply cross-file context and avoid
+ * false positives for detour targets or `@see` references defined in other
+ * files.
+ */
+export const projectAwareRuleInput = ruleInput.extend({
+    knownTrailIds: z
+        .array(z.string())
+        .optional()
+        .describe('Trail IDs known across the project'),
+});
+/** Output returned by every warden rule trail. */
+export const ruleOutput = z.object({
+    diagnostics: z.array(diagnosticSchema).describe('Diagnostics found'),
+});
+//# sourceMappingURL=schema.js.map

package/dist/trails/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/trails/schema.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,0DAA0D;AAC1D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IAC5D,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IAChD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,mCAAmC,CAAC;IACjE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;IACtC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC;CACpE,CAAC,CAAC;AAEH,iDAAiD;AACjD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,yBAAyB,CAAC;IACxD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qBAAqB,CAAC;CACvD,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,SAAS,CAAC,MAAM,CAAC;IACpD,aAAa,EAAE,CAAC;SACb,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,oCAAoC,CAAC;CAClD,CAAC,CAAC;AAEH,kDAAkD;AAClD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC;CACrE,CAAC,CAAC"}

package/dist/trails/topo.d.ts

@@ -0,0 +1,3 @@
+/** Topo collecting all warden rule trails. */
+export declare const wardenTopo: import("@ontrails/core").Topo;
+//# sourceMappingURL=topo.d.ts.map

package/dist/trails/topo.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"topo.d.ts","sourceRoot":"","sources":["../../src/trails/topo.ts"],"names":[],"mappings":"AAIA,8CAA8C;AAC9C,eAAO,MAAM,UAAU,+BAAwB,CAAC"}

package/dist/trails/topo.js

@@ -0,0 +1,5 @@
+import { topo } from '@ontrails/core';
+import * as rules from './index.js';
+/** Topo collecting all warden rule trails. */
+export const wardenTopo = topo('warden', rules);
+//# sourceMappingURL=topo.js.map

package/dist/trails/topo.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"topo.js","sourceRoot":"","sources":["../../src/trails/topo.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAEtC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AAEpC,8CAA8C;AAC9C,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC"}

package/dist/trails/valid-describe-refs.trail.d.ts

@@ -0,0 +1,14 @@
+export declare const validDescribeRefsTrail: import("@ontrails/core").Trail<{
+    filePath: string;
+    sourceCode: string;
+    knownTrailIds?: string[] | undefined;
+}, {
+    diagnostics: {
+        filePath: string;
+        line: number;
+        message: string;
+        rule: string;
+        severity: "error" | "warn";
+    }[];
+}>;
+//# sourceMappingURL=valid-describe-refs.trail.d.ts.map

package/dist/trails/valid-describe-refs.trail.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"valid-describe-refs.trail.d.ts","sourceRoot":"","sources":["../../src/trails/valid-describe-refs.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,sBAAsB;;;;;;;;;;;;EAcjC,CAAC"}

package/dist/trails/valid-describe-refs.trail.js

@@ -0,0 +1,18 @@
+import { validDescribeRefs } from '../rules/valid-describe-refs.js';
+import { wrapRule } from './wrap-rule.js';
+export const validDescribeRefsTrail = wrapRule({
+    examples: [
+        {
+            expected: { diagnostics: [] },
+            input: {
+                filePath: 'clean.ts',
+                sourceCode: `const schema = z.object({
+  name: z.string().describe("User display name"),
+});`,
+            },
+            name: 'Describe without @see refs',
+        },
+    ],
+    rule: validDescribeRefs,
+});
+//# sourceMappingURL=valid-describe-refs.trail.js.map

package/dist/trails/valid-describe-refs.trail.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"valid-describe-refs.trail.js","sourceRoot":"","sources":["../../src/trails/valid-describe-refs.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,CAAC,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC7C,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,QAAQ,EAAE,UAAU;gBACpB,UAAU,EAAE;;IAEhB;aACG;YACD,IAAI,EAAE,4BAA4B;SACnC;KACF;IACD,IAAI,EAAE,iBAAiB;CACxB,CAAC,CAAC"}

package/dist/trails/valid-detour-refs.trail.d.ts

@@ -0,0 +1,14 @@
+export declare const validDetourRefsTrail: import("@ontrails/core").Trail<{
+    filePath: string;
+    sourceCode: string;
+    knownTrailIds?: string[] | undefined;
+}, {
+    diagnostics: {
+        filePath: string;
+        line: number;
+        message: string;
+        rule: string;
+        severity: "error" | "warn";
+    }[];
+}>;
+//# sourceMappingURL=valid-detour-refs.trail.d.ts.map

package/dist/trails/valid-detour-refs.trail.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"valid-detour-refs.trail.d.ts","sourceRoot":"","sources":["../../src/trails/valid-detour-refs.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,oBAAoB;;;;;;;;;;;;EAoB/B,CAAC"}

package/dist/trails/valid-detour-refs.trail.js

@@ -0,0 +1,24 @@
+import { validDetourRefs } from '../rules/valid-detour-refs.js';
+import { wrapRule } from './wrap-rule.js';
+export const validDetourRefsTrail = wrapRule({
+    examples: [
+        {
+            expected: { diagnostics: [] },
+            input: {
+                filePath: 'clean.ts',
+                knownTrailIds: ['entity.fallback', 'entity.show'],
+                sourceCode: `trail("entity.fallback", {
+  run: async (input, ctx) => Result.ok(data)
+})
+
+trail("entity.show", {
+  detours: [{ target: "entity.fallback" }],
+  run: async (input, ctx) => Result.ok(data)
+})`,
+            },
+            name: 'Valid detour target reference',
+        },
+    ],
+    rule: validDetourRefs,
+});
+//# sourceMappingURL=valid-detour-refs.trail.js.map

package/dist/trails/valid-detour-refs.trail.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"valid-detour-refs.trail.js","sourceRoot":"","sources":["../../src/trails/valid-detour-refs.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,CAAC,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC3C,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,QAAQ,EAAE,UAAU;gBACpB,aAAa,EAAE,CAAC,iBAAiB,EAAE,aAAa,CAAC;gBACjD,UAAU,EAAE;;;;;;;GAOjB;aACI;YACD,IAAI,EAAE,+BAA+B;SACtC;KACF;IACD,IAAI,EAAE,eAAe;CACtB,CAAC,CAAC"}

package/dist/trails/wrap-rule.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Factory that wraps a WardenRule as a trail.
+ *
+ * Keeps each rule trail file minimal — just the import + examples.
+ */
+import type { Trail } from '@ontrails/core';
+import type { ProjectAwareWardenRule, WardenRule } from '../rules/types.js';
+import type { ProjectAwareRuleInput, RuleInput, RuleOutput } from './schema.js';
+interface WrapRuleOptions {
+    /** The existing warden rule to wrap. */
+    readonly rule: WardenRule;
+    /** Trail examples for testing and documentation. */
+    readonly examples: Trail<RuleInput, RuleOutput>['examples'];
+}
+interface WrapProjectAwareRuleOptions {
+    /** The existing project-aware warden rule to wrap. */
+    readonly rule: ProjectAwareWardenRule;
+    /** Trail examples for testing and documentation. */
+    readonly examples: Trail<ProjectAwareRuleInput, RuleOutput>['examples'];
+}
+/**
+ * Wrap an existing `WardenRule` as a trail with typed input/output.
+ *
+ * The trail ID follows the pattern `warden.rule.<rule-name>`.
+ */
+export declare function wrapRule(options: WrapProjectAwareRuleOptions): Trail<ProjectAwareRuleInput, RuleOutput>;
+export declare function wrapRule(options: WrapRuleOptions): Trail<RuleInput, RuleOutput>;
+export {};
+//# sourceMappingURL=wrap-rule.d.ts.map

package/dist/trails/wrap-rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wrap-rule.d.ts","sourceRoot":"","sources":["../../src/trails/wrap-rule.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAE5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE5E,OAAO,KAAK,EAAE,qBAAqB,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEhF,UAAU,eAAe;IACvB,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,UAAU,CAAC,CAAC;CAC7D;AAED,UAAU,2BAA2B;IACnC,sDAAsD;IACtD,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,qBAAqB,EAAE,UAAU,CAAC,CAAC,UAAU,CAAC,CAAC;CACzE;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CACtB,OAAO,EAAE,2BAA2B,GACnC,KAAK,CAAC,qBAAqB,EAAE,UAAU,CAAC,CAAC;AAC5C,wBAAgB,QAAQ,CACtB,OAAO,EAAE,eAAe,GACvB,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC"}

package/dist/trails/wrap-rule.js

@@ -0,0 +1,43 @@
+/**
+ * Factory that wraps a WardenRule as a trail.
+ *
+ * Keeps each rule trail file minimal — just the import + examples.
+ */
+import { trail, Result } from '@ontrails/core';
+import { projectAwareRuleInput, ruleInput, ruleOutput } from './schema.js';
+export function wrapRule(options) {
+    const { rule, examples } = options;
+    const isProjectAware = 'checkWithContext' in rule;
+    if (isProjectAware) {
+        const projectAwareRule = rule;
+        return trail(`warden.rule.${rule.name}`, {
+            description: rule.description,
+            examples: examples,
+            input: projectAwareRuleInput,
+            intent: 'read',
+            metadata: { category: 'governance', severity: rule.severity },
+            output: ruleOutput,
+            run: (input) => {
+                const diagnostics = projectAwareRule.checkWithContext(input.sourceCode, input.filePath, {
+                    knownTrailIds: input.knownTrailIds
+                        ? new Set(input.knownTrailIds)
+                        : new Set(),
+                });
+                return Result.ok({ diagnostics: [...diagnostics] });
+            },
+        });
+    }
+    return trail(`warden.rule.${rule.name}`, {
+        description: rule.description,
+        examples: examples,
+        input: ruleInput,
+        intent: 'read',
+        metadata: { category: 'governance', severity: rule.severity },
+        output: ruleOutput,
+        run: (input) => {
+            const diagnostics = rule.check(input.sourceCode, input.filePath);
+            return Result.ok({ diagnostics: [...diagnostics] });
+        },
+    });
+}
+//# sourceMappingURL=wrap-rule.js.map

package/dist/trails/wrap-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wrap-rule.js","sourceRoot":"","sources":["../../src/trails/wrap-rule.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAI/C,OAAO,EAAE,qBAAqB,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA4B3E,MAAM,UAAU,QAAQ,CACtB,OAAsD;IAEtD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACnC,MAAM,cAAc,GAAG,kBAAkB,IAAI,IAAI,CAAC;IAElD,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,gBAAgB,GAAG,IAA8B,CAAC;QACxD,OAAO,KAAK,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,EAAE;YACvC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,QAAQ,EAAE,QAGG;YACb,KAAK,EAAE,qBAAqB;YAC5B,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;YAC7D,MAAM,EAAE,UAAU;YAClB,GAAG,EAAE,CAAC,KAA4B,EAAE,EAAE;gBACpC,MAAM,WAAW,GAAG,gBAAgB,CAAC,gBAAgB,CACnD,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,QAAQ,EACd;oBACE,aAAa,EAAE,KAAK,CAAC,aAAa;wBAChC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC;wBAC9B,CAAC,CAAC,IAAI,GAAG,EAAU;iBACtB,CACF,CAAC;gBACF,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YACtD,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,EAAE;QACvC,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,QAAQ,EAAE,QAAoD;QAC9D,KAAK,EAAE,SAAS;QAChB,MAAM,EAAE,MAAM;QACd,QAAQ,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;QAC7D,MAAM,EAAE,UAAU;QAClB,GAAG,EAAE,CAAC,KAAgB,EAAE,EAAE;YACxB,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YACjE,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC;KACF,CAAC,CAAC;AACL,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ontrails/warden",
-  "version": "1.0.0-beta.1",
+  "version": "1.0.0-beta.10",
   "type": "module",
   "exports": {
     ".": "./src/index.ts",
@@ -14,12 +14,13 @@
     "clean": "rm -rf dist *.tsbuildinfo"
   },
   "devDependencies": {
+    "@ontrails/testing": "^1.0.0-beta.8",
     "@oxc-project/types": "^0.122.0",
     "oxc-parser": "^0.121.0",
-    "zod": "catalog:"
+    "zod": "^4.3.5"
   },
   "peerDependencies": {
-    "@ontrails/core": "workspace:^",
-    "@ontrails/schema": "workspace:^"
+    "@ontrails/core": "^1.0.0-beta.8",
+    "@ontrails/schema": "^1.0.0-beta.8"
   }
 }

package/src/__tests__/cli.test.ts

@@ -21,7 +21,7 @@ describe('runWarden', () => {
       writeFileSync(
         join(dir, 'bad.ts'),
         `trail("entity.show", {
-  implementation: async (input, ctx) => {
+  run: async (input, ctx) => {
     throw new Error("boom");
   }
 })`
@@ -41,7 +41,7 @@ describe('runWarden', () => {
       writeFileSync(
         join(dir, 'good.ts'),
         `trail("entity.show", {
-  implementation: async (input, ctx) => {
+  run: async (input, ctx) => {
     return Result.ok(data);
   }
 })`
@@ -72,7 +72,7 @@ describe('runWarden', () => {
       // Even with bad code, driftOnly should produce 0 diagnostics
       writeFileSync(
         join(dir, 'bad.ts'),
-        `trail("x", { implementation: async () => { throw new Error("x"); } })`
+        `trail("x", { run: async () => { throw new Error("x"); } })`
       );
       const report = await runWarden({ driftOnly: true, rootDir: dir });
       expect(report.diagnostics.length).toBe(0);
@@ -89,7 +89,7 @@ describe('runWarden', () => {
         join(dir, 'show.ts'),
         `trail("entity.show", {
   detours: { NotFoundError: ["entity.search"] },
-  implementation: async (input, ctx) => {
+  run: async (input, ctx) => {
     return Result.ok(data);
   }
 })`
@@ -97,7 +97,7 @@ describe('runWarden', () => {
       writeFileSync(
         join(dir, 'search.ts'),
         `trail("entity.search", {
-  implementation: async (input, ctx) => {
+  run: async (input, ctx) => {
     return Result.ok(data);
   }
 })`
@@ -121,7 +121,7 @@ describe('runWarden', () => {
         join(dir, 'show.ts'),
         `trail("entity.show", {
   detours: { NotFoundError: ["entity.search"] },
-  implementation: async (input, ctx) => {
+  run: async (input, ctx) => {
     return Result.ok(data);
   }
 })`
@@ -129,7 +129,7 @@ describe('runWarden', () => {
       writeFileSync(
         join(dir, 'search.ts'),
         `trail("entity.search", {
-  implementation: async (input, ctx) => {
+  run: async (input, ctx) => {
     throw new Error("boom");
   }
 })`

package/src/__tests__/drift.test.ts

@@ -11,9 +11,9 @@ import { checkDrift } from '../drift.js';
 
 const makeTopo = () => {
   const t = trail('test.hello', {
-    implementation: () => Result.ok({ greeting: 'hi' }),
     input: z.object({ name: z.string() }),
     output: z.object({ greeting: z.string() }),
+    run: () => Result.ok({ greeting: 'hi' }),
   });
   return topo('test-app', { t });
 };