@ontrails/warden 1.0.0-beta.11 → 1.0.0-beta.13

package/dist/trails/provision-exists.trail.js

@@ -0,0 +1,27 @@
+import { provisionExists } from '../rules/provision-exists.js';
+import { wrapRule } from './wrap-rule.js';
+export const provisionExistsTrail = wrapRule({
+    examples: [
+        {
+            expected: { diagnostics: [] },
+            input: {
+                filePath: 'clean.ts',
+                knownProvisionIds: ['db.main'],
+                knownTrailIds: ['entity.show'],
+                sourceCode: `const db = provision("db.main", {
+  create: () => Result.ok({ source: "factory" }),
+});
+
+trail("entity.show", {
+  provisions: [db],
+  blaze: async (_input, ctx) => {
+    return Result.ok(db.from(ctx));
+  }
+})`,
+            },
+            name: 'Declared provisions resolve to known project provisions',
+        },
+    ],
+    rule: provisionExists,
+});
+//# sourceMappingURL=provision-exists.trail.js.map

package/dist/trails/provision-exists.trail.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provision-exists.trail.js","sourceRoot":"","sources":["../../src/trails/provision-exists.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,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,iBAAiB,EAAE,CAAC,SAAS,CAAC;gBAC9B,aAAa,EAAE,CAAC,aAAa,CAAC;gBAC9B,UAAU,EAAE;;;;;;;;;GASjB;aACI;YACD,IAAI,EAAE,yDAAyD;SAChE;KACF;IACD,IAAI,EAAE,eAAe;CACtB,CAAC,CAAC"}

package/dist/trails/run.d.ts

@@ -5,13 +5,13 @@
  */
 import type { WardenDiagnostic } from '../rules/types.js';
 /**
- * Dispatch all warden rule trails for a given file and collect diagnostics.
+ * Run 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 knownServiceIds?: readonly string[];
+    readonly knownProvisionIds?: readonly string[];
     readonly knownTrailIds?: readonly string[];
 }) => Promise<readonly WardenDiagnostic[]>;
 //# sourceMappingURL=run.d.ts.map

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

@@ -1 +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;IACR,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5C,KACA,OAAO,CAAC,SAAS,gBAAgB,EAAE,CA2BrC,CAAC"}
+{"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;IACR,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5C,KACA,OAAO,CAAC,SAAS,gBAAgB,EAAE,CA2BrC,CAAC"}

package/dist/trails/run.js

@@ -3,10 +3,10 @@
  *
  * Returns a flat array of diagnostics from every rule.
  */
