@telorun/sdk 0.36.0 → 0.41.0

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

@@ -1,8 +1,9 @@
+import type { InvokeContext } from "./cancellation.js";
 import type { ModuleContext } from "./module-context.js";
 import { type ResourceInstance } from "./resource-instance.js";
 /** The context a decorator kind composes to dispatch its wrapped target. */
 export interface DispatchContext {
-    invokeResolved<TInputs>(kind: string, name: string, instance: ResourceInstance, inputs: TInputs): Promise<unknown>;
+    invokeResolved<TInputs>(kind: string, name: string, instance: ResourceInstance, inputs: TInputs, ctx?: InvokeContext): Promise<unknown>;
     readonly moduleContext: ModuleContext;
 }
 /**
@@ -12,6 +13,9 @@ export interface DispatchContext {
  * against the module context. Resolution is eager (fail-fast on a bad ref);
  * dispatch is deferred, so a caller can run it synchronously (Cache.View) or
  * detached (Run.Detach). `describe` labels the error with the owning resource.
+ * 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.
  */
-export declare function resolveInvocableDispatcher(field: unknown, ctx: DispatchContext, describe: () => string): (inputs: Record<string, unknown>) => Promise<unknown>;
+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":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAkB,KAAK,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE/E,4EAA4E;AAC5E,MAAM,WAAW,eAAe;IAC9B,cAAc,CAAC,OAAO,EACpB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,OAAO,GACd,OAAO,CAAC,OAAO,CAAC,CAAC;IACpB,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;CACvC;AAED;;;;;;;GAOG;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,KAAK,OAAO,CAAC,OAAO,CAAC,CAoBvD"}
+{"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,EAAkB,KAAK,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE/E,4EAA4E;AAC5E,MAAM,WAAW,eAAe;IAC9B,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;CACvC;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,CAsBlF"}

package/dist/dispatch-invoke-ref.js

@@ -6,12 +6,17 @@ import { getRefIdentity } from "./resource-instance.js";
  * against the module context. Resolution is eager (fail-fast on a bad ref);
  * dispatch is deferred, so a caller can run it synchronously (Cache.View) or
  * detached (Run.Detach). `describe` labels the error with the owning resource.
