@ontrails/core 1.0.0-beta.5 → 1.0.0-beta.7

package/.turbo/turbo-lint.log

@@ -1,3 +1,3 @@
 $ oxlint ./src
 Found 0 warnings and 0 errors.
-Finished in 21ms on 60 files with 93 rules using 24 threads.
+Finished in 23ms on 60 files with 93 rules using 24 threads.

package/CHANGELOG.md

@@ -1,5 +1,17 @@
 # @ontrails/core
 
+## 1.0.0-beta.7
+
+## 1.0.0-beta.6
+
+### Patch Changes
+
+- Fix Codex review findings on type-utils and follow-declarations.
+
+  **core**: `inputOf()`/`outputOf()` now preserve the exact Zod schema subtype instead of widening to `z.ZodType`.
+
+  **warden**: `follow-declarations` rule now recognizes single-object trail overload, detects any context parameter name (not just `ctx`), matches destructured `follow()` calls, resolves const identifiers in `follow` arrays, and restricts run body extraction to top-level config properties.
+
 ## 1.0.0-beta.5
 
 ### Minor Changes

package/dist/type-utils.d.ts

@@ -1,14 +1,13 @@
 /**
  * Type utilities for extracting input/output types from trails.
  */
-import type { z } from 'zod';
 import type { AnyTrail, Trail } from './trail.js';
 /** Extract the input type from a Trail. */
 export type TrailInput<T extends AnyTrail> = T extends Trail<infer I, any> ? I : never;
 /** Extract the output type from a Trail. */
 export type TrailOutput<T extends AnyTrail> = T extends Trail<any, infer O> ? O : never;
-/** Get the input Zod schema from a trail. */
-export declare const inputOf: <I, O>(trail: Trail<I, O>) => z.ZodType<I>;
-/** Get the output Zod schema from a trail, if defined. */
-export declare const outputOf: <I, O>(trail: Trail<I, O>) => z.ZodType<O> | undefined;
+/** Get the input Zod schema from a trail, preserving the specific schema type. */
+export declare const inputOf: <T extends AnyTrail>(trail: T) => T["input"];
+/** Get the output Zod schema from a trail, if defined, preserving the specific schema type. */
+export declare const outputOf: <T extends AnyTrail>(trail: T) => T["output"];
 //# sourceMappingURL=type-utils.d.ts.map

package/dist/type-utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-utils.d.ts","sourceRoot":"","sources":["../src/type-utils.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAE7B,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAQlD,2CAA2C;AAC3C,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,QAAQ,IACvC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE5C,4CAA4C;AAC5C,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,QAAQ,IACxC,CAAC,SAAS,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAQ5C,6CAA6C;AAC7C,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAgB,CAAC;AAE/E,0DAA0D;AAC1D,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,SACrD,CAAC"}
+{"version":3,"file":"type-utils.d.ts","sourceRoot":"","sources":["../src/type-utils.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAQlD,2CAA2C;AAC3C,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,QAAQ,IACvC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE5C,4CAA4C;AAC5C,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,QAAQ,IACxC,CAAC,SAAS,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAQ5C,kFAAkF;AAClF,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,QAAQ,EAAE,OAAO,CAAC,KAAG,CAAC,CAAC,OAAO,CACnD,CAAC;AAEd,+FAA+F;AAC/F,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,QAAQ,EAAE,OAAO,CAAC,KAAG,CAAC,CAAC,QAAQ,CACpD,CAAC"}

package/dist/type-utils.js

@@ -5,8 +5,8 @@
 // ---------------------------------------------------------------------------
 // Runtime schema accessors
 // ---------------------------------------------------------------------------
-/** Get the input Zod schema from a trail. */
+/** Get the input Zod schema from a trail, preserving the specific schema type. */
 export const inputOf = (trail) => trail.input;
-/** Get the output Zod schema from a trail, if defined. */
+/** Get the output Zod schema from a trail, if defined, preserving the specific schema type. */
 export const outputOf = (trail) => trail.output;
 //# sourceMappingURL=type-utils.js.map

package/dist/type-utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-utils.js","sourceRoot":"","sources":["../src/type-utils.ts"],"names":[],"mappings":"AAAA;;GAEG;AAoBH,mCAAmC;AAEnC,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E,6CAA6C;AAC7C,MAAM,CAAC,MAAM,OAAO,GAAG,CAAO,KAAkB,EAAgB,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC;AAE/E,0DAA0D;AAC1D,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAO,KAAkB,EAA4B,EAAE,CAC7E,KAAK,CAAC,MAAM,CAAC"}
+{"version":3,"file":"type-utils.js","sourceRoot":"","sources":["../src/type-utils.ts"],"names":[],"mappings":"AAAA;;GAEG;AAkBH,mCAAmC;AAEnC,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E,kFAAkF;AAClF,MAAM,CAAC,MAAM,OAAO,GAAG,CAAqB,KAAQ,EAAc,EAAE,CAClE,KAAK,CAAC,KAAK,CAAC;AAEd,+FAA+F;AAC/F,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAqB,KAAQ,EAAe,EAAE,CACpE,KAAK,CAAC,MAAM,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ontrails/core",
-  "version": "1.0.0-beta.5",
+  "version": "1.0.0-beta.7",
   "type": "module",
   "exports": {
     ".": "./src/index.ts",

package/src/__tests__/type-utils.test.ts

@@ -30,6 +30,13 @@ describe('type-utils', () => {
         name: 'Alice',
       });
     });
+
+    test('preserves specific schema type so .shape is accessible', () => {
+      const schema = inputOf(greetTrail);
+      // .shape is only available on z.ZodObject, not the broader z.ZodType
+      expect(schema.shape).toBeDefined();
+      expect(schema.shape.name).toBeDefined();
+    });
   });
 
   describe('outputOf', () => {

package/src/type-utils.ts

@@ -2,8 +2,6 @@
  * Type utilities for extracting input/output types from trails.
  */
 
-import type { z } from 'zod';
-
 import type { AnyTrail, Trail } from './trail.js';
 
 // ---------------------------------------------------------------------------
@@ -26,9 +24,10 @@ export type TrailOutput<T extends AnyTrail> =
 // Runtime schema accessors
 // ---------------------------------------------------------------------------
 
-/** Get the input Zod schema from a trail. */
-export const inputOf = <I, O>(trail: Trail<I, O>): z.ZodType<I> => trail.input;
+/** Get the input Zod schema from a trail, preserving the specific schema type. */
+export const inputOf = <T extends AnyTrail>(trail: T): T['input'] =>
+  trail.input;
 
-/** Get the output Zod schema from a trail, if defined. */
-export const outputOf = <I, O>(trail: Trail<I, O>): z.ZodType<O> | undefined =>
+/** Get the output Zod schema from a trail, if defined, preserving the specific schema type. */
+export const outputOf = <T extends AnyTrail>(trail: T): T['output'] =>
   trail.output;