@telorun/sdk 0.86.0 → 0.90.0

package/dist/dispatch-invoke-ref.d.ts

@@ -17,7 +17,7 @@ export interface DispatchContext extends RefResolveContext {
     ensureKindRef?(value: unknown): KindRef;
 }
 /**
- * Resolve a decorator's `invoke:` field to a live invocable and return a thunk
+ * Resolve a decorator's `invoke:` field to a live executable and return a thunk
  * that dispatches it through the traced chokepoint. The field is either a
  * Phase-5-injected instance or a raw `{ kind, name, alias }` ref resolved
  * against the module context. Resolution is eager (fail-fast on a bad ref);
@@ -26,6 +26,11 @@ export interface DispatchContext extends RefResolveContext {
  * The thunk's optional second argument seeds the dispatch's {@link InvokeContext}
  * (e.g. a decorator-owned cancellation scope); when omitted the ambient
  * invocation context applies unchanged.
+ *
+ * The target is anything a step's `invoke:` accepts: an instance with `invoke()`
+ * or, run-only, with `run()`. Both go to `invokeResolved`, which calls `run()`
+ * when there is no `invoke()` — so a run-only target is started exactly as a
+ * step starts it, and the inputs it cannot take are dropped there, not here.
  */
 export declare function resolveInvocableDispatcher(field: unknown, ctx: DispatchContext, describe: () => string): (inputs: Record<string, unknown>, invokeCtx?: InvokeContext) => Promise<unknown>;
 //# sourceMappingURL=dispatch-invoke-ref.d.ts.map