+ * 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.
  */
 export function resolveInvocableDispatcher(field, ctx, describe) {
     if (field && typeof field.invoke === "function") {
         const instance = field;
         const id = getRefIdentity(field);
-        return (inputs) => id ? ctx.invokeResolved(id.kind, id.name, instance, inputs) : instance.invoke(inputs);
+        return (inputs, invokeCtx) => id
+            ? ctx.invokeResolved(id.kind, id.name, instance, inputs, invokeCtx)
+            : instance.invoke(inputs, invokeCtx);
     }
     const ref = field;
     if (!ref || typeof ref.name !== "string") {
@@ -23,5 +28,5 @@ export function resolveInvocableDispatcher(field, ctx, describe) {
     if (!resolved || typeof resolved.invoke !== "function") {
         throw new Error(`${describe()}: 'invoke' reference '${ref.name}' did not resolve to an invocable.`);
     }
-    return (inputs) => ctx.invokeResolved(ref.kind, ref.name, resolved, inputs);
+    return (inputs, invokeCtx) => ctx.invokeResolved(ref.kind, ref.name, resolved, inputs, invokeCtx);
 }

package/dist/evaluation-context.d.ts

@@ -54,6 +54,15 @@ export type InstanceFactory = (context: EvaluationContext, resource: ResourceMan
 export type PreInitHook = (resource: ResourceManifest, getInstance: (name: string, alias?: string) => ResourceInstance | undefined, isPending?: (name: string) => boolean) => void;
 /** Canonical key for a resource instance: "<module>.<kind>.<name>" */
 export declare function resourceKey(r: ResourceManifest): string;
+/** The resource that owns a spawned child context — the parent in the resource
+ *  topology. `id` is the owner's full hierarchical id (`<owner.id>/<kind>.<name>`,
+ *  or just `<kind>.<name>` at the top level), so a child's own id qualifies under
+ *  it and stays unique across instances of the same templated kind. */
+export type ResourceOwner = {
+    kind: string;
+    name: string;
+    id: string;
+};
 /**
  * Public contract for the base evaluation context.
  *
@@ -78,6 +87,18 @@ export interface EvaluationContext {
     /** Per-kernel invocation tracer. Set by the kernel on the root context and
      *  propagated through `spawnChild`; drives invocation-id minting in `invoke`. */
     tracer?: Tracer;
+    /** The resource that spawned this context's resources, if any. A template
+     *  controller stamps it on the child context it registers its `resources:`
+     *  into, so the lifecycle/dispatch events those children emit carry the owning
+     *  resource — letting a debug consumer nest them under their parent and keep
+     *  two instances of the same templated kind from colliding by name. `id` is the
+     *  owner's full hierarchical id (`<owner.id>/<kind>.<name>`); undefined on a
+     *  context whose resources are top-level. */
+    owner?: ResourceOwner;
+    /** The id prefix to prepend to a resource created in this context:
+     *  `owner ? owner.id + "/" : ""`. A controller that spawns sub-resources reads
+     *  it (via {@link ResourceContext.ownerPrefix}) to compose their hierarchical ids. */
+    readonly ownerPrefix: string;
     readonly createInstance: InstanceFactory;
     readonly context: Record<string, unknown>;
     readonly secretValues: Set<string>;

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

@@ -1 +1 @@
-{"version":3,"file":"evaluation-context.d.ts","sourceRoot":"","sources":["../src/evaluation-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAC5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAErD,MAAM,MAAM,SAAS,GAAG,CACtB,KAAK,EAAE,MAAM,EACb,OAAO,CAAC,EAAE,GAAG,EACb,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,KAC3B,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;AAE1B;;;;GAIG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,4EAA4E;IAC5E,IAAI,IAAI,MAAM,CAAC;IACf;iEAC6D;IAC7D,UAAU,IAAI,MAAM,CAAC;CACtB;AAED,qEAAqE;AACrE,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,WAAW,GAAG,aAAa,GAAG,UAAU,GAAG,UAAU,CAAC;AAE/F;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,GAAG,EAAE,GAAG,CAAC;IAKT,QAAQ,EAAE,gBAAgB,CAAC;CAC5B,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GAAG,CAC5B,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,EAAE,gBAAgB,KACvB,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAAC;AAErC;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,WAAW,GAAG,CACxB,QAAQ,EAAE,gBAAgB,EAC1B,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,gBAAgB,GAAG,SAAS,EAC3E,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,KAClC,IAAI,CAAC;AAEV,sEAAsE;AACtE,wBAAgB,WAAW,CAAC,CAAC,EAAE,gBAAgB,GAAG,MAAM,CAEvD;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAEzB,MAAM,EAAE,iBAAiB,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,EAAE,CAAC;IAEvC,KAAK,EAAE,cAAc,CAAC;IAEtB,QAAQ,CAAC,iBAAiB,EAAE,GAAG,CAC7B,MAAM,EACN;QAAE,QAAQ,EAAE,gBAAgB,CAAC;QAAC,QAAQ,EAAE,gBAAgB,CAAA;KAAE,CAC3D,CAAC;IAEF,WAAW,CAAC,EAAE,WAAW,CAAC;IAE1B;mEAC+D;IAC/D,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,kBAAkB,GAAG,SAAS,CAAC;IAEjE;qFACiF;IACjF,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,QAAQ,CAAC,cAAc,EAAE,eAAe,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAEnC,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACpC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,gBAAgB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACnD,UAAU,CAAC,CAAC,SAAS,iBAAiB,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC;IACrD;;;8BAG0B;IAC1B,iBAAiB,IAAI,iBAAiB,CAAC;IACvC,mBAAmB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACrC,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IACnD,iBAAiB,CAAC,SAAS,EAAE,gBAAgB,EAAE,GAAG,WAAW,CAAC;IAC9D,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACnC,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,iBAAiB,CAAC;IAChE,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAChG,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,GAAG,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACtD,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,SAAS,EAAE,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpF;;6DAEyD;IACzD,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACjD,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC;IAChC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC;IAC3E,WAAW,CACT,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,KAAK,EAAE,MAAM,EAAE,EACf,YAAY,CAAC,EAAE,MAAM,EAAE,GACtB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC5B"}
+{"version":3,"file":"evaluation-context.d.ts","sourceRoot":"","sources":["../src/evaluation-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAC5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAErD,MAAM,MAAM,SAAS,GAAG,CACtB,KAAK,EAAE,MAAM,EACb,OAAO,CAAC,EAAE,GAAG,EACb,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,KAC3B,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;AAE1B;;;;GAIG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,4EAA4E;IAC5E,IAAI,IAAI,MAAM,CAAC;IACf;iEAC6D;IAC7D,UAAU,IAAI,MAAM,CAAC;CACtB;AAED,qEAAqE;AACrE,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,WAAW,GAAG,aAAa,GAAG,UAAU,GAAG,UAAU,CAAC;AAE/F;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,GAAG,EAAE,GAAG,CAAC;IAKT,QAAQ,EAAE,gBAAgB,CAAC;CAC5B,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GAAG,CAC5B,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,EAAE,gBAAgB,KACvB,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAAC;AAErC;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,WAAW,GAAG,CACxB,QAAQ,EAAE,gBAAgB,EAC1B,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,gBAAgB,GAAG,SAAS,EAC3E,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,KAClC,IAAI,CAAC;AAEV,sEAAsE;AACtE,wBAAgB,WAAW,CAAC,CAAC,EAAE,gBAAgB,GAAG,MAAM,CAEvD;AAED;;;uEAGuE;AACvE,MAAM,MAAM,aAAa,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvE;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAEzB,MAAM,EAAE,iBAAiB,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,EAAE,CAAC;IAEvC,KAAK,EAAE,cAAc,CAAC;IAEtB,QAAQ,CAAC,iBAAiB,EAAE,GAAG,CAC7B,MAAM,EACN;QAAE,QAAQ,EAAE,gBAAgB,CAAC;QAAC,QAAQ,EAAE,gBAAgB,CAAA;KAAE,CAC3D,CAAC;IAEF,WAAW,CAAC,EAAE,WAAW,CAAC;IAE1B;mEAC+D;IAC/D,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,kBAAkB,GAAG,SAAS,CAAC;IAEjE;qFACiF;IACjF,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB;;;;;;iDAM6C;IAC7C,KAAK,CAAC,EAAE,aAAa,CAAC;IAEtB;;0FAEsF;IACtF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAE7B,QAAQ,CAAC,cAAc,EAAE,eAAe,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAEnC,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACpC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,gBAAgB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACnD,UAAU,CAAC,CAAC,SAAS,iBAAiB,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC;IACrD;;;8BAG0B;IAC1B,iBAAiB,IAAI,iBAAiB,CAAC;IACvC,mBAAmB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACrC,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IACnD,iBAAiB,CAAC,SAAS,EAAE,gBAAgB,EAAE,GAAG,WAAW,CAAC;IAC9D,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACnC,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,iBAAiB,CAAC;IAChE,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAChG,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,GAAG,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACtD,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,SAAS,EAAE,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpF;;6DAEyD;IACzD,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACjD,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC;IAChC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC;IAC3E,WAAW,CACT,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,KAAK,EAAE,MAAM,EAAE,EACf,YAAY,CAAC,EAAE,MAAM,EAAE,GACtB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC5B"}

package/dist/resource-context.d.ts

@@ -34,6 +34,13 @@ export type ParsedArgs = Partial<Record<string, string | boolean | string[]>> &
 };
 export interface ResourceContext extends ControllerContext {
     readonly args: ParsedArgs;
+    /** The id prefix of the context this resource was created in (the creating
+     *  {@link EvaluationContext}'s `ownerPrefix`). A controller that spawns
+     *  sub-resources composes their hierarchical ids as
+     *  `ownerPrefix + <kind>.<name>` and stamps the owner on the child context it
+     *  registers them into, so two instances of the same templated kind don't
+     *  collide and the children nest under their parent in a debug view. */
+    readonly ownerPrefix: string;
     acquireHold(reason?: string): () => void;
     emitEvent(event: string, payload?: any): Promise<void>;
     /** Mint a writable cancellation source for a trigger to own (HTTP request,

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,EAAE,kBAAkB,EAAE,aAAa,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACtG,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,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,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,MAAM,WAAW,WAAW;IAC1B;gFAC4E;IAC5E,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;;4EAGwE;IACxE,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;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,MAAM,WAAW,eAAgB,SAAQ,iBAAiB;IACxD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,IAAI,CAAC;IACzC,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;;;;;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,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1F,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,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACtF,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,GAAG,IAAI,CAAC;IAC9C,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,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACjF;;;;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;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,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,EAAE,kBAAkB,EAAE,aAAa,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACtG,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,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,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,MAAM,WAAW,WAAW;IAC1B;gFAC4E;IAC5E,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;;4EAGwE;IACxE,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;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,MAAM,WAAW,eAAgB,SAAQ,iBAAiB;IACxD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B;;;;;4EAKwE;IACxE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,IAAI,CAAC;IACzC,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;;;;;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,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1F,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,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACtF,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,GAAG,IAAI,CAAC;IAC9C,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,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACjF;;;;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;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,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/type-schema-ref.d.ts

@@ -13,6 +13,30 @@
 export declare const TELO_TYPE_SCHEME = "telo://";
 /** The canonical, alias-resolved `$id` a named type schema is registered under. */
 export declare function canonicalTypeSchemaId(moduleName: string, typeName: string): string;
+/**
+ * Resolve `extends` into a single self-contained object schema by deep-merging an
+ * ordered list of already-resolved schemas (parents first, the own schema last):
+ *
+ * - `properties` — union; the more-derived (later) schema wins on a key conflict.
+ * - `required` — union across all levels.
+ * - `additionalProperties` — the most-derived schema that sets it.
+ * - `allOf` / `oneOf` / `anyOf` — **preserved, never dropped**: every schema's
+ *   composition keywords are collected into the result's `allOf` (each `oneOf` /
+ *   `anyOf` wrapped as its own branch), which intersects them — a value must
+ *   satisfy the merged object shape AND every inherited/own composition
+ *   constraint. A plain object-inheritance schema declares none of these, so the
+ *   result carries no `allOf` and stays free of the `allOf` +
+ *   `additionalProperties: false` footgun.
+ * - everything else — carried over, more-derived wins.
+ *
+ * Assumes object schemas (`type` defaults to `"object"` when unset). The result
+ * carries no `$ref`s, so it is directly usable as a validation schema.
+ *
+ * Single source of truth for `Type.JsonSchema` inheritance: the runtime `type`
+ * controller and the analyzer both call this, so static analysis and runtime
+ * validation can never disagree on a type's effective shape.
+ */
+export declare function mergeTypeSchemas(schemas: Record<string, unknown>[]): Record<string, unknown>;
 /** Parsed parts of a `telo://<authority>/<typeName>` schema reference. */
 export interface TeloTypeRef {
     authority: string;

package/dist/type-schema-ref.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-schema-ref.d.ts","sourceRoot":"","sources":["../src/type-schema-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,eAAO,MAAM,gBAAgB,YAAY,CAAC;AAE1C,mFAAmF;AACnF,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAElF;AAED,0EAA0E;AAC1E,MAAM,WAAW,WAAW;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,OAAO,GAAG,WAAW,GAAG,IAAI,CAKjE"}
+{"version":3,"file":"type-schema-ref.d.ts","sourceRoot":"","sources":["../src/type-schema-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,eAAO,MAAM,gBAAgB,YAAY,CAAC;AAE1C,mFAAmF;AACnF,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAElF;AAiBD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GACjC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAqCzB;AAED,0EAA0E;AAC1E,MAAM,WAAW,WAAW;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,OAAO,GAAG,WAAW,GAAG,IAAI,CAKjE"}

package/dist/type-schema-ref.js

@@ -15,6 +15,92 @@ export const TELO_TYPE_SCHEME = "telo://";
 export function canonicalTypeSchemaId(moduleName, typeName) {
     return `${TELO_TYPE_SCHEME}${moduleName}/${typeName}`;
 }
+/** Top-level keywords merged structurally rather than copied wholesale when
+ *  resolving `extends`: object shape (`properties` / `required` /
+ *  `additionalProperties`) is deep-merged, and composition keywords (`allOf` /
+ *  `oneOf` / `anyOf`) are preserved as intersected `allOf` branches. Everything
+ *  else (`type`, `title`, `description`, …) is carried over with the more-derived
+ *  schema winning. */
+const STRUCTURAL_KEYS = new Set([
+    "properties",
+    "required",
+    "additionalProperties",
+    "allOf",
+    "oneOf",
+    "anyOf",
+]);
+/**
+ * Resolve `extends` into a single self-contained object schema by deep-merging an
+ * ordered list of already-resolved schemas (parents first, the own schema last):
+ *
+ * - `properties` — union; the more-derived (later) schema wins on a key conflict.
+ * - `required` — union across all levels.
+ * - `additionalProperties` — the most-derived schema that sets it.
+ * - `allOf` / `oneOf` / `anyOf` — **preserved, never dropped**: every schema's
+ *   composition keywords are collected into the result's `allOf` (each `oneOf` /
+ *   `anyOf` wrapped as its own branch), which intersects them — a value must
+ *   satisfy the merged object shape AND every inherited/own composition
+ *   constraint. A plain object-inheritance schema declares none of these, so the
+ *   result carries no `allOf` and stays free of the `allOf` +
+ *   `additionalProperties: false` footgun.
+ * - everything else — carried over, more-derived wins.
+ *
+ * Assumes object schemas (`type` defaults to `"object"` when unset). The result
+ * carries no `$ref`s, so it is directly usable as a validation schema.
+ *
+ * Single source of truth for `Type.JsonSchema` inheritance: the runtime `type`
+ * controller and the analyzer both call this, so static analysis and runtime
+ * validation can never disagree on a type's effective shape.
+ */
+export function mergeTypeSchemas(schemas) {
+    const out = {};
+    const properties = {};
+    const required = new Set();
+    let additionalProperties;
+    let hasAdditionalProperties = false;
+    // Inherited/own `allOf` / `oneOf` / `anyOf`, intersected into the result's
+    // `allOf` so no declared constraint is silently lost.
+    const composition = [];
+    for (const schema of schemas) {
+        if (!schema || typeof schema !== "object")
+            continue;
+        for (const [key, value] of Object.entries(schema)) {
+            if (!STRUCTURAL_KEYS.has(key))
+                out[key] = value;
+        }
+        const props = schema.properties;
+        if (props && typeof props === "object")
+            Object.assign(properties, props);
+        const req = schema.required;
+        if (Array.isArray(req))
+            for (const name of req)
+                required.add(name);
+        if ("additionalProperties" in schema) {
+            additionalProperties = schema.additionalProperties;
+            hasAdditionalProperties = true;
+        }
+        const allOf = schema.allOf;
+        if (Array.isArray(allOf))
+            composition.push(...allOf);
+        const oneOf = schema.oneOf;
+        if (Array.isArray(oneOf))
+            composition.push({ oneOf });
+        const anyOf = schema.anyOf;
+        if (Array.isArray(anyOf))
+            composition.push({ anyOf });
+    }
+    if (Object.keys(properties).length > 0)
+        out.properties = properties;
+    if (required.size > 0)
+        out.required = [...required];
+    if (hasAdditionalProperties)
+        out.additionalProperties = additionalProperties;
+    if (composition.length > 0)
+        out.allOf = composition;
+    if (out.type === undefined)
+        out.type = "object";
+    return out;
+}
 /**
  * Parse a `telo://<authority>/<typeName>` schema `$ref`. Returns null for any
  * other string — notably fragment-bearing built-ins like

package/package.json

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

package/src/dispatch-invoke-ref.ts

@@ -1,3 +1,4 @@
+import type { InvokeContext } from "./cancellation.js";
 import type { Invocable } from "./capabilities/invokable.js";
 import type { ModuleContext } from "./module-context.js";
 import { getRefIdentity, type ResourceInstance } from "./resource-instance.js";
@@ -9,6 +10,7 @@ export interface DispatchContext {
     name: string,
     instance: ResourceInstance,
     inputs: TInputs,
+    ctx?: InvokeContext,
   ): Promise<unknown>;
   readonly moduleContext: ModuleContext;
 }
@@ -20,17 +22,22 @@ export interface DispatchContext {
  * against the module context. Resolution is eager (fail-fast on a bad ref);
  * dispatch is deferred, so a caller can run it synchronously (Cache.View) or
  * detached (Run.Detach). `describe` labels the error with the owning resource.
+ * 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.
  */
 export function resolveInvocableDispatcher(
   field: unknown,
   ctx: DispatchContext,
   describe: () => string,
-): (inputs: Record<string, unknown>) => Promise<unknown> {
+): (inputs: Record<string, unknown>, invokeCtx?: InvokeContext) => Promise<unknown> {
   if (field && typeof (field as Invocable).invoke === "function") {
     const instance = field as ResourceInstance & Invocable;
     const id = getRefIdentity(field as object);
-    return (inputs) =>
-      id ? ctx.invokeResolved(id.kind, id.name, instance, inputs) : instance.invoke(inputs);
+    return (inputs, invokeCtx) =>
+      id
+        ? ctx.invokeResolved(id.kind, id.name, instance, inputs, invokeCtx)
+        : instance.invoke(inputs, invokeCtx);
   }
   const ref = field as { kind: string; name: string; alias?: string } | undefined;
   if (!ref || typeof ref.name !== "string") {
@@ -44,5 +51,5 @@ export function resolveInvocableDispatcher(
   if (!resolved || typeof resolved.invoke !== "function") {
     throw new Error(`${describe()}: 'invoke' reference '${ref.name}' did not resolve to an invocable.`);
   }
-  return (inputs) => ctx.invokeResolved(ref.kind, ref.name, resolved, inputs);
+  return (inputs, invokeCtx) => ctx.invokeResolved(ref.kind, ref.name, resolved, inputs, invokeCtx);
 }

package/src/evaluation-context.ts

@@ -79,6 +79,12 @@ export function resourceKey(r: ResourceManifest): string {
   return `${r.kind}.${r.metadata.name}`;
 }
 
+/** The resource that owns a spawned child context — the parent in the resource
+ *  topology. `id` is the owner's full hierarchical id (`<owner.id>/<kind>.<name>`,
+ *  or just `<kind>.<name>` at the top level), so a child's own id qualifies under
+ *  it and stays unique across instances of the same templated kind. */
+export type ResourceOwner = { kind: string; name: string; id: string };
+
 /**
  * Public contract for the base evaluation context.
  *
@@ -110,6 +116,20 @@ export interface EvaluationContext {
    *  propagated through `spawnChild`; drives invocation-id minting in `invoke`. */
   tracer?: Tracer;
 
+  /** The resource that spawned this context's resources, if any. A template
+   *  controller stamps it on the child context it registers its `resources:`
+   *  into, so the lifecycle/dispatch events those children emit carry the owning
+   *  resource — letting a debug consumer nest them under their parent and keep
+   *  two instances of the same templated kind from colliding by name. `id` is the
+   *  owner's full hierarchical id (`<owner.id>/<kind>.<name>`); undefined on a
+   *  context whose resources are top-level. */
+  owner?: ResourceOwner;
+
+  /** The id prefix to prepend to a resource created in this context:
+   *  `owner ? owner.id + "/" : ""`. A controller that spawns sub-resources reads
+   *  it (via {@link ResourceContext.ownerPrefix}) to compose their hierarchical ids. */
+  readonly ownerPrefix: string;
+
   readonly createInstance: InstanceFactory;
   readonly context: Record<string, unknown>;
   readonly secretValues: Set<string>;

package/src/resource-context.ts

@@ -43,6 +43,13 @@ export type ParsedArgs = Partial<Record<string, string | boolean | string[]>> &
 
 export interface ResourceContext extends ControllerContext {
   readonly args: ParsedArgs;
+  /** The id prefix of the context this resource was created in (the creating
+   *  {@link EvaluationContext}'s `ownerPrefix`). A controller that spawns
+   *  sub-resources composes their hierarchical ids as
+   *  `ownerPrefix + <kind>.<name>` and stamps the owner on the child context it
+   *  registers them into, so two instances of the same templated kind don't
+   *  collide and the children nest under their parent in a debug view. */
+  readonly ownerPrefix: string;
   acquireHold(reason?: string): () => void;
   emitEvent(event: string, payload?: any): Promise<void>;
   /** Mint a writable cancellation source for a trigger to own (HTTP request,

package/src/type-schema-ref.ts

@@ -18,6 +18,85 @@ export function canonicalTypeSchemaId(moduleName: string, typeName: string): str
   return `${TELO_TYPE_SCHEME}${moduleName}/${typeName}`;
 }
 
+/** Top-level keywords merged structurally rather than copied wholesale when
+ *  resolving `extends`: object shape (`properties` / `required` /
+ *  `additionalProperties`) is deep-merged, and composition keywords (`allOf` /
+ *  `oneOf` / `anyOf`) are preserved as intersected `allOf` branches. Everything
+ *  else (`type`, `title`, `description`, …) is carried over with the more-derived
+ *  schema winning. */
+const STRUCTURAL_KEYS = new Set([
+  "properties",
+  "required",
+  "additionalProperties",
+  "allOf",
+  "oneOf",
+  "anyOf",
+]);
+
+/**
+ * Resolve `extends` into a single self-contained object schema by deep-merging an
+ * ordered list of already-resolved schemas (parents first, the own schema last):
+ *
+ * - `properties` — union; the more-derived (later) schema wins on a key conflict.
+ * - `required` — union across all levels.
+ * - `additionalProperties` — the most-derived schema that sets it.
+ * - `allOf` / `oneOf` / `anyOf` — **preserved, never dropped**: every schema's
+ *   composition keywords are collected into the result's `allOf` (each `oneOf` /
+ *   `anyOf` wrapped as its own branch), which intersects them — a value must
+ *   satisfy the merged object shape AND every inherited/own composition
+ *   constraint. A plain object-inheritance schema declares none of these, so the
+ *   result carries no `allOf` and stays free of the `allOf` +
+ *   `additionalProperties: false` footgun.
+ * - everything else — carried over, more-derived wins.
+ *
+ * Assumes object schemas (`type` defaults to `"object"` when unset). The result
+ * carries no `$ref`s, so it is directly usable as a validation schema.
+ *
+ * Single source of truth for `Type.JsonSchema` inheritance: the runtime `type`
+ * controller and the analyzer both call this, so static analysis and runtime
+ * validation can never disagree on a type's effective shape.
+ */
+export function mergeTypeSchemas(
+  schemas: Record<string, unknown>[],
+): Record<string, unknown> {
+  const out: Record<string, unknown> = {};
+  const properties: Record<string, unknown> = {};
+  const required = new Set<string>();
+  let additionalProperties: unknown;
+  let hasAdditionalProperties = false;
+  // Inherited/own `allOf` / `oneOf` / `anyOf`, intersected into the result's
+  // `allOf` so no declared constraint is silently lost.
+  const composition: unknown[] = [];
+
+  for (const schema of schemas) {
+    if (!schema || typeof schema !== "object") continue;
+    for (const [key, value] of Object.entries(schema)) {
+      if (!STRUCTURAL_KEYS.has(key)) out[key] = value;
+    }
+    const props = (schema as { properties?: unknown }).properties;
+    if (props && typeof props === "object") Object.assign(properties, props);
+    const req = (schema as { required?: unknown }).required;
+    if (Array.isArray(req)) for (const name of req) required.add(name as string);
+    if ("additionalProperties" in schema) {
+      additionalProperties = (schema as { additionalProperties?: unknown }).additionalProperties;
+      hasAdditionalProperties = true;
+    }
+    const allOf = (schema as { allOf?: unknown }).allOf;
+    if (Array.isArray(allOf)) composition.push(...allOf);
+    const oneOf = (schema as { oneOf?: unknown }).oneOf;
+    if (Array.isArray(oneOf)) composition.push({ oneOf });
+    const anyOf = (schema as { anyOf?: unknown }).anyOf;
+    if (Array.isArray(anyOf)) composition.push({ anyOf });
+  }
+
+  if (Object.keys(properties).length > 0) out.properties = properties;
+  if (required.size > 0) out.required = [...required];
+  if (hasAdditionalProperties) out.additionalProperties = additionalProperties;
+  if (composition.length > 0) out.allOf = composition;
+  if (out.type === undefined) out.type = "object";
+  return out;
+}
+
 /** Parsed parts of a `telo://<authority>/<typeName>` schema reference. */
 export interface TeloTypeRef {
   authority: string;