@relkit/runtime-hono 0.5.3 → 0.5.5

package/dist/agent-run-admission.js

@@ -0,0 +1,60 @@
+import { httpValidation } from "./http-validation.js";
+import { Effect } from "effect";
+import { httpBoundary, HttpBoundaryError } from "./http-effect.js";
+import { AGENT_STATE_SCHEMA_VERSION, AGENT_STREAM_VERSION, REALTIME_RUNTIME_LIMITS, } from "@relkit/contracts";
+import { agentContext, agentLimits, digest, requireAgentThreadId, validateAgentInput, verifiedAgentRequestDigest, } from "./agent-rpc-support.js";
+import { acceptAgentResume } from "./agent-rpc-resume.js";
+import { startAgentRun } from "./agent-rpc-worker.js";
+import { assertWrite, requiredOperationId } from "./agent-command-validation.js";
+/** Authorizes input, persists admission and starts work under the owning generation.
+ * @param input - Submitted operation input; validation and authorization occur before effects are admitted.
+ * @param context - Trusted Hono or oRPC request context containing request state and authentication.
+ * @param options - Application dependencies and configuration for this domain.
+ * @returns The durable admission receipt after generation-owned execution has been started.
+ */
+export const acceptAgentRunEffect = Effect.fn("AgentCommands.acceptAgentRun")(function* (input, context, options) {
+    yield* httpBoundary("agent.acceptAgentRun", () => assertWrite(input, context, options));
+    const threadId = yield* httpValidation("agent.validate", () => requireAgentThreadId(input.threadId));
+    if (input.resume !== undefined && input.resume !== true)
+        return yield* Effect.fail(new HttpBoundaryError({
+            operation: "agent.acceptAgentRun",
+            cause: new TypeError("resume must be true when supplied."),
+        }));
+    const operationId = yield* httpValidation("agent.validate", () => requiredOperationId(input.operationId));
+    const resolved = yield* httpBoundary("agent.acceptAgentRun", () => agentContext({ ...input, threadId }, context, options, input.resume === true ? "resume" : "run"));
+    if (input.resume === true) {
+        return yield* httpBoundary("agent.acceptAgentRun", () => acceptAgentResume(input, threadId, operationId, resolved, options));
+    }
+    const requestDigest = yield* httpValidation("agent.validate", () => verifiedAgentRequestDigest(input));
+    const value = yield* httpBoundary("agent.acceptAgentRun", () => validateAgentInput(resolved, input.payload));
+    const now = new Date().toISOString();
+    yield* httpBoundary("agent.acceptAgentRun", () => resolved.provider.createThread({
+        ...resolved.scope,
+        operationId,
+        threadId,
+        semanticDigest: digest({ agentId: input.agentId, threadId }),
+        now,
+        limits: agentLimits,
+    }));
+    const accepted = yield* httpBoundary("agent.acceptAgentRun", () => resolved.provider.acceptRun({
+        ...resolved.scope,
+        operationId,
+        semanticDigest: requestDigest,
+        threadId,
+        owner: {
+            generationId: options.agentRuntime.generationId,
+            publicFingerprint: options.agentRuntime.publicFingerprint,
+            protocolVersion: AGENT_STREAM_VERSION,
+            schemaVersion: AGENT_STATE_SCHEMA_VERSION,
+            providerScope: resolved.scope.profile,
+        },
+        input: value,
+        inputDigest: digest(value),
+        acceptedAt: now,
+        receiptExpiresAt: new Date(Date.now() + REALTIME_RUNTIME_LIMITS.agentReceiptMs).toISOString(),
+        limits: agentLimits,
+    }));
+    startAgentRun(resolved, accepted, value, options, false);
+    return accepted;
+});
+//# sourceMappingURL=agent-run-admission.js.map

package/dist/agent-run-admission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-run-admission.js","sourceRoot":"","sources":["../src/agent-run-admission.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACnE,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,mBAAmB,CAAC;AAI3B,OAAO,EACL,YAAY,EACZ,WAAW,EACX,MAAM,EACN,oBAAoB,EAEpB,kBAAkB,EAClB,0BAA0B,GAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAEtD,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACjF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,EAAE,CAAC,8BAA8B,CAAC,CAAC,QAAQ,CAAC,EACrF,KAAiB,EACjB,OAAmB,EACnB,OAAoC;IAEpC,KAAK,CAAC,CAAC,YAAY,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IACxF,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAC5D,oBAAoB,CAAC,KAAK,CAAC,QAAQ,CAAC,CACrC,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI;QACrD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,iBAAiB,CAAC;YACpB,SAAS,EAAE,sBAAsB;YACjC,KAAK,EAAE,IAAI,SAAS,CAAC,oCAAoC,CAAC;SAC3D,CAAC,CACH,CAAC;IACJ,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAC/D,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CACvC,CAAC;IACF,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAChE,YAAY,CACV,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,EACtB,OAAO,EACP,OAAO,EACP,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CACzC,CACF,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC,CAAC,YAAY,CAAC,sBAAsB,EAAE,GAAG,EAAE,CACtD,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,CACnE,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,gBAAgB,EAAE,GAAG,EAAE,CACjE,0BAA0B,CAAC,KAAK,CAAC,CAClC,CAAC;IACF,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAC7D,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAC5C,CAAC;IACF,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,KAAK,CAAC,CAAC,YAAY,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAC/C,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC;QAC7B,GAAG,QAAQ,CAAC,KAAK;QACjB,WAAW;QACX,QAAQ;QACR,cAAc,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC;QAC5D,GAAG;QACH,MAAM,EAAE,WAAW;KACpB,CAAC,CACH,CAAC;IACF,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAChE,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC;QAC1B,GAAG,QAAQ,CAAC,KAAK;QACjB,WAAW;QACX,cAAc,EAAE,aAAa;QAC7B,QAAQ;QACR,KAAK,EAAE;YACL,YAAY,EAAE,OAAO,CAAC,YAAa,CAAC,YAAY;YAChD,iBAAiB,EAAE,OAAO,CAAC,YAAa,CAAC,iBAAiB;YAC1D,eAAe,EAAE,oBAAoB;YACrC,aAAa,EAAE,0BAA0B;YACzC,aAAa,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO;SACtC;QACD,KAAK,EAAE,KAAK;QACZ,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC;QAC1B,UAAU,EAAE,GAAG;QACf,gBAAgB,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,uBAAuB,CAAC,cAAc,CAAC,CAAC,WAAW,EAAE;QAC7F,MAAM,EAAE,WAAW;KACpB,CAAC,CACH,CAAC;IACF,aAAa,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACzD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC,CAAC"}