-import { dispatch } from '@ontrails/core';
+import { run } from '@ontrails/core';
 import { wardenTopo } from './topo.js';
 /**
- * Dispatch all warden rule trails for a given file and collect diagnostics.
+ * Run 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.
@@ -14,11 +14,11 @@ import { wardenTopo } from './topo.js';
 export const runWardenTrails = async (filePath, sourceCode, options) => {
     const allDiagnostics = [];
     for (const id of wardenTopo.ids()) {
-        const input = options?.knownTrailIds || options?.knownServiceIds
+        const input = options?.knownTrailIds || options?.knownProvisionIds
             ? {
                 filePath,
-                ...(options?.knownServiceIds
-                    ? { knownServiceIds: options.knownServiceIds }
+                ...(options?.knownProvisionIds
+                    ? { knownProvisionIds: options.knownProvisionIds }
                     : {}),
                 ...(options?.knownTrailIds
                     ? { knownTrailIds: options.knownTrailIds }
@@ -26,7 +26,7 @@ export const runWardenTrails = async (filePath, sourceCode, options) => {
                 sourceCode,
             }
             : { filePath, sourceCode };
-        const result = await dispatch(wardenTopo, id, input);
+        const result = await run(wardenTopo, id, input);
         if (result.isOk()) {
             const { diagnostics } = result.value;
             for (const d of diagnostics) {

package/dist/trails/run.js.map

@@ -1 +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,OAGC,EACqC,EAAE;IACxC,MAAM,cAAc,GAAuB,EAAE,CAAC;IAE9C,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC;QAClC,MAAM,KAAK,GACT,OAAO,EAAE,aAAa,IAAI,OAAO,EAAE,eAAe;YAChD,CAAC,CAAC;gBACE,QAAQ;gBACR,GAAG,CAAC,OAAO,EAAE,eAAe;oBAC1B,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE;oBAC9C,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,OAAO,EAAE,aAAa;oBACxB,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE;oBAC1C,CAAC,CAAC,EAAE,CAAC;gBACP,UAAU;aACX;YACH,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;QAC/B,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"}
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/trails/run.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAC;AAIrC,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAEvC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,KAAK,EAClC,QAAgB,EAChB,UAAkB,EAClB,OAGC,EACqC,EAAE;IACxC,MAAM,cAAc,GAAuB,EAAE,CAAC;IAE9C,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC;QAClC,MAAM,KAAK,GACT,OAAO,EAAE,aAAa,IAAI,OAAO,EAAE,iBAAiB;YAClD,CAAC,CAAC;gBACE,QAAQ;gBACR,GAAG,CAAC,OAAO,EAAE,iBAAiB;oBAC5B,CAAC,CAAC,EAAE,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,EAAE;oBAClD,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,OAAO,EAAE,aAAa;oBACxB,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE;oBAC1C,CAAC,CAAC,EAAE,CAAC;gBACP,UAAU;aACX;YACH,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,UAAU,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;QAChD,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

@@ -31,7 +31,7 @@ export declare const ruleInput: z.ZodObject<{
 export declare const projectAwareRuleInput: z.ZodObject<{
     filePath: z.ZodString;
     sourceCode: z.ZodString;
-    knownServiceIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    knownProvisionIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
     knownTrailIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
 }, z.core.$strip>;
 /** Output returned by every warden rule trail. */

package/dist/trails/schema.js