package/dist/dispatch-invoke-ref.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dispatch-invoke-ref.d.ts","sourceRoot":"","sources":["../src/dispatch-invoke-ref.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACxC,OAAO,EAAsB,KAAK,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACvF,OAAO,EAAkB,KAAK,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE/E,4EAA4E;AAC5E,MAAM,WAAW,eAAgB,SAAQ,iBAAiB;IACxD,cAAc,CAAC,OAAO,EACpB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,OAAO,EACf,GAAG,CAAC,EAAE,aAAa,GAClB,OAAO,CAAC,OAAO,CAAC,CAAC;IACpB,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC;;;;;;OAMG;IACH,aAAa,CAAC,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC;CACzC;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,OAAO,EACd,GAAG,EAAE,eAAe,EACpB,QAAQ,EAAE,MAAM,MAAM,GACrB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,EAAE,aAAa,KAAK,OAAO,CAAC,OAAO,CAAC,CAyBlF"}
+{"version":3,"file":"dispatch-invoke-ref.d.ts","sourceRoot":"","sources":["../src/dispatch-invoke-ref.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGvD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACxC,OAAO,EAAsB,KAAK,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACvF,OAAO,EAAkB,KAAK,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAG/E,4EAA4E;AAC5E,MAAM,WAAW,eAAgB,SAAQ,iBAAiB;IACxD,cAAc,CAAC,OAAO,EACpB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,OAAO,EACf,GAAG,CAAC,EAAE,aAAa,GAClB,OAAO,CAAC,OAAO,CAAC,CAAC;IACpB,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC;;;;;;OAMG;IACH,aAAa,CAAC,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC;CACzC;AAID;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,OAAO,EACd,GAAG,EAAE,eAAe,EACpB,QAAQ,EAAE,MAAM,MAAM,GACrB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,EAAE,aAAa,KAAK,OAAO,CAAC,OAAO,CAAC,CA8ClF"}

package/dist/dispatch-invoke-ref.js

@@ -1,7 +1,8 @@
 import { resolveRefInstance } from "./resolve-ref-instance.js";
 import { getRefIdentity } from "./resource-instance.js";
+import { RuntimeError } from "./types.js";
 /**
- * Resolve a decorator's `invoke:` field to a live invocable and return a thunk
+ * Resolve a decorator's `invoke:` field to a live executable and return a thunk
  * that dispatches it through the traced chokepoint. The field is either a
  * Phase-5-injected instance or a raw `{ kind, name, alias }` ref resolved
  * against the module context. Resolution is eager (fail-fast on a bad ref);
@@ -10,26 +11,48 @@ import { getRefIdentity } from "./resource-instance.js";
  * The thunk's optional second argument seeds the dispatch's {@link InvokeContext}
  * (e.g. a decorator-owned cancellation scope); when omitted the ambient
  * invocation context applies unchanged.
+ *
+ * The target is anything a step's `invoke:` accepts: an instance with `invoke()`
+ * or, run-only, with `run()`. Both go to `invokeResolved`, which calls `run()`
+ * when there is no `invoke()` — so a run-only target is started exactly as a
+ * step starts it, and the inputs it cannot take are dropped there, not here.
  */
 export function resolveInvocableDispatcher(field, ctx, describe) {
+    // An injected instance carries the identity the kernel stamped at Phase 5, so
+    // it is never a declaration — handing one to `ensureKindRef` reads it as an
+    // inline declaration missing its `kind`, a message pointing at nothing the
+    // author wrote.
+    const injected = field !== null && typeof field === "object" ? getRefIdentity(field) : undefined;
+    if (injected && !isExecutableInstance(field)) {
+        throw new RuntimeError("ERR_REF_UNRESOLVED", `${describe()}: 'invoke' references '${injected.name}' (${injected.kind}), which has ` +
+            `neither invoke() nor run() and cannot be dispatched. Reference an invocable or ` +
+            `runnable resource.`);
+    }
     // A `!ref` inside an `x-telo-scope` array is never rewritten by Phase 2.5, so it
     // arrives as the raw sentinel — which has no `name` and would otherwise fail with
     // a message pointing nowhere. `ensureKindRef` is the same rescue `ctx.resolveRef`
     // performs; both resolution paths have to normalize, or a slot works only
     // depending on which one its kind happens to use.
-    const normalized = ctx.ensureKindRef && field !== null && typeof field === "object" && !isInvocableInstance(field)
+    const normalized = ctx.ensureKindRef &&
+        !injected &&
+        field !== null &&
+        typeof field === "object" &&
+        !isExecutableInstance(field)
         ? ctx.ensureKindRef(field)
         : field;
-    const target = resolveRefInstance(normalized, ctx, isInvocableInstance, () => `${describe()}: 'invoke'`, "Telo.Invocable");
+    const target = resolveRefInstance(normalized, ctx, isExecutableInstance, () => `${describe()}: 'invoke'`, "Telo.Executable");
     // Dispatch through the traced chokepoint needs the target's kind+name: from
     // the `!ref` identity the kernel stamped at injection, else from the ref.
     const id = getRefIdentity(target) ?? normalized;
     if (!id || typeof id.kind !== "string" || typeof id.name !== "string") {
-        return (inputs, invokeCtx) => target.invoke(inputs, invokeCtx);
+        return async (inputs, invokeCtx) => typeof target.invoke === "function"
+            ? target.invoke(inputs, invokeCtx)
+            : target.run(invokeCtx);
     }
     const { kind, name } = id;
     return (inputs, invokeCtx) => ctx.invokeResolved(kind, name, target, inputs, invokeCtx);
 }
-function isInvocableInstance(value) {
-    return typeof value?.invoke === "function";
+function isExecutableInstance(value) {
+    const candidate = value;
+    return typeof candidate?.invoke === "function" || typeof candidate?.run === "function";
 }

package/dist/resource-context.d.ts

@@ -331,6 +331,26 @@ export interface ResourceContext extends ControllerContext {
      * access — a module whose files are never read never downloads them.
      */
     resolveModuleFile(relative: string): Promise<string>;
+    /**
+     * Resolve a platform-specific file by the logical `name` a `native:` entry
+     * declares, and return it as a `file://` **URI** — convert with
+     * `fileURLToPath` for an API that takes a path.
+     *
+     * Resolved against the module that declares the controller this resource runs
+     * — the module declaring its kind, or the ancestor a concrete-`extends` kind
+     * inherits its controller from — never the module that declared the resource:
+     * the file ships with the code asking for it. The first entry of that name, in
+     * declaration order, whose platform tuple matches the host wins.
+     *
+     * Rejects with `ERR_NATIVE_FILE_UNAVAILABLE` when the module declares no such
+     * name, when no entry matches the host (naming the host tuple and every tuple
+     * shipped), or when a source checkout's staged file is missing or does not
+     * match its pin. A staged file is never fetched here.
+     *
+     * Asynchronous because a published module's native layer is fetched on first
+     * use.
+     */
+    resolveNativeFile(name: string): Promise<string>;
     /** Load a single module (its own file + `include`d partials). Use this when
      *  you need just the declaring file's manifests. */
     loadModule(url: string, options?: LoadOptions): Promise<ResourceManifest[]>;

package/dist/resource-context.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"resource-context.d.ts","sourceRoot":"","sources":["../src/resource-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,kBAAkB,EAClB,aAAa,EACb,QAAQ,EACR,eAAe,EACf,SAAS,EACV,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAE9D,MAAM,WAAW,WAAW;IAC1B;gFAC4E;IAC5E,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;;4EAGwE;IACxE,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;;4CAIwC;IACxC,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;IAC1B,OAAO,CAAC,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,QAAQ;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,qBAAa,aAAc,YAAW,aAAa;IACjD,OAAO;IAIP,QAAQ;CAGT;AAED,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,MAAM,EAAE,CAAC,CAAC,GAAG;IAAE,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAEhG;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,mBAAmB;IAClC,2DAA2D;IAC3D,GAAG,CAAC,EAAE,aAAa,CAAC;CACrB;AAED,MAAM,WAAW,eAAgB,SAAQ,iBAAiB;IACxD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B;;;;;4EAKwE;IACxE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B;;;;;;;;;;;;;;;;;;OAkBG;IACH,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IACrE;;;;;;;;;;;;;;;OAeG;IACH,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,IAAI,CAAC;IACzC;;;;;;;;;;;;;;;;;;;OAmBG;IACH,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACvD;;iCAE6B;IAC7B,wBAAwB,IAAI,kBAAkB,CAAC;IAC/C;+EAC2E;IAC3E,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B;;;;;;;;;;;;;;;;;;;OAmBG;IACH,QAAQ,CAAC,CAAC,EACR,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,CAAC,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,EACxD,IAAI,CAAC,EAAE,aAAa,GACnB,OAAO,CAAC,CAAC,CAAC,CAAC;IACd;kFAC8E;IAC9E,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,aAAa,GAAG,SAAS,CAAC;IAC3D,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,aAAa,GAAG,SAAS,GAAG,SAAS,CAAC;IACpE;;;mFAG+E;IAC/E,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,EAAE,GAAG,CAAC,EAAE,aAAa,GAAG,SAAS,SAAS,EAAE,CAAC;IAChF;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,cAAc,CAAC,GAAG,CAAC,EAAE,aAAa,GAAG,SAAS,kBAAkB,EAAE,CAAC;IACnE;;;;sCAIkC;IAClC,WAAW,CAAC,IAAI,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,kBAAkB,CAAA;KAAE,GAAG,aAAa,CAAC;IACzE;;;;;2EAKuE;IACvE,WAAW,CAAC,EAAE,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;IAC9C;;;;;kBAKc;IACd,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,SAAS,EAAE,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpF;;;qCAGiC;IACjC,MAAM,CAAC,OAAO,EACZ,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,OAAO,EACf,OAAO,CAAC,EAAE,mBAAmB,GAC5B,OAAO,CAAC,GAAG,CAAC,CAAC;IAChB,cAAc,CAAC,OAAO,EACpB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,OAAO,EACf,GAAG,CAAC,EAAE,aAAa,GAClB,OAAO,CAAC,GAAG,CAAC,CAAC;IAChB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/C,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,eAAe,GAAG,IAAI,CAAC;IACvE,gBAAgB,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI,CAAC;IACtC,iBAAiB,IAAI,iBAAiB,CAAC;IACvC,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,iBAAiB,CAAC;IAChE,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IACnD;;;;;;;;;;;OAWG;IACH,aAAa,CAAC,KAAK,EAAE,GAAG,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1D;kFAC8E;IAC9E,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACtF;;;;;;OAMG;IACH,UAAU,CAAC,CAAC,EACV,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,SAAS,IAAI,CAAC,EAC7C,QAAQ,EAAE,MAAM,MAAM,EACtB,OAAO,CAAC,EAAE,MAAM,GACf,CAAC,CAAC;IACL;;;;;;;;;;;;OAYG;IACH,uBAAuB,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAAC;IACrF,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,GAAG,IAAI,CAAC;IAC9C;;;;;yEAKqE;IACrE,qBAAqB,CAAC,MAAM,EAAE,GAAG,GAAG,aAAa,CAAC;IAClD,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACnD,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAC/C,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;IACzD,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,GAAG,SAAS,CAAC;IACtD,kFAAkF;IAClF,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,GAAG,aAAa,CAAC;IACtF,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,kBAAkB,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACjG,kBAAkB,CAAC,UAAU,EAAE,GAAG,GAAG,IAAI,CAAC;IAC1C;yDACqD;IACrD,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;IAC3F;;;;OAIG;IACH,mBAAmB,IAAI,gBAAgB,GAAG,SAAS,CAAC;IACpD;;;;;;;;;;;OAWG;IACH,WAAW,IAAI,MAAM,GAAG,SAAS,CAAC;IAClC;;;;iEAI6D;IAC7D,cAAc,IAAI,MAAM,GAAG,SAAS,CAAC;IACrC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACrD;wDACoD;IACpD,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAC5E;;;sBAGkB;IAClB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;IACxD;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,cAAc,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC;CACxC"}
+{"version":3,"file":"resource-context.d.ts","sourceRoot":"","sources":["../src/resource-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,kBAAkB,EAClB,aAAa,EACb,QAAQ,EACR,eAAe,EACf,SAAS,EACV,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAE9D,MAAM,WAAW,WAAW;IAC1B;gFAC4E;IAC5E,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;;4EAGwE;IACxE,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;;4CAIwC;IACxC,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;IAC1B,OAAO,CAAC,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,QAAQ;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,qBAAa,aAAc,YAAW,aAAa;IACjD,OAAO;IAIP,QAAQ;CAGT;AAED,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,MAAM,EAAE,CAAC,CAAC,GAAG;IAAE,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAEhG;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,mBAAmB;IAClC,2DAA2D;IAC3D,GAAG,CAAC,EAAE,aAAa,CAAC;CACrB;AAED,MAAM,WAAW,eAAgB,SAAQ,iBAAiB;IACxD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B;;;;;4EAKwE;IACxE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B;;;;;;;;;;;;;;;;;;OAkBG;IACH,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IACrE;;;;;;;;;;;;;;;OAeG;IACH,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,IAAI,CAAC;IACzC;;;;;;;;;;;;;;;;;;;OAmBG;IACH,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACvD;;iCAE6B;IAC7B,wBAAwB,IAAI,kBAAkB,CAAC;IAC/C;+EAC2E;IAC3E,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B;;;;;;;;;;;;;;;;;;;OAmBG;IACH,QAAQ,CAAC,CAAC,EACR,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,CAAC,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,EACxD,IAAI,CAAC,EAAE,aAAa,GACnB,OAAO,CAAC,CAAC,CAAC,CAAC;IACd;kFAC8E;IAC9E,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,aAAa,GAAG,SAAS,CAAC;IAC3D,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,aAAa,GAAG,SAAS,GAAG,SAAS,CAAC;IACpE;;;mFAG+E;IAC/E,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,EAAE,GAAG,CAAC,EAAE,aAAa,GAAG,SAAS,SAAS,EAAE,CAAC;IAChF;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,cAAc,CAAC,GAAG,CAAC,EAAE,aAAa,GAAG,SAAS,kBAAkB,EAAE,CAAC;IACnE;;;;sCAIkC;IAClC,WAAW,CAAC,IAAI,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,kBAAkB,CAAA;KAAE,GAAG,aAAa,CAAC;IACzE;;;;;2EAKuE;IACvE,WAAW,CAAC,EAAE,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;IAC9C;;;;;kBAKc;IACd,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,SAAS,EAAE,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpF;;;qCAGiC;IACjC,MAAM,CAAC,OAAO,EACZ,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,OAAO,EACf,OAAO,CAAC,EAAE,mBAAmB,GAC5B,OAAO,CAAC,GAAG,CAAC,CAAC;IAChB,cAAc,CAAC,OAAO,EACpB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,OAAO,EACf,GAAG,CAAC,EAAE,aAAa,GAClB,OAAO,CAAC,GAAG,CAAC,CAAC;IAChB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/C,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,eAAe,GAAG,IAAI,CAAC;IACvE,gBAAgB,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI,CAAC;IACtC,iBAAiB,IAAI,iBAAiB,CAAC;IACvC,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,iBAAiB,CAAC;IAChE,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IACnD;;;;;;;;;;;OAWG;IACH,aAAa,CAAC,KAAK,EAAE,GAAG,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1D;kFAC8E;IAC9E,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACtF;;;;;;OAMG;IACH,UAAU,CAAC,CAAC,EACV,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,SAAS,IAAI,CAAC,EAC7C,QAAQ,EAAE,MAAM,MAAM,EACtB,OAAO,CAAC,EAAE,MAAM,GACf,CAAC,CAAC;IACL;;;;;;;;;;;;OAYG;IACH,uBAAuB,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAAC;IACrF,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,GAAG,IAAI,CAAC;IAC9C;;;;;yEAKqE;IACrE,qBAAqB,CAAC,MAAM,EAAE,GAAG,GAAG,aAAa,CAAC;IAClD,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACnD,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAC/C,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;IACzD,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,GAAG,SAAS,CAAC;IACtD,kFAAkF;IAClF,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,SAAS,GAAG,aAAa,CAAC;IACtF,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,kBAAkB,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACjG,kBAAkB,CAAC,UAAU,EAAE,GAAG,GAAG,IAAI,CAAC;IAC1C;yDACqD;IACrD,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;IAC3F;;;;OAIG;IACH,mBAAmB,IAAI,gBAAgB,GAAG,SAAS,CAAC;IACpD;;;;;;;;;;;OAWG;IACH,WAAW,IAAI,MAAM,GAAG,SAAS,CAAC;IAClC;;;;iEAI6D;IAC7D,cAAc,IAAI,MAAM,GAAG,SAAS,CAAC;IACrC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACrD;;;;;;;;;;;;;;;;;;OAkBG;IACH,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACjD;wDACoD;IACpD,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAC5E;;;sBAGkB;IAClB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;IACxD;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,cAAc,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC;CACxC"}

package/dist/step-engine.d.ts

@@ -100,7 +100,10 @@ export interface SequenceError {
  * casing subtly wrong, or collide with the fourth.
  */
 export interface StepBodyOwner {
-    /** The owning kind's suffix (`Sequence`, `Iteration`, `Transaction`). */
+    /** The owning kind's `metadata.name`, exactly (`Sequence`, `Iteration`,
+     *  `Workflow`). The load pass derives the same value from the definition, so
+     *  any other string gives a loaded body's targets different names — and a
+     *  target's name is its durable identity. */
     kind: string;
     /** The owning resource's `metadata.name`. */
     resourceName: string;
@@ -111,10 +114,17 @@ export interface StepBodyOwner {
  *  `previous`, …) through `extraCtx`; the engine knows none of them. */
 export declare class StepEngine {
     private readonly ctx;
-    /** Prefix for generated inline-invoke resource names; unique per host resource
-     *  (`SequenceMySeq`, `LoopPollUntilReady`). */
-    private readonly namePrefix;
+    private readonly owner;
     constructor(ctx: StepEngineContext, owner: StepBodyOwner);
+    /**
+     * Turn every inline `invoke:` in a step list into a registered, named resource.
+     *
+     * A manifest reaches a controller with every inline step target already
+     * extracted at load under {@link inlineStepTargetName}, so there each target is
+     * a `{kind, name}` reference and `ensureKindRef` returns it unchanged. What this
+     * still names is a body assembled at runtime — a template body's children and
+     * steps built in code — which never passes through load.
+     */
     resolveInvokes(stepList: Step[], path?: string[]): void;
     private inlineInvokeResourceName;
     /**
@@ -163,8 +173,54 @@ export declare class StepEngine {
     private executeThrowStep;
     private executeTryStep;
 }
+/**
+ * The name an inline step target is registered under: the owner's kind and name,
+ * the step's path through the body (`["steps", "1", "then", "0"]`), then the
+ * step's own name, each PascalCased and concatenated.
+ *
+ * ONE rule, because the name is durable identity — a journal records a step's
+ * target by kind, name and module, and a replay that reaches a different name
+ * refuses the run. The load pass extracts inline targets under it and
+ * {@link StepEngine.resolveInvokes} names runtime-assembled ones under it; two
+ * spellings would eventually disagree.
+ *
+ * Only the alphanumeric runs of each segment survive, so the result does not
+ * depend on how a caller split the path at punctuation (a case key `v1.0` and
+ * the two segments `v1`, `0` name the same step).
+ */
+export declare function inlineStepTargetName(owner: StepBodyOwner, stepPath: readonly string[], stepName: string): string;
 /** Normalize any caught failure to the `error` shape a `catch:` branch reads.
  *  Shared with the composers' whole-operation `catches:`, so one caught failure
  *  has one shape wherever it is read. */
 export declare function toSequenceError(err: unknown, stepName: string): SequenceError;
+/**
+ * Where a step list's journal keys hang from.
+ *
+ * At the top of a durable run there is no ambient path and the base is `steps`.
+ * Inside one, it is the path of the step that dispatched this body — so a nested
+ * sequence's `work` becomes `steps/importAll/work` rather than a second
+ * `steps/work`, and two nested bodies can no longer collide.
+ *
+ * The dispatching step's path is used directly rather than with a `steps`
+ * segment appended: the parent path already names one dispatch site, and every
+ * other segment the grammar produces (`then`, `do[2]`, `cases/x`) is distinct
+ * from a step name, so nothing else can generate the same key.
+ */
+export declare function baseStepPath(invokeCtx?: InvokeContext): string;
+/**
+ * The journal prefix for ONE turn of a composer that runs its body repeatedly —
+ * an iteration's item, a loop's turn, a projection's element.
+ *
+ * A composer that runs its body N times and journals every turn under the SAME
+ * prefix is not merely imprecise: the journal takes the first writer at a key,
+ * so turns 2..N replay turn 1's recorded outcome instead of executing. The work
+ * is silently skipped and the run still completes. The engine's own `while`
+ * already qualifies each turn this way (`stepPath(path, "do", turn)`); a
+ * controller driving the body itself has to do the same, and this is that
+ * prefix so the three of them cannot spell it differently.
+ *
+ * The index is the turn's position, which is stable across a replay because the
+ * collection it indexes is derived from values the run has already journaled.
+ */
+export declare function turnStepPath(invokeCtx: InvokeContext | undefined, turn: number): string;
 //# sourceMappingURL=step-engine.d.ts.map

package/dist/step-engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"step-engine.d.ts","sourceRoot":"","sources":["../src/step-engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAUvD,OAAO,EAAqB,KAAK,UAAU,EAAE,KAAK,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC9F,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAEtD;;;;;;;;GAQG;AACH,MAAM,WAAW,iBAAkB,SAAQ,iBAAiB;IAC1D,aAAa,CAAC,KAAK,EAAE,GAAG,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3D;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,IAAI,EAAE,CAAC;IACb,MAAM,CAAC,EAAE,KAAK,CAAC;QACb,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,IAAI,EAAE,CAAC;KACd,CAAC,CAAC;IACH,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC;CACf;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,EAAE,EAAE,IAAI,EAAE,CAAC;CACZ;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9B,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,IAAI,EAAE,CAAC;IACZ,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;IACf,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE;QACL,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,IAAI,CAAC,EAAE,OAAO,CAAC;KAChB,CAAC;CACH;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,MAAM,IAAI,GACZ,UAAU,GACV,MAAM,GACN,SAAS,GACT,UAAU,GACV,OAAO,GACP,SAAS,GACT,SAAS,CAAC;AAEd;;;4DAG4D;AAC5D,eAAO,MAAM,gBAAgB,mBAAmB,CAAC;AAEjD,gEAAgE;AAChE,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd;AAwBD;;;;;;;;;;GAUG;AACH,MAAM,WAAW,aAAa;IAC5B,yEAAyE;IACzE,IAAI,EAAE,MAAM,CAAC;IACb,6CAA6C;IAC7C,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;wEAGwE;AACxE,qBAAa,UAAU;IAMnB,OAAO,CAAC,QAAQ,CAAC,GAAG;IALtB;mDAC+C;IAC/C,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;gBAGjB,GAAG,EAAE,iBAAiB,EACvC,KAAK,EAAE,aAAa;IAKtB,cAAc,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,GAAE,MAAM,EAAc,GAAG,IAAI;IAoClE,OAAO,CAAC,wBAAwB;IAMhC;;;;;;;OAOG;IACG,YAAY,CAChB,QAAQ,EAAE,IAAI,EAAE,EAChB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,KAAK,EAAE,YAAY,GAAG,SAAS,EAC/B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjC,SAAS,CAAC,EAAE,aAAa,EACzB,IAAI,CAAC,EAAE,MAAM,GACZ,OAAO,CAAC,IAAI,CAAC;IAOhB;;;;;;;;OAQG;IACH,OAAO,CAAC,MAAM;IAkBd;;8DAE0D;IAC1D,OAAO,CAAC,MAAM;IAId;;;;;;;;;OASG;YACW,MAAM;YAWN,WAAW;YA6BX,aAAa;YAwCb,gBAAgB;YA2BhB,iBAAiB;IAoC/B;;;gEAG4D;YAC9C,gBAAgB;IAkC9B,OAAO,CAAC,gBAAgB;YA0BV,cAAc;CA4F7B;AAcD;;yCAEyC;AACzC,wBAAgB,eAAe,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,GAAG,aAAa,CAU7E"}
+{"version":3,"file":"step-engine.d.ts","sourceRoot":"","sources":["../src/step-engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAUvD,OAAO,EAAqB,KAAK,UAAU,EAAE,KAAK,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC9F,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAEtD;;;;;;;;GAQG;AACH,MAAM,WAAW,iBAAkB,SAAQ,iBAAiB;IAC1D,aAAa,CAAC,KAAK,EAAE,GAAG,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3D;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,IAAI,EAAE,CAAC;IACb,MAAM,CAAC,EAAE,KAAK,CAAC;QACb,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,IAAI,EAAE,CAAC;KACd,CAAC,CAAC;IACH,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC;CACf;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,EAAE,EAAE,IAAI,EAAE,CAAC;CACZ;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9B,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,IAAI,EAAE,CAAC;IACZ,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;IACf,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE;QACL,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,IAAI,CAAC,EAAE,OAAO,CAAC;KAChB,CAAC;CACH;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,MAAM,IAAI,GACZ,UAAU,GACV,MAAM,GACN,SAAS,GACT,UAAU,GACV,OAAO,GACP,SAAS,GACT,SAAS,CAAC;AAEd;;;4DAG4D;AAC5D,eAAO,MAAM,gBAAgB,mBAAmB,CAAC;AAEjD,gEAAgE;AAChE,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd;AAwBD;;;;;;;;;;GAUG;AACH,MAAM,WAAW,aAAa;IAC5B;;;iDAG6C;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb,6CAA6C;IAC7C,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;wEAGwE;AACxE,qBAAa,UAAU;IAEnB,OAAO,CAAC,QAAQ,CAAC,GAAG;IACpB,OAAO,CAAC,QAAQ,CAAC,KAAK;gBADL,GAAG,EAAE,iBAAiB,EACtB,KAAK,EAAE,aAAa;IAGvC;;;;;;;;OAQG;IACH,cAAc,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,GAAE,MAAM,EAAc,GAAG,IAAI;IAoClE,OAAO,CAAC,wBAAwB;IAIhC;;;;;;;OAOG;IACG,YAAY,CAChB,QAAQ,EAAE,IAAI,EAAE,EAChB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,KAAK,EAAE,YAAY,GAAG,SAAS,EAC/B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjC,SAAS,CAAC,EAAE,aAAa,EACzB,IAAI,CAAC,EAAE,MAAM,GACZ,OAAO,CAAC,IAAI,CAAC;IAOhB;;;;;;;;OAQG;IACH,OAAO,CAAC,MAAM;IAkBd;;8DAE0D;IAC1D,OAAO,CAAC,MAAM;IAId;;;;;;;;;OASG;YACW,MAAM;YAWN,WAAW;YA6BX,aAAa;YAwCb,gBAAgB;YA2BhB,iBAAiB;IAoC/B;;;gEAG4D;YAC9C,gBAAgB;IAkC9B,OAAO,CAAC,gBAAgB;YA0BV,cAAc;CA4F7B;AAGD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,aAAa,EACpB,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,QAAQ,EAAE,MAAM,GACf,MAAM,CAGR;AAaD;;yCAEyC;AACzC,wBAAgB,eAAe,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,GAAG,aAAa,CAU7E;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAAC,SAAS,CAAC,EAAE,aAAa,GAAG,MAAM,CAE9D;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,aAAa,GAAG,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAEvF"}

package/dist/step-engine.js

@@ -56,13 +56,20 @@ function isValueStep(step) {
  *  `previous`, …) through `extraCtx`; the engine knows none of them. */
 export class StepEngine {
     ctx;
-    /** Prefix for generated inline-invoke resource names; unique per host resource
-     *  (`SequenceMySeq`, `LoopPollUntilReady`). */
-    namePrefix;
+    owner;
     constructor(ctx, owner) {
         this.ctx = ctx;
-        this.namePrefix = `${pascalCase(owner.kind)}${pascalCase(owner.resourceName)}`;
+        this.owner = owner;
     }
+    /**
+     * Turn every inline `invoke:` in a step list into a registered, named resource.
+     *
+     * A manifest reaches a controller with every inline step target already
+     * extracted at load under {@link inlineStepTargetName}, so there each target is
+     * a `{kind, name}` reference and `ensureKindRef` returns it unchanged. What this
+     * still names is a body assembled at runtime — a template body's children and
+     * steps built in code — which never passes through load.
+     */
     resolveInvokes(stepList, path = ["steps"]) {
         for (const [index, step] of stepList.entries()) {
             const stepPath = [...path, String(index)];
@@ -101,9 +108,7 @@ export class StepEngine {
         }
     }
     inlineInvokeResourceName(stepName, stepPath) {
-        const path = stepPath.map(pascalCase).join("");
-        const step = pascalCase(stepName);
-        return `${this.namePrefix}${path}${step}`;
+        return inlineStepTargetName(this.owner, stepPath, stepName);
     }
     /**
      * @param path Journal key prefix for this list — see {@link stepPath}. A
@@ -323,9 +328,28 @@ export class StepEngine {
         }
     }
 }
-/** The naming recipe for a generated inline-invoke resource. Module-private: it
- *  is the engine's own, and a bare `pascalCase` on the SDK's flat surface is a
- *  utility nobody should be reimplementing a name from. */
+/**
+ * The name an inline step target is registered under: the owner's kind and name,
+ * the step's path through the body (`["steps", "1", "then", "0"]`), then the
+ * step's own name, each PascalCased and concatenated.
+ *
+ * ONE rule, because the name is durable identity — a journal records a step's
+ * target by kind, name and module, and a replay that reaches a different name
+ * refuses the run. The load pass extracts inline targets under it and
+ * {@link StepEngine.resolveInvokes} names runtime-assembled ones under it; two
+ * spellings would eventually disagree.
+ *
+ * Only the alphanumeric runs of each segment survive, so the result does not
+ * depend on how a caller split the path at punctuation (a case key `v1.0` and
+ * the two segments `v1`, `0` name the same step).
+ */
+export function inlineStepTargetName(owner, stepPath, stepName) {
+    const path = stepPath.map(pascalCase).join("");
+    return `${pascalCase(owner.kind)}${pascalCase(owner.resourceName)}${path}${pascalCase(stepName)}`;
+}
+/** The casing half of {@link inlineStepTargetName}. Module-private: a bare
+ *  `pascalCase` on the SDK's flat surface is a utility nobody should be
+ *  reimplementing a name from. */
 function pascalCase(s) {
     return s
         .split(/[^a-zA-Z0-9]+/)
@@ -360,6 +384,24 @@ export function toSequenceError(err, stepName) {
  * other segment the grammar produces (`then`, `do[2]`, `cases/x`) is distinct
  * from a step name, so nothing else can generate the same key.
  */
-function baseStepPath(invokeCtx) {
+export function baseStepPath(invokeCtx) {
     return invokeCtx?.durablePath ?? "steps";
 }
+/**
+ * The journal prefix for ONE turn of a composer that runs its body repeatedly —
+ * an iteration's item, a loop's turn, a projection's element.
+ *
+ * A composer that runs its body N times and journals every turn under the SAME
+ * prefix is not merely imprecise: the journal takes the first writer at a key,
+ * so turns 2..N replay turn 1's recorded outcome instead of executing. The work
+ * is silently skipped and the run still completes. The engine's own `while`
+ * already qualifies each turn this way (`stepPath(path, "do", turn)`); a
+ * controller driving the body itself has to do the same, and this is that
+ * prefix so the three of them cannot spell it differently.
+ *
+ * The index is the turn's position, which is stable across a replay because the
+ * collection it indexes is derived from values the run has already journaled.
+ */
+export function turnStepPath(invokeCtx, turn) {
+    return stepPath(baseStepPath(invokeCtx), turn);
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@telorun/sdk",
-  "version": "0.86.0",
+  "version": "0.90.0",
   "description": "Telo SDK - Public API for Telo module authors.",
   "keywords": [
     "telo",

package/src/dispatch-invoke-ref.ts

@@ -1,9 +1,11 @@
 import type { InvokeContext } from "./cancellation.js";
 import type { Invocable } from "./capabilities/invokable.js";
+import type { Runnable } from "./capabilities/runnable.js";
 import type { ModuleContext } from "./module-context.js";
 import type { KindRef } from "./ref.js";
 import { resolveRefInstance, type RefResolveContext } from "./resolve-ref-instance.js";
 import { getRefIdentity, type ResourceInstance } from "./resource-instance.js";
+import { RuntimeError } from "./types.js";
 
 /** The context a decorator kind composes to dispatch its wrapped target. */
 export interface DispatchContext extends RefResolveContext {
@@ -25,8 +27,10 @@ export interface DispatchContext extends RefResolveContext {
   ensureKindRef?(value: unknown): KindRef;
 }
 
+type ExecutableInstance = ResourceInstance & (Invocable | Runnable);
+
 /**
- * Resolve a decorator's `invoke:` field to a live invocable and return a thunk
+ * Resolve a decorator's `invoke:` field to a live executable and return a thunk
  * that dispatches it through the traced chokepoint. The field is either a
  * Phase-5-injected instance or a raw `{ kind, name, alias }` ref resolved
  * against the module context. Resolution is eager (fail-fast on a bad ref);
@@ -35,38 +39,65 @@ export interface DispatchContext extends RefResolveContext {
  * The thunk's optional second argument seeds the dispatch's {@link InvokeContext}
  * (e.g. a decorator-owned cancellation scope); when omitted the ambient
  * invocation context applies unchanged.
+ *
+ * The target is anything a step's `invoke:` accepts: an instance with `invoke()`
+ * or, run-only, with `run()`. Both go to `invokeResolved`, which calls `run()`
+ * when there is no `invoke()` — so a run-only target is started exactly as a
+ * step starts it, and the inputs it cannot take are dropped there, not here.
  */
 export function resolveInvocableDispatcher(
   field: unknown,
   ctx: DispatchContext,
   describe: () => string,
 ): (inputs: Record<string, unknown>, invokeCtx?: InvokeContext) => Promise<unknown> {
+  // An injected instance carries the identity the kernel stamped at Phase 5, so
+  // it is never a declaration — handing one to `ensureKindRef` reads it as an
+  // inline declaration missing its `kind`, a message pointing at nothing the
+  // author wrote.
+  const injected =
+    field !== null && typeof field === "object" ? getRefIdentity(field) : undefined;
+  if (injected && !isExecutableInstance(field)) {
+    throw new RuntimeError(
+      "ERR_REF_UNRESOLVED",
+      `${describe()}: 'invoke' references '${injected.name}' (${injected.kind}), which has ` +
+        `neither invoke() nor run() and cannot be dispatched. Reference an invocable or ` +
+        `runnable resource.`,
+    );
+  }
   // A `!ref` inside an `x-telo-scope` array is never rewritten by Phase 2.5, so it
   // arrives as the raw sentinel — which has no `name` and would otherwise fail with
   // a message pointing nowhere. `ensureKindRef` is the same rescue `ctx.resolveRef`
   // performs; both resolution paths have to normalize, or a slot works only
   // depending on which one its kind happens to use.
   const normalized =
-    ctx.ensureKindRef && field !== null && typeof field === "object" && !isInvocableInstance(field)
+    ctx.ensureKindRef &&
+    !injected &&
+    field !== null &&
+    typeof field === "object" &&
+    !isExecutableInstance(field)
       ? ctx.ensureKindRef(field)
       : field;
   const target = resolveRefInstance(
     normalized,
     ctx,
-    isInvocableInstance,
+    isExecutableInstance,
     () => `${describe()}: 'invoke'`,
-    "Telo.Invocable",
+    "Telo.Executable",
   );
   // Dispatch through the traced chokepoint needs the target's kind+name: from
   // the `!ref` identity the kernel stamped at injection, else from the ref.
   const id = getRefIdentity(target as object) ?? (normalized as Partial<KindRef> | undefined);
   if (!id || typeof id.kind !== "string" || typeof id.name !== "string") {
-    return (inputs, invokeCtx) => target.invoke(inputs, invokeCtx);
+    return async (inputs, invokeCtx) =>
+      typeof (target as Partial<Invocable>).invoke === "function"
+        ? (target as Invocable).invoke(inputs, invokeCtx)
+        : (target as Runnable).run(invokeCtx);
   }
   const { kind, name } = id;
   return (inputs, invokeCtx) => ctx.invokeResolved(kind, name, target, inputs, invokeCtx);
 }
 
-function isInvocableInstance(value: unknown): value is ResourceInstance & Invocable {
-  return typeof (value as Invocable | undefined)?.invoke === "function";
+function isExecutableInstance(value: unknown): value is ExecutableInstance {
+  const candidate = value as Partial<Invocable & Runnable> | undefined;
+  return typeof candidate?.invoke === "function" || typeof candidate?.run === "function";
 }

package/src/resource-context.ts

@@ -362,6 +362,26 @@ export interface ResourceContext extends ControllerContext {
    * access — a module whose files are never read never downloads them.
    */
   resolveModuleFile(relative: string): Promise<string>;
+  /**
+   * Resolve a platform-specific file by the logical `name` a `native:` entry
+   * declares, and return it as a `file://` **URI** — convert with
+   * `fileURLToPath` for an API that takes a path.
+   *
+   * Resolved against the module that declares the controller this resource runs
+   * — the module declaring its kind, or the ancestor a concrete-`extends` kind
+   * inherits its controller from — never the module that declared the resource:
+   * the file ships with the code asking for it. The first entry of that name, in
+   * declaration order, whose platform tuple matches the host wins.
+   *
+   * Rejects with `ERR_NATIVE_FILE_UNAVAILABLE` when the module declares no such
+   * name, when no entry matches the host (naming the host tuple and every tuple
+   * shipped), or when a source checkout's staged file is missing or does not
+   * match its pin. A staged file is never fetched here.
+   *
+   * Asynchronous because a published module's native layer is fetched on first
+   * use.
+   */
+  resolveNativeFile(name: string): Promise<string>;
   /** Load a single module (its own file + `include`d partials). Use this when
    *  you need just the declaring file's manifests. */
   loadModule(url: string, options?: LoadOptions): Promise<ResourceManifest[]>;

package/src/step-engine.ts

@@ -151,7 +151,10 @@ function isValueStep(step: Step): step is ValueStep {
  * casing subtly wrong, or collide with the fourth.
  */
 export interface StepBodyOwner {
-  /** The owning kind's suffix (`Sequence`, `Iteration`, `Transaction`). */
+  /** The owning kind's `metadata.name`, exactly (`Sequence`, `Iteration`,
+   *  `Workflow`). The load pass derives the same value from the definition, so
+   *  any other string gives a loaded body's targets different names — and a
+   *  target's name is its durable identity. */
   kind: string;
   /** The owning resource's `metadata.name`. */
   resourceName: string;
@@ -162,17 +165,20 @@ export interface StepBodyOwner {
  *  kind injects its own scope variables (`item`, `index`, `iteration`,
  *  `previous`, …) through `extraCtx`; the engine knows none of them. */
 export class StepEngine {
-  /** Prefix for generated inline-invoke resource names; unique per host resource
-   *  (`SequenceMySeq`, `LoopPollUntilReady`). */
-  private readonly namePrefix: string;
-
   constructor(
     private readonly ctx: StepEngineContext,
-    owner: StepBodyOwner,
-  ) {
-    this.namePrefix = `${pascalCase(owner.kind)}${pascalCase(owner.resourceName)}`;
-  }
+    private readonly owner: StepBodyOwner,
+  ) {}
 
+  /**
+   * Turn every inline `invoke:` in a step list into a registered, named resource.
+   *
+   * A manifest reaches a controller with every inline step target already
+   * extracted at load under {@link inlineStepTargetName}, so there each target is
+   * a `{kind, name}` reference and `ensureKindRef` returns it unchanged. What this
+   * still names is a body assembled at runtime — a template body's children and
+   * steps built in code — which never passes through load.
+   */
   resolveInvokes(stepList: Step[], path: string[] = ["steps"]): void {
     for (const [index, step] of stepList.entries()) {
       const stepPath = [...path, String(index)];
@@ -210,9 +216,7 @@ export class StepEngine {
   }
 
   private inlineInvokeResourceName(stepName: string, stepPath: string[]): string {
-    const path = stepPath.map(pascalCase).join("");
-    const step = pascalCase(stepName);
-    return `${this.namePrefix}${path}${step}`;
+    return inlineStepTargetName(this.owner, stepPath, stepName);
   }
 
   /**
@@ -583,9 +587,33 @@ export class StepEngine {
 }
 
 
-/** The naming recipe for a generated inline-invoke resource. Module-private: it
- *  is the engine's own, and a bare `pascalCase` on the SDK's flat surface is a
- *  utility nobody should be reimplementing a name from. */
+/**
+ * The name an inline step target is registered under: the owner's kind and name,
+ * the step's path through the body (`["steps", "1", "then", "0"]`), then the
+ * step's own name, each PascalCased and concatenated.
+ *
+ * ONE rule, because the name is durable identity — a journal records a step's
+ * target by kind, name and module, and a replay that reaches a different name
+ * refuses the run. The load pass extracts inline targets under it and
+ * {@link StepEngine.resolveInvokes} names runtime-assembled ones under it; two
+ * spellings would eventually disagree.
+ *
+ * Only the alphanumeric runs of each segment survive, so the result does not
+ * depend on how a caller split the path at punctuation (a case key `v1.0` and
+ * the two segments `v1`, `0` name the same step).
+ */
+export function inlineStepTargetName(
+  owner: StepBodyOwner,
+  stepPath: readonly string[],
+  stepName: string,
+): string {
+  const path = stepPath.map(pascalCase).join("");
+  return `${pascalCase(owner.kind)}${pascalCase(owner.resourceName)}${path}${pascalCase(stepName)}`;
+}
+
+/** The casing half of {@link inlineStepTargetName}. Module-private: a bare
+ *  `pascalCase` on the SDK's flat surface is a utility nobody should be
+ *  reimplementing a name from. */
 function pascalCase(s: string): string {
   return s
     .split(/[^a-zA-Z0-9]+/)
@@ -622,6 +650,25 @@ export function toSequenceError(err: unknown, stepName: string): SequenceError {
  * other segment the grammar produces (`then`, `do[2]`, `cases/x`) is distinct
  * from a step name, so nothing else can generate the same key.
  */
-function baseStepPath(invokeCtx?: InvokeContext): string {
+export function baseStepPath(invokeCtx?: InvokeContext): string {
   return invokeCtx?.durablePath ?? "steps";
 }
+
+/**
+ * The journal prefix for ONE turn of a composer that runs its body repeatedly —
+ * an iteration's item, a loop's turn, a projection's element.
+ *
+ * A composer that runs its body N times and journals every turn under the SAME
+ * prefix is not merely imprecise: the journal takes the first writer at a key,
+ * so turns 2..N replay turn 1's recorded outcome instead of executing. The work
+ * is silently skipped and the run still completes. The engine's own `while`
+ * already qualifies each turn this way (`stepPath(path, "do", turn)`); a
+ * controller driving the body itself has to do the same, and this is that
+ * prefix so the three of them cannot spell it differently.
+ *
+ * The index is the turn's position, which is stable across a replay because the
+ * collection it indexes is derived from values the run has already journaled.
+ */
+export function turnStepPath(invokeCtx: InvokeContext | undefined, turn: number): string {
+  return stepPath(baseStepPath(invokeCtx), turn);
+}