package/dist/agent-run-journal.d.ts

@@ -1,12 +1,50 @@
+import type { ResolvedAgent } from "./agent-run-journal.types.js";
 import type { AcceptRunReceipt, ExecutionClaim, RunOwner } from "@relkit/agents";
 import type { BrowserMessage } from "@relkit/contracts";
-import type { agentContext } from "./agent-rpc-support.js";
 import type { RouteMaterializationOptions } from "./materialize-routes.js";
-type ResolvedAgent = Awaited<ReturnType<typeof agentContext>>;
+export { AgentJournal, AgentJournalLive } from "./agent-journal.js";
+/** Executes appendAgentMessage at the native Promise boundary.
+ * @param resolved - Authorized agent descriptor, provider and durable request scope.
+ * @param receipt - Durable accepted-run receipt identifying the thread and run.
+ * @param claim - Current fenced execution claim required by the provider.
+ * @param role - Public message role used to select the configured chat projection.
+ * @param value - Value inspected, validated or projected by this operation.
+ * @param messageId - Stable public message identifier retained across streaming updates.
+ * @param createdAt - Public creation timestamp retained by the journal record.
+ * @param state - State owned by the current request or operation.
+ * @returns Completion after the projected text message is durably journaled.
+ */
 export declare function appendAgentMessage(resolved: ResolvedAgent, receipt: AcceptRunReceipt, claim: ExecutionClaim, role: "user" | "assistant", value: unknown, messageId?: string, createdAt?: string, state?: "streaming" | "complete"): Promise<void>;
+/** Executes appendBrowserMessage at the native Promise boundary.
+ * @param resolved - Authorized agent descriptor, provider and durable request scope.
+ * @param receipt - Durable accepted-run receipt identifying the thread and run.
+ * @param claim - Current fenced execution claim required by the provider.
+ * @param message - Public message included in the resulting value or failure.
+ * @returns Completion after the bounded browser message is durably journaled.
+ */
 export declare function appendBrowserMessage(resolved: ResolvedAgent, receipt: AcceptRunReceipt, claim: ExecutionClaim, message: BrowserMessage): Promise<void>;
+/** Executes completeAgentRun at the native Promise boundary.
+ * @param resolved - Authorized agent descriptor, provider and durable request scope.
+ * @param receipt - Durable accepted-run receipt identifying the thread and run.
+ * @param claim - Current fenced execution claim required by the provider.
+ * @param outcome - Terminal classification used for durable state and telemetry.
+ * @param publicValue - Already projected public value admitted to durable storage.
+ * @returns Completion after the terminal record and receipt retention are persisted.
+ */
 export declare function completeAgentRun(resolved: ResolvedAgent, receipt: AcceptRunReceipt, claim: ExecutionClaim, outcome: "succeeded" | "failed" | "cancelled", publicValue: unknown): Promise<void>;
+/** Executes interruptAgentRun at the native Promise boundary.
+ * @param resolved - Authorized agent descriptor, provider and durable request scope.
+ * @param receipt - Durable accepted-run receipt identifying the thread and run.
+ * @param claim - Current fenced execution claim required by the provider.
+ * @param expectedOwner - Expected generation and protocol owner used to fence interruption.
+ * @param reason - Cancellation or interruption reason supplied by the owning boundary.
+ * @returns Completion after the provider applies the fenced interruption.
+ */
 export declare function interruptAgentRun(resolved: ResolvedAgent, receipt: AcceptRunReceipt, claim: ExecutionClaim, expectedOwner: RunOwner, reason?: "claim-expired" | "generation-unavailable" | "process-lost"): Promise<void>;
+/** Builds the generation and protocol ownership descriptor for durable run claims.
+ * @param options - Application dependencies and configuration for this domain.
+ * @param profile - Configured provider profile used to select durable state.
+ * @returns The current generation, protocol and provider-scope owner used for fencing.
+ */
 export declare function agentRunOwner(options: RouteMaterializationOptions, profile: string): RunOwner;
-export {};
 //# sourceMappingURL=agent-run-journal.d.ts.map