@@ -26,10 +26,10 @@ export const ruleInput = z.object({
  * files.
  */
 export const projectAwareRuleInput = ruleInput.extend({
-    knownServiceIds: z
+    knownProvisionIds: z
         .array(z.string())
         .optional()
-        .describe('Service IDs known across the project'),
+        .describe('Provision IDs known across the project'),
     knownTrailIds: z
         .array(z.string())
         .optional()

package/dist/trails/schema.js.map

@@ -1 +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,eAAe,EAAE,CAAC;SACf,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,sCAAsC,CAAC;IACnD,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"}
+{"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,iBAAiB,EAAE,CAAC;SACjB,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,wCAAwC,CAAC;IACrD,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/service-declarations.trail.d.ts

@@ -1,3 +1,16 @@
+export declare const provisionDeclarationsTrail: import("@ontrails/core").Trail<{
+    filePath: string;
+    sourceCode: string;
+}, {
+    diagnostics: {
+        filePath: string;
+        line: number;
+        message: string;
+        rule: string;
+        severity: "error" | "warn";
+    }[];
+}>;
+/** Backward-compatible alias while the migration is in flight. */
 export declare const serviceDeclarationsTrail: import("@ontrails/core").Trail<{
     filePath: string;
     sourceCode: string;

package/dist/trails/service-declarations.trail.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"service-declarations.trail.d.ts","sourceRoot":"","sources":["../../src/trails/service-declarations.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,wBAAwB;;;;;;;;;;;EAqBnC,CAAC"}
+{"version":3,"file":"service-declarations.trail.d.ts","sourceRoot":"","sources":["../../src/trails/service-declarations.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,0BAA0B;;;;;;;;;;;EAqBrC,CAAC;AAEH,kEAAkE;AAClE,eAAO,MAAM,wBAAwB;;;;;;;;;;;EAA6B,CAAC"}

package/dist/trails/service-declarations.trail.js

@@ -1,25 +1,27 @@
-import { serviceDeclarations } from '../rules/service-declarations.js';
+import { provisionDeclarations } from '../rules/service-declarations.js';
 import { wrapRule } from './wrap-rule.js';
-export const serviceDeclarationsTrail = wrapRule({
+export const provisionDeclarationsTrail = wrapRule({
     examples: [
         {
             expected: { diagnostics: [] },
             input: {
                 filePath: 'clean.ts',
-                sourceCode: `const db = service("db.main", {
+                sourceCode: `const db = provision("db.main", {
   create: () => Result.ok({ source: "factory" }),
 });
 
 trail("entity.show", {
-  services: [db],
-  run: async (_input, ctx) => {
+  provisions: [db],
+  blaze: async (_input, ctx) => {
     return Result.ok(db.from(ctx));
   }
 })`,
             },
-            name: 'Matched service declarations and usage',
+            name: 'Matched provision declarations and usage',
         },
     ],
-    rule: serviceDeclarations,
+    rule: provisionDeclarations,
 });
+/** Backward-compatible alias while the migration is in flight. */
+export const serviceDeclarationsTrail = provisionDeclarationsTrail;
 //# sourceMappingURL=service-declarations.trail.js.map

package/dist/trails/service-declarations.trail.js.map

@@ -1 +1 @@
-{"version":3,"file":"service-declarations.trail.js","sourceRoot":"","sources":["../../src/trails/service-declarations.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,CAAC,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC/C,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,QAAQ,EAAE,UAAU;gBACpB,UAAU,EAAE;;;;;;;;;GASjB;aACI;YACD,IAAI,EAAE,wCAAwC;SAC/C;KACF;IACD,IAAI,EAAE,mBAAmB;CAC1B,CAAC,CAAC"}
+{"version":3,"file":"service-declarations.trail.js","sourceRoot":"","sources":["../../src/trails/service-declarations.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,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;;;;;;;;;GASjB;aACI;YACD,IAAI,EAAE,0CAA0C;SACjD;KACF;IACD,IAAI,EAAE,qBAAqB;CAC5B,CAAC,CAAC;AAEH,kEAAkE;AAClE,MAAM,CAAC,MAAM,wBAAwB,GAAG,0BAA0B,CAAC"}

package/dist/trails/service-exists.trail.d.ts

@@ -1,6 +1,23 @@
+export declare const provisionExistsTrail: import("@ontrails/core").Trail<{
+    filePath: string;
+    sourceCode: string;
+    knownProvisionIds?: string[] | undefined;
+    knownServiceIds?: string[] | undefined;
+    knownTrailIds?: string[] | undefined;
+}, {
+    diagnostics: {
+        filePath: string;
+        line: number;
+        message: string;
+        rule: string;
+        severity: "error" | "warn";
+    }[];
+}>;
+/** Backward-compatible alias while the migration is in flight. */
 export declare const serviceExistsTrail: import("@ontrails/core").Trail<{
     filePath: string;
     sourceCode: string;
+    knownProvisionIds?: string[] | undefined;
     knownServiceIds?: string[] | undefined;
     knownTrailIds?: string[] | undefined;
 }, {

package/dist/trails/service-exists.trail.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"service-exists.trail.d.ts","sourceRoot":"","sources":["../../src/trails/service-exists.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;EAuB7B,CAAC"}
+{"version":3,"file":"service-exists.trail.d.ts","sourceRoot":"","sources":["../../src/trails/service-exists.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;EAuB/B,CAAC;AAEH,kEAAkE;AAClE,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;EAAuB,CAAC"}

package/dist/trails/service-exists.trail.js

@@ -1,27 +1,29 @@
-import { serviceExists } from '../rules/service-exists.js';
+import { provisionExists } from '../rules/service-exists.js';
 import { wrapRule } from './wrap-rule.js';
-export const serviceExistsTrail = wrapRule({
+export const provisionExistsTrail = wrapRule({
     examples: [
         {
             expected: { diagnostics: [] },
             input: {
                 filePath: 'clean.ts',
-                knownServiceIds: ['db.main'],
+                knownProvisionIds: ['db.main'],
                 knownTrailIds: ['entity.show'],
-                sourceCode: `const db = service("db.main", {
+                sourceCode: `const db = provision("db.main", {
   create: () => Result.ok({ source: "factory" }),
 });
 
 trail("entity.show", {
-  services: [db],
-  run: async (_input, ctx) => {
+  provisions: [db],
+  blaze: async (_input, ctx) => {
     return Result.ok(db.from(ctx));
   }
 })`,
             },
-            name: 'Declared services resolve to known project services',
+            name: 'Declared provisions resolve to known project provisions',
         },
     ],
-    rule: serviceExists,
+    rule: provisionExists,
 });
+/** Backward-compatible alias while the migration is in flight. */
+export const serviceExistsTrail = provisionExistsTrail;
 //# sourceMappingURL=service-exists.trail.js.map

package/dist/trails/service-exists.trail.js.map

@@ -1 +1 @@
-{"version":3,"file":"service-exists.trail.js","sourceRoot":"","sources":["../../src/trails/service-exists.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,CAAC,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACzC,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,QAAQ,EAAE,UAAU;gBACpB,eAAe,EAAE,CAAC,SAAS,CAAC;gBAC5B,aAAa,EAAE,CAAC,aAAa,CAAC;gBAC9B,UAAU,EAAE;;;;;;;;;GASjB;aACI;YACD,IAAI,EAAE,qDAAqD;SAC5D;KACF;IACD,IAAI,EAAE,aAAa;CACpB,CAAC,CAAC"}
+{"version":3,"file":"service-exists.trail.js","sourceRoot":"","sources":["../../src/trails/service-exists.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,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,iBAAiB,EAAE,CAAC,SAAS,CAAC;gBAC9B,aAAa,EAAE,CAAC,aAAa,CAAC;gBAC9B,UAAU,EAAE;;;;;;;;;GASjB;aACI;YACD,IAAI,EAAE,yDAAyD;SAChE;KACF;IACD,IAAI,EAAE,eAAe;CACtB,CAAC,CAAC;AAEH,kEAAkE;AAClE,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAAoB,CAAC"}

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

@@ -1,7 +1,7 @@
 export declare const validDescribeRefsTrail: import("@ontrails/core").Trail<{
     filePath: string;
     sourceCode: string;
-    knownServiceIds?: string[] | undefined;
+    knownProvisionIds?: string[] | undefined;
     knownTrailIds?: string[] | undefined;
 }, {
     diagnostics: {

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

@@ -1,7 +1,7 @@
 export declare const validDetourRefsTrail: import("@ontrails/core").Trail<{
     filePath: string;
     sourceCode: string;
-    knownServiceIds?: string[] | undefined;
+    knownProvisionIds?: string[] | undefined;
     knownTrailIds?: string[] | undefined;
 }, {
     diagnostics: {

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

@@ -8,12 +8,12 @@ export const validDetourRefsTrail = wrapRule({
                 filePath: 'clean.ts',
                 knownTrailIds: ['entity.fallback', 'entity.show'],
                 sourceCode: `trail("entity.fallback", {
-  run: async (input, ctx) => Result.ok(data)
+  blaze: async (input, ctx) => Result.ok(data)
 })
 
 trail("entity.show", {
   detours: [{ target: "entity.fallback" }],
-  run: async (input, ctx) => Result.ok(data)
+  blaze: async (input, ctx) => Result.ok(data)
 })`,
             },
             name: 'Valid detour target reference',

package/dist/trails/wrap-rule.js

@@ -11,16 +11,10 @@ export function wrapRule(options) {
     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) => {
+            blaze: (input) => {
                 const context = {
-                    knownServiceIds: input.knownServiceIds
-                        ? new Set(input.knownServiceIds)
+                    knownProvisionIds: input.knownProvisionIds
+                        ? new Set(input.knownProvisionIds)
                         : undefined,
                     knownTrailIds: input.knownTrailIds
                         ? new Set(input.knownTrailIds)
@@ -29,19 +23,25 @@ export function wrapRule(options) {
                 const diagnostics = projectAwareRule.checkWithContext(input.sourceCode, input.filePath, context);
                 return Result.ok({ diagnostics: [...diagnostics] });
             },
+            description: rule.description,
+            examples: examples,
+            input: projectAwareRuleInput,
+            intent: 'read',
+            meta: { category: 'governance', severity: rule.severity },
+            output: ruleOutput,
         });
     }
     return trail(`warden.rule.${rule.name}`, {
+        blaze: (input) => {
+            const diagnostics = rule.check(input.sourceCode, input.filePath);
+            return Result.ok({ diagnostics: [...diagnostics] });
+        },
         description: rule.description,
         examples: examples,
         input: ruleInput,
         intent: 'read',
-        metadata: { category: 'governance', severity: rule.severity },
+        meta: { 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

@@ -1 +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;AAQ/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,OAAO,GAAG;oBACd,eAAe,EAAE,KAAK,CAAC,eAAe;wBACpC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC;wBAChC,CAAC,CAAC,SAAS;oBACb,aAAa,EAAE,KAAK,CAAC,aAAa;wBAChC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC;wBAC9B,CAAC,CAAC,IAAI,GAAG,EAAU;iBACJ,CAAC;gBACpB,MAAM,WAAW,GAAG,gBAAgB,CAAC,gBAAgB,CACnD,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,QAAQ,EACd,OAAO,CACR,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"}
+{"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;AAQ/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,KAAK,EAAE,CAAC,KAA4B,EAAE,EAAE;gBACtC,MAAM,OAAO,GAAG;oBACd,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;wBACxC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC;wBAClC,CAAC,CAAC,SAAS;oBACb,aAAa,EAAE,KAAK,CAAC,aAAa;wBAChC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC;wBAC9B,CAAC,CAAC,IAAI,GAAG,EAAU;iBACJ,CAAC;gBACpB,MAAM,WAAW,GAAG,gBAAgB,CAAC,gBAAgB,CACnD,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,QAAQ,EACd,OAAO,CACR,CAAC;gBACF,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YACtD,CAAC;YACD,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,QAAQ,EAAE,QAGG;YACb,KAAK,EAAE,qBAAqB;YAC5B,MAAM,EAAE,MAAM;YACd,IAAI,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;YACzD,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,EAAE;QACvC,KAAK,EAAE,CAAC,KAAgB,EAAE,EAAE;YAC1B,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;QACD,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,QAAQ,EAAE,QAAoD;QAC9D,KAAK,EAAE,SAAS;QAChB,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;QACzD,MAAM,EAAE,UAAU;KACnB,CAAC,CAAC;AACL,CAAC"}

package/package.json

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

package/src/__tests__/cli.test.ts

@@ -21,7 +21,7 @@ describe('runWarden', () => {
       writeFileSync(
         join(dir, 'bad.ts'),
         `trail("entity.show", {
-  run: async (input, ctx) => {
+  blaze: async (input, ctx) => {
     throw new Error("boom");
   }
 })`
@@ -41,7 +41,7 @@ describe('runWarden', () => {
       writeFileSync(
         join(dir, 'good.ts'),
         `trail("entity.show", {
-  run: async (input, ctx) => {
+  blaze: 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", { run: async () => { throw new Error("x"); } })`
+        `trail("x", { blaze: 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"] },
-  run: async (input, ctx) => {
+  blaze: async (input, ctx) => {
     return Result.ok(data);
   }
 })`
@@ -97,7 +97,7 @@ describe('runWarden', () => {
       writeFileSync(
         join(dir, 'search.ts'),
         `trail("entity.search", {
-  run: async (input, ctx) => {
+  blaze: async (input, ctx) => {
     return Result.ok(data);
   }
 })`
@@ -121,7 +121,7 @@ describe('runWarden', () => {
         join(dir, 'show.ts'),
         `trail("entity.show", {
   detours: { NotFoundError: ["entity.search"] },
-  run: async (input, ctx) => {
+  blaze: async (input, ctx) => {
     return Result.ok(data);
   }
 })`
@@ -129,7 +129,7 @@ describe('runWarden', () => {
       writeFileSync(
         join(dir, 'search.ts'),
         `trail("entity.search", {
-  run: async (input, ctx) => {
+  blaze: async (input, ctx) => {
     throw new Error("boom");
   }
 })`
@@ -192,7 +192,7 @@ describe('formatWardenReport', () => {
       passed: false,
       warnCount: 0,
     });
-    expect(output).toContain('surface.lock is stale');
+    expect(output).toContain('trailhead.lock is stale');
     expect(output).toContain('Result: FAIL');
   });
 });