package/dist/agent-run-journal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"agent-run-journal.d.ts","sourceRoot":"","sources":["../src/agent-run-journal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACjF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAGxD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAE3D,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAE3E,KAAK,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,YAAY,CAAC,CAAC,CAAC;AAE9D,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,aAAa,EACvB,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,MAAM,GAAG,WAAW,EAC1B,KAAK,EAAE,OAAO,EACd,SAAS,GAAE,MAA4B,EACvC,SAAS,GAAE,MAAiC,EAC5C,KAAK,CAAC,EAAE,WAAW,GAAG,UAAU,GAC/B,OAAO,CAAC,IAAI,CAAC,CAgBf;AAED,wBAAsB,oBAAoB,CACxC,QAAQ,EAAE,aAAa,EACvB,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,cAAc,EACrB,OAAO,EAAE,cAAc,GACtB,OAAO,CAAC,IAAI,CAAC,CAkBf;AAmBD,wBAAsB,gBAAgB,CACpC,QAAQ,EAAE,aAAa,EACvB,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,cAAc,EACrB,OAAO,EAAE,WAAW,GAAG,QAAQ,GAAG,WAAW,EAC7C,WAAW,EAAE,OAAO,GACnB,OAAO,CAAC,IAAI,CAAC,CAyBf;AAED,wBAAsB,iBAAiB,CACrC,QAAQ,EAAE,aAAa,EACvB,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,cAAc,EACrB,aAAa,EAAE,QAAQ,EACvB,MAAM,CAAC,EAAE,eAAe,GAAG,wBAAwB,GAAG,cAAc,GACnE,OAAO,CAAC,IAAI,CAAC,CAaf;AAED,wBAAgB,aAAa,CAAC,OAAO,EAAE,2BAA2B,EAAE,OAAO,EAAE,MAAM,GAAG,QAAQ,CAQ7F"}
+{"version":3,"file":"agent-run-journal.d.ts","sourceRoot":"","sources":["../src/agent-run-journal.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACjF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAGxD,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAE3E,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACpE;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,aAAa,EACvB,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,MAAM,GAAG,WAAW,EAC1B,KAAK,EAAE,OAAO,EACd,SAAS,GAAE,MAA4B,EACvC,SAAS,GAAE,MAAiC,EAC5C,KAAK,CAAC,EAAE,WAAW,GAAG,UAAU,GAC/B,OAAO,CAAC,IAAI,CAAC,CAgBf;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,aAAa,EACvB,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,cAAc,EACrB,OAAO,EAAE,cAAc,GACtB,OAAO,CAAC,IAAI,CAAC,CAOf;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,aAAa,EACvB,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,cAAc,EACrB,OAAO,EAAE,WAAW,GAAG,QAAQ,GAAG,WAAW,EAC7C,WAAW,EAAE,OAAO,GACnB,OAAO,CAAC,IAAI,CAAC,CAOf;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,aAAa,EACvB,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,cAAc,EACrB,aAAa,EAAE,QAAQ,EACvB,MAAM,CAAC,EAAE,eAAe,GAAG,wBAAwB,GAAG,cAAc,GACnE,OAAO,CAAC,IAAI,CAAC,CAOf;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,2BAA2B,EAAE,OAAO,EAAE,MAAM,GAAG,QAAQ,CAQ7F"}

package/dist/agent-run-journal.js

@@ -1,89 +1,71 @@
+import { Effect } from "effect";
+import { runHttp } from "./http-effect.js";
 import { AGENT_STATE_SCHEMA_VERSION, AGENT_STREAM_VERSION } from "@relkit/contracts";
-import { createOperationId } from "@relkit/realtime";
-import { agentLimits, encodedBytes } from "./agent-rpc-support.js";
-export async function appendAgentMessage(resolved, receipt, claim, role, value, messageId = crypto.randomUUID(), createdAt = new Date().toISOString(), state) {
-    const message = {
-        messageId,
-        runId: receipt.runId,
-        role,
-        parts: [
-            {
-                partId: `${messageId}:text`,
-                kind: "text",
-                text: publicAgentText(resolved, role, value),
-                ...(state === undefined ? {} : { state }),
-            },
-        ],
-        createdAt,
-    };
-    await appendBrowserMessage(resolved, receipt, claim, message);
-}
-export async function appendBrowserMessage(resolved, receipt, claim, message) {
-    await resolved.provider.appendJournal({
-        ...resolved.scope,
-        threadId: receipt.threadId,
-        runId: receipt.runId,
-        claim,
-        operationId: createOperationId(),
-        semanticDigest: JSON.stringify(message),
-        record: {
-            recordId: crypto.randomUUID(),
-            runId: receipt.runId,
-            kind: "message",
-            publicValue: message,
-            encodedBytes: encodedBytes(message),
-            createdAt: message.createdAt,
-        },
-        limits: agentLimits,
-    });
+import { AgentJournal, AgentJournalLive } from "./agent-journal.js";
+export { AgentJournal, AgentJournalLive } from "./agent-journal.js";
+/** Executes appendAgentMessage at the native Promise boundary.
+ * @param resolved - Authorized agent descriptor, provider and durable request scope.
+ * @param receipt - Durable accepted-run receipt identifying the thread and run.
+ * @param claim - Current fenced execution claim required by the provider.
+ * @param role - Public message role used to select the configured chat projection.
+ * @param value - Value inspected, validated or projected by this operation.
+ * @param messageId - Stable public message identifier retained across streaming updates.
+ * @param createdAt - Public creation timestamp retained by the journal record.
+ * @param state - State owned by the current request or operation.
+ * @returns Completion after the projected text message is durably journaled.
+ */
+export function appendAgentMessage(resolved, receipt, claim, role, value, messageId = crypto.randomUUID(), createdAt = new Date().toISOString(), state) {
+    return runHttp(Effect.gen(function* () {
+        const service = yield* AgentJournal;
+        return yield* service.appendAgentMessage(resolved, receipt, claim, role, value, messageId, createdAt, state);
+    }).pipe(Effect.provide(AgentJournalLive)));
 }
-function publicAgentText(resolved, role, value) {
-    const output = role === "user" ? resolved.descriptor.chat?.input : resolved.descriptor.chat?.output;
-    if (typeof output === "string" &&
-        value !== null &&
-        typeof value === "object" &&
-        typeof value[output] === "string")
-        return value[output];
-    return typeof value === "string" ? value : JSON.stringify(value);
+/** Executes appendBrowserMessage at the native Promise boundary.
+ * @param resolved - Authorized agent descriptor, provider and durable request scope.
+ * @param receipt - Durable accepted-run receipt identifying the thread and run.
+ * @param claim - Current fenced execution claim required by the provider.
+ * @param message - Public message included in the resulting value or failure.
+ * @returns Completion after the bounded browser message is durably journaled.
+ */
+export function appendBrowserMessage(resolved, receipt, claim, message) {
+    return runHttp(Effect.gen(function* () {
+        const service = yield* AgentJournal;
+        return yield* service.appendBrowserMessage(resolved, receipt, claim, message);
+    }).pipe(Effect.provide(AgentJournalLive)));
 }
-export async function completeAgentRun(resolved, receipt, claim, outcome, publicValue) {
-    const now = new Date().toISOString();
-    const terminalValue = publicValue !== null && typeof publicValue === "object" && !Array.isArray(publicValue)
-        ? { ...publicValue, outcome }
-        : { value: publicValue, outcome };
-    await resolved.provider.completeRun({
-        ...resolved.scope,
-        operationId: createOperationId(),
-        semanticDigest: `${receipt.runId}:${outcome}`,
-        threadId: receipt.threadId,
-        runId: receipt.runId,
-        claim,
-        outcome,
-        terminalRecord: {
-            recordId: crypto.randomUUID(),
-            runId: receipt.runId,
-            kind: "terminal",
-            publicValue: terminalValue,
-            encodedBytes: encodedBytes(terminalValue),
-            createdAt: now,
-        },
-        settledAt: now,
-        receiptExpiresAt: new Date(Date.now() + 30 * 86_400_000).toISOString(),
-    });
+/** Executes completeAgentRun at the native Promise boundary.
+ * @param resolved - Authorized agent descriptor, provider and durable request scope.
+ * @param receipt - Durable accepted-run receipt identifying the thread and run.
+ * @param claim - Current fenced execution claim required by the provider.
+ * @param outcome - Terminal classification used for durable state and telemetry.
+ * @param publicValue - Already projected public value admitted to durable storage.
+ * @returns Completion after the terminal record and receipt retention are persisted.
+ */
+export function completeAgentRun(resolved, receipt, claim, outcome, publicValue) {
+    return runHttp(Effect.gen(function* () {
+        const service = yield* AgentJournal;
+        return yield* service.completeAgentRun(resolved, receipt, claim, outcome, publicValue);
+    }).pipe(Effect.provide(AgentJournalLive)));
 }
-export async function interruptAgentRun(resolved, receipt, claim, expectedOwner, reason) {
-    await resolved.provider.interruptOwnedRun({
-        ...resolved.scope,
-        operationId: createOperationId(),
-        threadId: receipt.threadId,
-        runId: receipt.runId,
-        expectedOwner,
-        expectedClaimId: claim.claimId,
-        expectedFence: claim.fence,
-        reason: reason ?? (Date.parse(claim.expiresAt) <= Date.now() ? "claim-expired" : "process-lost"),
-        interruptedAt: new Date().toISOString(),
-    });
+/** Executes interruptAgentRun at the native Promise boundary.
+ * @param resolved - Authorized agent descriptor, provider and durable request scope.
+ * @param receipt - Durable accepted-run receipt identifying the thread and run.
+ * @param claim - Current fenced execution claim required by the provider.
+ * @param expectedOwner - Expected generation and protocol owner used to fence interruption.
+ * @param reason - Cancellation or interruption reason supplied by the owning boundary.
+ * @returns Completion after the provider applies the fenced interruption.
+ */
+export function interruptAgentRun(resolved, receipt, claim, expectedOwner, reason) {
+    return runHttp(Effect.gen(function* () {
+        const service = yield* AgentJournal;
+        return yield* service.interruptAgentRun(resolved, receipt, claim, expectedOwner, reason);
+    }).pipe(Effect.provide(AgentJournalLive)));
 }
+/** Builds the generation and protocol ownership descriptor for durable run claims.
+ * @param options - Application dependencies and configuration for this domain.
+ * @param profile - Configured provider profile used to select durable state.
+ * @returns The current generation, protocol and provider-scope owner used for fencing.
+ */
 export function agentRunOwner(options, profile) {
     return {
         generationId: options.agentRuntime.generationId,

package/dist/agent-run-journal.js.map

@@ -1 +1 @@
-{"version":3,"file":"agent-run-journal.js","sourceRoot":"","sources":["../src/agent-run-journal.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,0BAA0B,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACrF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAErD,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAKnE,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,QAAuB,EACvB,OAAyB,EACzB,KAAqB,EACrB,IAA0B,EAC1B,KAAc,EACd,YAAoB,MAAM,CAAC,UAAU,EAAE,EACvC,YAAoB,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAC5C,KAAgC;IAEhC,MAAM,OAAO,GAAG;QACd,SAAS;QACT,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,IAAI;QACJ,KAAK,EAAE;YACL;gBACE,MAAM,EAAE,GAAG,SAAS,OAAO;gBAC3B,IAAI,EAAE,MAAe;gBACrB,IAAI,EAAE,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC;gBAC5C,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;aAC1C;SACF;QACD,SAAS;KACV,CAAC;IACF,MAAM,oBAAoB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,QAAuB,EACvB,OAAyB,EACzB,KAAqB,EACrB,OAAuB;IAEvB,MAAM,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC;QACpC,GAAG,QAAQ,CAAC,KAAK;QACjB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,KAAK;QACL,WAAW,EAAE,iBAAiB,EAAE;QAChC,cAAc,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;QACvC,MAAM,EAAE;YACN,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE;YAC7B,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,OAAO;YACpB,YAAY,EAAE,YAAY,CAAC,OAAO,CAAC;YACnC,SAAS,EAAE,OAAO,CAAC,SAAS;SAC7B;QACD,MAAM,EAAE,WAAW;KACpB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,QAAuB,EACvB,IAA0B,EAC1B,KAAc;IAEd,MAAM,MAAM,GACV,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC;IACvF,IACE,OAAO,MAAM,KAAK,QAAQ;QAC1B,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAQ,KAAiC,CAAC,MAAM,CAAC,KAAK,QAAQ;QAE9D,OAAQ,KAAgC,CAAC,MAAM,CAAE,CAAC;IACpD,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,QAAuB,EACvB,OAAyB,EACzB,KAAqB,EACrB,OAA6C,EAC7C,WAAoB;IAEpB,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,aAAa,GACjB,WAAW,KAAK,IAAI,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;QACpF,CAAC,CAAC,EAAE,GAAG,WAAW,EAAE,OAAO,EAAE;QAC7B,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;IACtC,MAAM,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;QAClC,GAAG,QAAQ,CAAC,KAAK;QACjB,WAAW,EAAE,iBAAiB,EAAE;QAChC,cAAc,EAAE,GAAG,OAAO,CAAC,KAAK,IAAI,OAAO,EAAE;QAC7C,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,KAAK;QACL,OAAO;QACP,cAAc,EAAE;YACd,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE;YAC7B,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,IAAI,EAAE,UAAU;YAChB,WAAW,EAAE,aAAa;YAC1B,YAAY,EAAE,YAAY,CAAC,aAAa,CAAC;YACzC,SAAS,EAAE,GAAG;SACf;QACD,SAAS,EAAE,GAAG;QACd,gBAAgB,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,UAAU,CAAC,CAAC,WAAW,EAAE;KACvE,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,QAAuB,EACvB,OAAyB,EACzB,KAAqB,EACrB,aAAuB,EACvB,MAAoE;IAEpE,MAAM,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QACxC,GAAG,QAAQ,CAAC,KAAK;QACjB,WAAW,EAAE,iBAAiB,EAAE;QAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,aAAa;QACb,eAAe,EAAE,KAAK,CAAC,OAAO;QAC9B,aAAa,EAAE,KAAK,CAAC,KAAK;QAC1B,MAAM,EACJ,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,CAAC;QAC1F,aAAa,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACxC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAAoC,EAAE,OAAe;IACjF,OAAO;QACL,YAAY,EAAE,OAAO,CAAC,YAAa,CAAC,YAAY;QAChD,iBAAiB,EAAE,OAAO,CAAC,YAAa,CAAC,iBAAiB;QAC1D,eAAe,EAAE,oBAAoB;QACrC,aAAa,EAAE,0BAA0B;QACzC,aAAa,EAAE,OAAO;KACvB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"agent-run-journal.js","sourceRoot":"","sources":["../src/agent-run-journal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAI3C,OAAO,EAAE,0BAA0B,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAGrF,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACpE;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kBAAkB,CAChC,QAAuB,EACvB,OAAyB,EACzB,KAAqB,EACrB,IAA0B,EAC1B,KAAc,EACd,YAAoB,MAAM,CAAC,UAAU,EAAE,EACvC,YAAoB,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAC5C,KAAgC;IAEhC,OAAO,OAAO,CACZ,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,kBAAkB,CACtC,QAAQ,EACR,OAAO,EACP,KAAK,EACL,IAAI,EACJ,KAAK,EACL,SAAS,EACT,SAAS,EACT,KAAK,CACN,CAAC;IACJ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAC1C,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAClC,QAAuB,EACvB,OAAyB,EACzB,KAAqB,EACrB,OAAuB;IAEvB,OAAO,OAAO,CACZ,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAC1C,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAAuB,EACvB,OAAyB,EACzB,KAAqB,EACrB,OAA6C,EAC7C,WAAoB;IAEpB,OAAO,OAAO,CACZ,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAC1C,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,QAAuB,EACvB,OAAyB,EACzB,KAAqB,EACrB,aAAuB,EACvB,MAAoE;IAEpE,OAAO,OAAO,CACZ,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAC1C,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,OAAoC,EAAE,OAAe;IACjF,OAAO;QACL,YAAY,EAAE,OAAO,CAAC,YAAa,CAAC,YAAY;QAChD,iBAAiB,EAAE,OAAO,CAAC,YAAa,CAAC,iBAAiB;QAC1D,eAAe,EAAE,oBAAoB;QACrC,aAAa,EAAE,0BAA0B;QACzC,aAAa,EAAE,OAAO;KACvB,CAAC;AACJ,CAAC"}

package/dist/agent-run-journal.types.d.ts

@@ -0,0 +1,4 @@
+import type { agentContext } from "./agent-rpc-support.js";
+/** Authorized agent descriptor, provider and immutable durable request scope. */
+export type ResolvedAgent = Awaited<ReturnType<typeof agentContext>>;
+//# sourceMappingURL=agent-run-journal.types.d.ts.map

package/dist/agent-run-journal.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-run-journal.types.d.ts","sourceRoot":"","sources":["../src/agent-run-journal.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAE3D,iFAAiF;AACjF,MAAM,MAAM,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,YAAY,CAAC,CAAC,CAAC"}

package/dist/agent-run-journal.types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=agent-run-journal.types.js.map

package/dist/agent-run-journal.types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-run-journal.types.js","sourceRoot":"","sources":["../src/agent-run-journal.types.ts"],"names":[],"mappings":""}

package/dist/agent-run-supervision.d.ts

@@ -0,0 +1,20 @@
+import type { AgentRunSupervisionOptions } from "./agent-run-supervision.types.js";
+export type { AgentRunSupervisionOptions } from "./agent-run-supervision.types.js";
+import { Context, Layer } from "effect";
+declare const AgentRunSupervision_base: Context.ServiceClass<AgentRunSupervision, "@relkit/runtime-hono/AgentRunSupervision", {
+    readonly ready: true;
+}>;
+/** Keeps claim renewal and control observation alive for the run's entire scope. */
+export declare class AgentRunSupervision extends AgentRunSupervision_base {
+}
+/** Builds a fresh scope for a run, including sequential, non-overlapping renewal.
+ * @param options - Application dependencies and configuration for this domain.
+ * @returns A scoped layer that joins renewal and control observation on disposal.
+ */
+export declare function agentRunSupervisionLayer(options: AgentRunSupervisionOptions): Layer.Layer<AgentRunSupervision, never, never>;
+/** Promise boundary for the generation worker; always dispose in its finally block.
+ * @param options - Application dependencies and configuration for this domain.
+ * @returns A disposal callback that interrupts and joins the owned supervisor.
+ */
+export declare function startAgentSupervision(options: AgentRunSupervisionOptions): Promise<() => Promise<void>>;
+//# sourceMappingURL=agent-run-supervision.d.ts.map

package/dist/agent-run-supervision.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-run-supervision.d.ts","sourceRoot":"","sources":["../src/agent-run-supervision.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,kCAAkC,CAAC;AACnF,YAAY,EAAE,0BAA0B,EAAE,MAAM,kCAAkC,CAAC;AACnF,OAAO,EAAE,OAAO,EAAU,KAAK,EAA4B,MAAM,QAAQ,CAAC;;oBAStD,IAAI;;AAJxB,oFAAoF;AACpF,qBAAa,mBAAoB,SAAQ,wBAKM;CAAG;AAElD;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,0BAA0B,kDAiD3E;AAED;;;GAGG;AACH,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,0BAA0B,GAClC,OAAO,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC,CAM9B"}

package/dist/agent-run-supervision.js

@@ -0,0 +1,42 @@
+import { Context, Effect, Layer, ManagedRuntime, Schedule } from "effect";
+import { httpBoundary, observeHttp } from "./http-effect.js";
+import { currentHttpContextLayer } from "./http-logging.js";
+import { withNativeEffectContext } from "@relkit/runtime-effect";
+/** Keeps claim renewal and control observation alive for the run's entire scope. */
+export class AgentRunSupervision extends Context.Service()("@relkit/runtime-hono/AgentRunSupervision") {
+}
+/** Builds a fresh scope for a run, including sequential, non-overlapping renewal.
+ * @param options - Application dependencies and configuration for this domain.
+ * @returns A scoped layer that joins renewal and control observation on disposal.
+ */
+export function agentRunSupervisionLayer(options) {
+    return Layer.effect(AgentRunSupervision, Effect.gen(function* () {
+        /** Renews the execution claim, stopping the run after a provider failure.
+         * @returns A lazy renewal effect that logs and requests cancellation on failure.
+         */
+        const renew = Effect.fn("AgentRunSupervision.renew")(() => observeHttp("agent.claim.renew", httpBoundary("agent.claim.renew", options.renew)).pipe(Effect.catch((error) => Effect.logWarning("Agent claim renewal failed; stopping its run").pipe(Effect.andThen(Effect.sync(() => options.abort(error.cause)))))));
+        yield* renew().pipe(Effect.repeat(Schedule.spaced(15_000)), Effect.delay(15_000), Effect.forkScoped);
+        const controls = Effect.acquireUseRelease(Effect.withFiber((fiber) => Effect.sync(() => {
+            const controller = new AbortController();
+            return {
+                controller,
+                task: withNativeEffectContext(fiber.context, () => options.controls(controller.signal)),
+            };
+        })), ({ task }) => httpBoundary("agent.controls", () => task), ({ controller, task }) => Effect.promise(async () => {
+            controller.abort();
+            await task.catch(() => undefined);
+        }));
+        yield* controls.pipe(Effect.catch(() => Effect.logWarning("Agent control observation ended after a provider failure")), Effect.forkScoped);
+        return { ready: true };
+    }));
+}
+/** Promise boundary for the generation worker; always dispose in its finally block.
+ * @param options - Application dependencies and configuration for this domain.
+ * @returns A disposal callback that interrupts and joins the owned supervisor.
+ */
+export async function startAgentSupervision(options) {
+    const runtime = ManagedRuntime.make(agentRunSupervisionLayer(options).pipe(Layer.provideMerge(currentHttpContextLayer())));
+    await runtime.context();
+    return () => runtime.dispose();
+}
+//# sourceMappingURL=agent-run-supervision.js.map

package/dist/agent-run-supervision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-run-supervision.js","sourceRoot":"","sources":["../src/agent-run-supervision.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,oFAAoF;AACpF,MAAM,OAAO,mBAAoB,SAAQ,OAAO,CAAC,OAAO,EAKrD,CAAC,0CAA0C,CAAC;CAAG;AAElD;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CAAC,OAAmC;IAC1E,OAAO,KAAK,CAAC,MAAM,CACjB,mBAAmB,EACnB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB;;WAEG;QACH,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,GAAG,EAAE,CACxD,WAAW,CAAC,mBAAmB,EAAE,YAAY,CAAC,mBAAmB,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CACrF,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACrB,MAAM,CAAC,UAAU,CAAC,8CAA8C,CAAC,CAAC,IAAI,CACpE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAC9D,CACF,CACF,CACF,CAAC;QACF,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,CACjB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EACtC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EACpB,MAAM,CAAC,UAAU,CAClB,CAAC;QACF,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,CACvC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CACzB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,MAAM,UAAU,GAAG,IAAI,eAAe,EAAE,CAAC;YACzC,OAAO;gBACL,UAAU;gBACV,IAAI,EAAE,uBAAuB,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,CAChD,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CACpC;aACF,CAAC;QACJ,CAAC,CAAC,CACH,EACD,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EACxD,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE;YACxB,UAAU,CAAC,KAAK,EAAE,CAAC;YACnB,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACpC,CAAC,CAAC,CACL,CAAC;QACF,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAClB,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAChB,MAAM,CAAC,UAAU,CAAC,0DAA0D,CAAC,CAC9E,EACD,MAAM,CAAC,UAAU,CAClB,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,IAAa,EAAE,CAAC;IAClC,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,OAAmC;IAEnC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CACjC,wBAAwB,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,uBAAuB,EAAE,CAAC,CAAC,CACtF,CAAC;IACF,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;IACxB,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;AACjC,CAAC"}

package/dist/agent-run-supervision.types.d.ts

@@ -0,0 +1,7 @@
+/** Native operations owned by one accepted agent run. */
+export interface AgentRunSupervisionOptions {
+    readonly renew: () => Promise<void>;
+    readonly controls: (signal: AbortSignal) => Promise<void>;
+    readonly abort: (cause: unknown) => void;
+}
+//# sourceMappingURL=agent-run-supervision.types.d.ts.map

package/dist/agent-run-supervision.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-run-supervision.types.d.ts","sourceRoot":"","sources":["../src/agent-run-supervision.types.ts"],"names":[],"mappings":"AAAA,yDAAyD;AACzD,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,KAAK,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC;CAC1C"}

package/dist/agent-run-supervision.types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=agent-run-supervision.types.js.map

package/dist/agent-run-supervision.types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-run-supervision.types.js","sourceRoot":"","sources":["../src/agent-run-supervision.types.ts"],"names":[],"mappings":""}

package/dist/agent-run-tasks.d.ts

@@ -1,3 +1,37 @@
-export declare function trackAgentRun(runId: string, start: () => Promise<void>): void;
+import { Context, Effect, Layer } from "effect";
+declare const AgentRunTasks_base: Context.ServiceClass<AgentRunTasks, "@relkit/runtime-hono/AgentRunTasks", {
+    readonly start: (runId: string, task: Effect.Effect<void, unknown>) => Effect.Effect<void>;
+}>;
+/** Generation-owned accepted runs. Request cancellation never closes this service.
+ * @example
+ * ```ts
+ * import { Effect } from "effect";
+ * import { AgentRunTasks, AgentRunTasksLive } from "./agent-run-tasks.js";
+ * const program = Effect.gen(function* () {
+ *   const tasks = yield* AgentRunTasks;
+ *   let completed = 0;
+ *   yield* tasks.start("example", Effect.sync(() => { completed++; }));
+ *   return completed;
+ * }).pipe(Effect.provide(AgentRunTasksLive));
+ * ```
+ * @see tests/agent-services.examples.test.ts for the checked example.
+ */
+export declare class AgentRunTasks extends AgentRunTasks_base {
+}
+/** Owns and joins every accepted run when its generation is disposed. */
+export declare const AgentRunTasksLive: Layer.Layer<AgentRunTasks, never, never>;
+/** Starts a run once within its generation and joins durable settlement on shutdown.
+ * @param runId - Stable run identifier within the owning generation or provider scope.
+ * @param start - Lazy native task started only after generation ownership is established.
+ * @param owner - Object identifying the generation that owns accepted work.
+ * @param generationSignal - Generation retirement signal; request disconnects must not use it.
+ * @returns The shared Promise joining accepted execution and durable finalization.
+ */
+export declare function trackAgentRun(runId: string, start: () => Promise<void>, owner: object, generationSignal?: AbortSignal): Promise<void>;
+/** Joins an accepted run without taking ownership of it.
+ * @param runId - Stable run identifier within the owning generation or provider scope.
+ * @returns Completion of the currently tracked run, or immediate completion when none exists.
+ */
 export declare function waitForAgentRun(runId: string): Promise<void>;
+export {};
 //# sourceMappingURL=agent-run-tasks.d.ts.map

package/dist/agent-run-tasks.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"agent-run-tasks.d.ts","sourceRoot":"","sources":["../src/agent-run-tasks.ts"],"names":[],"mappings":"AAEA,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAQ7E;AAED,wBAAsB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAElE"}
+{"version":3,"file":"agent-run-tasks.d.ts","sourceRoot":"","sources":["../src/agent-run-tasks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAmB,KAAK,EAAkB,MAAM,QAAQ,CAAC;;oBAsB7D,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;;AAjB9F;;;;;;;;;;;;;GAaG;AACH,qBAAa,aAAc,SAAQ,kBAKM;CAAG;AAE5C,yEAAyE;AACzE,eAAO,MAAM,iBAAiB,0CAc7B,CAAC;AAKF;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,EAC1B,KAAK,EAAE,MAAM,EACb,gBAAgB,CAAC,EAAE,WAAW,GAC7B,OAAO,CAAC,IAAI,CAAC,CAqCf;AAED;;;GAGG;AACH,wBAAsB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAElE"}

package/dist/agent-run-tasks.js

@@ -1,15 +1,83 @@
+import { Context, Effect, Fiber, FiberMap, Layer, ManagedRuntime } from "effect";
+import { withNativeEffectContext } from "@relkit/runtime-effect";
+import { httpBoundary, observeHttp } from "./http-effect.js";
+import { currentHttpContextLayer } from "./http-logging.js";
+/** Generation-owned accepted runs. Request cancellation never closes this service.
+ * @example
+ * ```ts
+ * import { Effect } from "effect";
+ * import { AgentRunTasks, AgentRunTasksLive } from "./agent-run-tasks.js";
+ * const program = Effect.gen(function* () {
+ *   const tasks = yield* AgentRunTasks;
+ *   let completed = 0;
+ *   yield* tasks.start("example", Effect.sync(() => { completed++; }));
+ *   return completed;
+ * }).pipe(Effect.provide(AgentRunTasksLive));
+ * ```
+ * @see tests/agent-services.examples.test.ts for the checked example.
+ */
+export class AgentRunTasks extends Context.Service()("@relkit/runtime-hono/AgentRunTasks") {
+}
+/** Owns and joins every accepted run when its generation is disposed. */
+export const AgentRunTasksLive = Layer.effect(AgentRunTasks, Effect.gen(function* () {
+    const fibers = yield* FiberMap.make();
+    return {
+        start: Effect.fn("AgentRunTasks.start")(function* (runId, task) {
+            const fiber = yield* FiberMap.run(fibers, runId, task, { onlyIfMissing: true });
+            yield* Fiber.await(fiber);
+        }),
+    };
+}));
+const generations = new WeakMap();
+// This index only locates a generation's join operation; the layer owns work.
 const tasks = new Map();
-export function trackAgentRun(runId, start) {
-    if (tasks.has(runId))
-        return;
-    const task = start();
+/** Starts a run once within its generation and joins durable settlement on shutdown.
+ * @param runId - Stable run identifier within the owning generation or provider scope.
+ * @param start - Lazy native task started only after generation ownership is established.
+ * @param owner - Object identifying the generation that owns accepted work.
+ * @param generationSignal - Generation retirement signal; request disconnects must not use it.
+ * @returns The shared Promise joining accepted execution and durable finalization.
+ */
+export function trackAgentRun(runId, start, owner, generationSignal) {
+    const existing = tasks.get(runId);
+    if (existing !== undefined)
+        return existing;
+    let runtime = generations.get(owner);
+    if (runtime === undefined) {
+        runtime = ManagedRuntime.make(Layer.merge(AgentRunTasksLive, currentHttpContextLayer()));
+        generations.set(owner, runtime);
+        const current = runtime;
+        /** Disposes the generation runtime and interrupts its owned run fibers.
+         * @returns Nothing; the runtime disposal joins owned finalizers asynchronously.
+         */
+        const close = () => {
+            void current.dispose();
+        };
+        if (generationSignal?.aborted)
+            close();
+        else
+            generationSignal?.addEventListener("abort", close, { once: true });
+    }
+    const execute = Effect.acquireUseRelease(Effect.withFiber((fiber) => Effect.sync(() => withNativeEffectContext(fiber.context, start))), (task) => httpBoundary("agent.run", () => task), (task) => Effect.promise(() => task.catch(() => undefined)));
+    const task = runtime.runPromise(Effect.gen(function* () {
+        const service = yield* AgentRunTasks;
+        yield* service.start(runId, observeHttp("agent.run", execute));
+    }));
     tasks.set(runId, task);
+    /** Removes only this completed task from the run join index.
+     * @returns Nothing; a newer task with the same run ID remains indexed.
+     */
     const done = () => {
         if (tasks.get(runId) === task)
             tasks.delete(runId);
     };
     void task.then(done, done);
+    return task;
 }
+/** Joins an accepted run without taking ownership of it.
+ * @param runId - Stable run identifier within the owning generation or provider scope.
+ * @returns Completion of the currently tracked run, or immediate completion when none exists.
+ */
 export async function waitForAgentRun(runId) {
     await tasks.get(runId);
 }

package/dist/agent-run-tasks.js.map

@@ -1 +1 @@
-{"version":3,"file":"agent-run-tasks.js","sourceRoot":"","sources":["../src/agent-run-tasks.ts"],"names":[],"mappings":"AAAA,MAAM,KAAK,GAAG,IAAI,GAAG,EAAyB,CAAC;AAE/C,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,KAA0B;IACrE,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO;IAC7B,MAAM,IAAI,GAAG,KAAK,EAAE,CAAC;IACrB,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACvB,MAAM,IAAI,GAAG,GAAS,EAAE;QACtB,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI;YAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC;IACF,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,KAAa;IACjD,MAAM,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACzB,CAAC"}
+{"version":3,"file":"agent-run-tasks.js","sourceRoot":"","sources":["../src/agent-run-tasks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAC;AACjF,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAE5D;;;;;;;;;;;;;GAaG;AACH,MAAM,OAAO,aAAc,SAAQ,OAAO,CAAC,OAAO,EAK/C,CAAC,oCAAoC,CAAC;CAAG;AAE5C,yEAAyE;AACzE,MAAM,CAAC,MAAM,iBAAiB,GAAG,KAAK,CAAC,MAAM,CAC3C,aAAa,EACb,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAyB,CAAC;IAC7D,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,EAC/C,KAAa,EACb,IAAkC;YAElC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;YAChF,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;KACH,CAAC;AACJ,CAAC,CAAC,CACH,CAAC;AACF,MAAM,WAAW,GAAG,IAAI,OAAO,EAAmB,CAAC;AACnD,8EAA8E;AAC9E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAyB,CAAC;AAE/C;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAa,EACb,KAA0B,EAC1B,KAAa,EACb,gBAA8B;IAE9B,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,IAAI,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,iBAAiB,EAAE,uBAAuB,EAAE,CAAC,CAAC,CAAC;QACzF,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,OAAO,CAAC;QACxB;;WAEG;QACH,MAAM,KAAK,GAAG,GAAS,EAAE;YACvB,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC;QACzB,CAAC,CAAC;QACF,IAAI,gBAAgB,EAAE,OAAO;YAAE,KAAK,EAAE,CAAC;;YAClC,gBAAgB,EAAE,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,iBAAiB,CACtC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAC7F,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAC/C,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAC5D,CAAC;IACF,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAC7B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC;QACrC,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CACH,CAAC;IACF,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACvB;;OAEG;IACH,MAAM,IAAI,GAAG,GAAS,EAAE;QACtB,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI;YAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC;IACF,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,KAAa;IACjD,MAAM,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACzB,CAAC"}

package/dist/agent-run-tasks.types.d.ts

@@ -0,0 +1,5 @@
+import type { ManagedRuntime } from "effect";
+import type { AgentRunTasks } from "./agent-run-tasks.js";
+/** Contract for runtime used by agent run tasks. */
+export type Runtime = ManagedRuntime.ManagedRuntime<AgentRunTasks, never>;
+//# sourceMappingURL=agent-run-tasks.types.d.ts.map

package/dist/agent-run-tasks.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-run-tasks.types.d.ts","sourceRoot":"","sources":["../src/agent-run-tasks.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE1D,oDAAoD;AACpD,MAAM,MAAM,OAAO,GAAG,cAAc,CAAC,cAAc,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC"}

package/dist/agent-run-tasks.types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=agent-run-tasks.types.js.map

package/dist/agent-run-tasks.types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-run-tasks.types.js","sourceRoot":"","sources":["../src/agent-run-tasks.types.ts"],"names":[],"mappings":""}

package/dist/agent-runtime.d.ts

@@ -1,17 +1,2 @@
-import type { AgentStateProvider } from "@relkit/agents";
-import type { MaybePromise } from "@relkit/contracts";
-import type { HttpAuthInvocation } from "./auth.js";
-export interface AgentRuntime {
-    readonly applicationId: string;
-    readonly environment: string;
-    readonly generationId: string;
-    readonly publicFingerprint: string;
-    readonly signal?: AbortSignal;
-    readonly track?: (task: Promise<void>) => void;
-    readonly provider: (profile: string) => MaybePromise<AgentStateProvider>;
-    readonly trustedContext?: (input: {
-        readonly request: Request;
-        readonly auth?: HttpAuthInvocation;
-    }) => MaybePromise<unknown>;
-}
+export type { AgentRuntime } from "./agent-runtime.types.js";
 //# sourceMappingURL=agent-runtime.d.ts.map