@relkit/runtime-hono 0.5.3 → 0.5.5

package/dist/agent-journal.js

@@ -0,0 +1,138 @@
+import { Context, Effect, Layer } from "effect";
+import { httpBoundary, observeHttp } from "./http-effect.js";
+import { createOperationId } from "@relkit/realtime";
+import { agentLimits, encodedBytes } from "./agent-rpc-support.js";
+/** Projects an agent value into a user or assistant journal message.
+ * @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 const appendAgentMessageEffect = Effect.fn("AgentJournal.appendAgentMessage")(function* (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,
+    };
+    yield* appendBrowserMessageEffect(resolved, receipt, claim, message);
+});
+/** Appends a bounded browser message under the current execution claim.
+ * @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 const appendBrowserMessageEffect = Effect.fn("AgentJournal.appendBrowserMessage")(function* (resolved, receipt, claim, message) {
+    yield* httpBoundary("agent.appendBrowserMessage", () => 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,
+    }));
+});
+/** Selects the configured chat field before rendering a public message.
+ * @param resolved - Authorized agent descriptor, provider and durable request scope.
+ * @param role - Public message role used to select the configured chat projection.
+ * @param value - Value inspected, validated or projected by this operation.
+ * @returns The configured chat text field, raw string input, or a JSON representation.
+ */
+export 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);
+}
+/** Persists the terminal run outcome and receipt retention deadline.
+ * @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 const completeAgentRunEffect = Effect.fn("AgentJournal.completeAgentRun")(function* (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 };
+    yield* httpBoundary("agent.completeAgentRun", () => 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(),
+    }));
+});
+/** Marks an owned run interrupted using its expected generation and fencing claim.
+ * @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 const interruptAgentRunEffect = Effect.fn("AgentJournal.interruptAgentRun")(function* (resolved, receipt, claim, expectedOwner, reason) {
+    yield* httpBoundary("agent.interruptAgentRun", () => 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(),
+    }));
+});
+/** Lazy agent domain workflows with typed native failures. */
+export class AgentJournal extends Context.Service()("@relkit/runtime-hono/AgentJournal") {
+}
+/** Live operations; tests can replace the same contract. */
+export const AgentJournalLive = Layer.succeed(AgentJournal, {
+    appendAgentMessage: (...args) => observeHttp("agent.appendAgentMessage", appendAgentMessageEffect(...args)),
+    appendBrowserMessage: (...args) => observeHttp("agent.appendBrowserMessage", appendBrowserMessageEffect(...args)),
+    completeAgentRun: (...args) => observeHttp("agent.completeAgentRun", completeAgentRunEffect(...args)),
+    interruptAgentRun: (...args) => observeHttp("agent.interruptAgentRun", interruptAgentRunEffect(...args)),
+});
+//# sourceMappingURL=agent-journal.js.map

package/dist/agent-journal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-journal.js","sourceRoot":"","sources":["../src/agent-journal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAK7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEnE;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,MAAM,CAAC,EAAE,CAAC,iCAAiC,CAAC,CAAC,QAAQ,CAAC,EAC5F,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,KAAK,CAAC,CAAC,0BAA0B,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,MAAM,CAAC,EAAE,CAAC,mCAAmC,CAAC,CAAC,QAAQ,CAAC,EAChG,QAAuB,EACvB,OAAyB,EACzB,KAAqB,EACrB,OAAuB;IAEvB,KAAK,CAAC,CAAC,YAAY,CAAC,4BAA4B,EAAE,GAAG,EAAE,CACrD,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC;QAC9B,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,CACH,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,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;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,EAAE,CAAC,+BAA+B,CAAC,CAAC,QAAQ,CAAC,EACxF,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,KAAK,CAAC,CAAC,YAAY,CAAC,wBAAwB,EAAE,GAAG,EAAE,CACjD,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;QAC5B,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,CACH,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC,EAAE,CAAC,gCAAgC,CAAC,CAAC,QAAQ,CAAC,EAC1F,QAAuB,EACvB,OAAyB,EACzB,KAAqB,EACrB,aAAuB,EACvB,MAAoE;IAEpE,KAAK,CAAC,CAAC,YAAY,CAAC,yBAAyB,EAAE,GAAG,EAAE,CAClD,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QAClC,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,CACH,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,MAAM,OAAO,YAAa,SAAQ,OAAO,CAAC,OAAO,EAQ9C,CAAC,mCAAmC,CAAC;CAAG;AAE3C,4DAA4D;AAC5D,MAAM,CAAC,MAAM,gBAAgB,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE;IAC1D,kBAAkB,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CAC9B,WAAW,CAAC,0BAA0B,EAAE,wBAAwB,CAAC,GAAG,IAAI,CAAC,CAAC;IAC5E,oBAAoB,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CAChC,WAAW,CAAC,4BAA4B,EAAE,0BAA0B,CAAC,GAAG,IAAI,CAAC,CAAC;IAChF,gBAAgB,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CAC5B,WAAW,CAAC,wBAAwB,EAAE,sBAAsB,CAAC,GAAG,IAAI,CAAC,CAAC;IACxE,iBAAiB,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CAC7B,WAAW,CAAC,yBAAyB,EAAE,uBAAuB,CAAC,GAAG,IAAI,CAAC,CAAC;CAC3E,CAAC,CAAC"}

package/dist/agent-observation.d.ts

@@ -0,0 +1,32 @@
+import { Context, Layer, Stream } from "effect";
+import { HttpBoundaryError } from "./http-effect.js";
+import { type AgentInput } from "./agent-rpc-support.js";
+import type { RpcContext } from "./rpc.js";
+import type { RouteMaterializationOptions } from "./materialize-routes.js";
+import type { AgentObservationFrame } from "./agent-observation.types.js";
+/** Builds a journal feed whose waits and iterator scope are owned by its consumer.
+ * @param input - Agent identity, thread and required resume checkpoint.
+ * @param context - Trusted transport request context.
+ * @param options - Active generation and provider configuration.
+ * @param signal - Optional transport cancellation signal.
+ * @returns A lazy stream with typed native failures and fresh authorization before every frame.
+ */
+declare function observation(input: AgentInput, context: RpcContext, options: RouteMaterializationOptions, signal?: AbortSignal): Stream.Stream<AgentObservationFrame, HttpBoundaryError, never>;
+declare const AgentObservation_base: Context.ServiceClass<AgentObservation, "@relkit/runtime-hono/AgentObservation", {
+    readonly observe: typeof observation;
+}>;
+/** Journal observations preserve fresh authorization, bounded pages and cancellable waits. */
+export declare class AgentObservation extends AgentObservation_base {
+}
+/** Live observation implementation; each consumer owns its stream scope. */
+export declare const AgentObservationLive: Layer.Layer<AgentObservation, never, never>;
+/** Opens an authorized agent journal at the native transport edge.
+ * @param input - Agent identity, thread and checkpoint.
+ * @param context - Trusted transport context.
+ * @param options - Generation dependencies.
+ * @param signal - Optional transport cancellation.
+ * @returns A lazy iterable; returning releases its pending provider wait.
+ */
+export declare function observeAgent(input: AgentInput, context: RpcContext, options: RouteMaterializationOptions, signal?: AbortSignal): AsyncIterable<AgentObservationFrame>;
+export {};
+//# sourceMappingURL=agent-observation.d.ts.map

package/dist/agent-observation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-observation.d.ts","sourceRoot":"","sources":["../src/agent-observation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,OAAO,EAAU,KAAK,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGvE,OAAO,EAA8B,iBAAiB,EAAe,MAAM,kBAAkB,CAAC;AAC9F,OAAO,EAAsC,KAAK,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAG7F,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAC3E,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAG1E;;;;;;GAMG;AACH,iBAAS,WAAW,CAClB,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,UAAU,EACnB,OAAO,EAAE,2BAA2B,EACpC,MAAM,CAAC,EAAE,WAAW,kEA2FrB;;sBAKqB,OAAO,WAAW;;AAHxC,8FAA8F;AAC9F,qBAAa,gBAAiB,SAAQ,qBAGM;CAAG;AAE/C,4EAA4E;AAC5E,eAAO,MAAM,oBAAoB,6CAE/B,CAAC;AAEH;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,UAAU,EACnB,OAAO,EAAE,2BAA2B,EACpC,MAAM,CAAC,EAAE,WAAW,GACnB,aAAa,CAAC,qBAAqB,CAAC,CAMtC"}

package/dist/agent-observation.js

@@ -0,0 +1,96 @@
+import { Clock, Context, Effect, Layer, Option, Stream } from "effect";
+import { agentClientEvents } from "@relkit/agents";
+import { REALTIME_RUNTIME_LIMITS } from "@relkit/contracts";
+import { httpBoundary, httpIterable, HttpBoundaryError, observeHttp } from "./http-effect.js";
+import { agentContext, requireAgentThreadId } from "./agent-rpc-support.js";
+import { assertExpectedIdentity } from "./rpc-identity.js";
+import { clientAgentSnapshot } from "./agent-compatibility.js";
+import { observeHttpStream } from "./http-stream-observation.js";
+/** Builds a journal feed whose waits and iterator scope are owned by its consumer.
+ * @param input - Agent identity, thread and required resume checkpoint.
+ * @param context - Trusted transport request context.
+ * @param options - Active generation and provider configuration.
+ * @param signal - Optional transport cancellation signal.
+ * @returns A lazy stream with typed native failures and fresh authorization before every frame.
+ */
+function observation(input, context, options, signal) {
+    return Stream.unwrap(Effect.gen(function* () {
+        const threadId = requireAgentThreadId(input.threadId);
+        if (input.after === undefined)
+            return yield* Effect.fail(new HttpBoundaryError({
+                operation: "agent.observe",
+                cause: new TypeError("checkpoint is required."),
+            }));
+        /** Refreshes the principal and checks observation authorization before a page or frame.
+         * @returns The currently authorized agent provider scope.
+         */
+        const authorize = Effect.fn("AgentObservation.authorize")(function* () {
+            yield* httpBoundary("agent.observe.identity", () => assertExpectedIdentity(context, options.clientIdentity, input.expectedIdentity));
+            return yield* httpBoundary("agent.observe.authorize", () => agentContext({ ...input, threadId }, context, options, "observe"));
+        });
+        const initial = yield* authorize();
+        const checkpoint = input.after;
+        return Stream.paginate({ after: checkpoint, wait: false }, Effect.fn("AgentObservation.readPage")(function* (state) {
+            if (signal?.aborted)
+                return [[], Option.none()];
+            const resolved = yield* authorize();
+            if (state.wait) {
+                const now = yield* Clock.currentTimeMillis;
+                yield* httpBoundary("agent.observe.wait", (fiberSignal) => resolved.provider.waitForJournal({
+                    ...resolved.scope,
+                    threadId,
+                    after: state.after,
+                    deadlineMs: now + 15_000,
+                    signal: signal === undefined ? fiberSignal : AbortSignal.any([signal, fiberSignal]),
+                }));
+            }
+            const page = yield* observeHttp("agent.observe.read", httpBoundary("agent.observe.read", () => resolved.provider.readJournal({
+                ...resolved.scope,
+                threadId,
+                after: state.after,
+                limit: 100,
+                maxEncodedBytes: 1024 * 1024,
+            })));
+            const frames = [];
+            if (page.gap !== undefined) {
+                const snapshot = clientAgentSnapshot(yield* httpBoundary("agent.observe.snapshot", () => resolved.provider.loadThread({
+                    ...resolved.scope,
+                    threadId,
+                    maxEncodedBytes: REALTIME_RUNTIME_LIMITS.initialSnapshotBytes,
+                })));
+                frames.push({ kind: "gap", reason: page.gap, snapshot });
+                return [frames, Option.some({ after: snapshot.checkpoint, wait: false })];
+            }
+            for (const record of page.records)
+                for (const event of agentClientEvents(record))
+                    frames.push({ kind: "event", event });
+            if (page.records.some((record) => ["approval", "control", "terminal", "interruption"].includes(record.kind))) {
+                const snapshot = clientAgentSnapshot(yield* httpBoundary("agent.observe.snapshot", () => resolved.provider.loadThread({
+                    ...resolved.scope,
+                    threadId,
+                    maxEncodedBytes: REALTIME_RUNTIME_LIMITS.initialSnapshotBytes,
+                })));
+                frames.push({ kind: "snapshot", snapshot });
+            }
+            return [frames, Option.some({ after: page.checkpoint, wait: !page.hasMore })];
+        })).pipe(Stream.mapEffect((frame) => authorize().pipe(Effect.as(frame))));
+    }));
+}
+/** Journal observations preserve fresh authorization, bounded pages and cancellable waits. */
+export class AgentObservation extends Context.Service()("@relkit/runtime-hono/AgentObservation") {
+}
+/** Live observation implementation; each consumer owns its stream scope. */
+export const AgentObservationLive = Layer.succeed(AgentObservation, {
+    observe: (...args) => observeHttpStream("agent.observe", observation(...args)),
+});
+/** Opens an authorized agent journal at the native transport edge.
+ * @param input - Agent identity, thread and checkpoint.
+ * @param context - Trusted transport context.
+ * @param options - Generation dependencies.
+ * @param signal - Optional transport cancellation.
+ * @returns A lazy iterable; returning releases its pending provider wait.
+ */
+export function observeAgent(input, context, options, signal) {
+    return httpIterable(Stream.unwrap(Effect.map(AgentObservation, (service) => service.observe(input, context, options, signal))).pipe(Stream.provide(AgentObservationLive)));
+}
+//# sourceMappingURL=agent-observation.js.map

package/dist/agent-observation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-observation.js","sourceRoot":"","sources":["../src/agent-observation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC9F,OAAO,EAAE,YAAY,EAAE,oBAAoB,EAAmB,MAAM,wBAAwB,CAAC;AAC7F,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAI/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAEjE;;;;;;GAMG;AACH,SAAS,WAAW,CAClB,KAAiB,EACjB,OAAmB,EACnB,OAAoC,EACpC,MAAoB;IAEpB,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;YAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,iBAAiB,CAAC;gBACpB,SAAS,EAAE,eAAe;gBAC1B,KAAK,EAAE,IAAI,SAAS,CAAC,yBAAyB,CAAC;aAChD,CAAC,CACH,CAAC;QACJ;;WAEG;QACH,MAAM,SAAS,GAAG,MAAM,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC,QAAQ,CAAC;YACjE,KAAK,CAAC,CAAC,YAAY,CAAC,wBAAwB,EAAE,GAAG,EAAE,CACjD,sBAAsB,CAAC,OAAO,EAAE,OAAO,CAAC,cAAe,EAAE,KAAK,CAAC,gBAAgB,CAAC,CACjF,CAAC;YACF,OAAO,KAAK,CAAC,CAAC,YAAY,CAAC,yBAAyB,EAAE,GAAG,EAAE,CACzD,YAAY,CAAC,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAClE,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,KAAK,CAAC,KAAoE,CAAC;QAC9F,OAAO,MAAM,CAAC,QAAQ,CACpB,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,EAClC,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAK;YACrD,IAAI,MAAM,EAAE,OAAO;gBAAE,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAgB,CAAU,CAAC;YACvE,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC;YACpC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBACf,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;gBAC3C,KAAK,CAAC,CAAC,YAAY,CAAC,oBAAoB,EAAE,CAAC,WAAW,EAAE,EAAE,CACxD,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;oBAC/B,GAAG,QAAQ,CAAC,KAAK;oBACjB,QAAQ;oBACR,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,UAAU,EAAE,GAAG,GAAG,MAAM;oBACxB,MAAM,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;iBACpF,CAAC,CACH,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,WAAW,CAC7B,oBAAoB,EACpB,YAAY,CAAC,oBAAoB,EAAE,GAAG,EAAE,CACtC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;gBAC5B,GAAG,QAAQ,CAAC,KAAK;gBACjB,QAAQ;gBACR,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,KAAK,EAAE,GAAG;gBACV,eAAe,EAAE,IAAI,GAAG,IAAI;aAC7B,CAAC,CACH,CACF,CAAC;YACF,MAAM,MAAM,GAA4B,EAAE,CAAC;YAC3C,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,QAAQ,GAAG,mBAAmB,CAClC,KAAK,CAAC,CAAC,YAAY,CAAC,wBAAwB,EAAE,GAAG,EAAE,CACjD,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;oBAC3B,GAAG,QAAQ,CAAC,KAAK;oBACjB,QAAQ;oBACR,eAAe,EAAE,uBAAuB,CAAC,oBAAoB;iBAC9D,CAAC,CACH,CACF,CAAC;gBACF,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACzD,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAU,CAAC;YACrF,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO;gBAC/B,KAAK,MAAM,KAAK,IAAI,iBAAiB,CAAC,MAAM,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YACvF,IACE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC3B,CAAC,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAC1E,EACD,CAAC;gBACD,MAAM,QAAQ,GAAG,mBAAmB,CAClC,KAAK,CAAC,CAAC,YAAY,CAAC,wBAAwB,EAAE,GAAG,EAAE,CACjD,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;oBAC3B,GAAG,QAAQ,CAAC,KAAK;oBACjB,QAAQ;oBACR,eAAe,EAAE,uBAAuB,CAAC,oBAAoB;iBAC9D,CAAC,CACH,CACF,CAAC;gBACF,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC9C,CAAC;YACD,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAU,CAAC;QACzF,CAAC,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,MAAM,OAAO,gBAAiB,SAAQ,OAAO,CAAC,OAAO,EAGlD,CAAC,uCAAuC,CAAC;CAAG;AAE/C,4EAA4E;AAC5E,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAAE;IAClE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,eAAe,EAAE,WAAW,CAAC,GAAG,IAAI,CAAC,CAAC;CAC/E,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAiB,EACjB,OAAmB,EACnB,OAAoC,EACpC,MAAoB;IAEpB,OAAO,YAAY,CACjB,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAC5F,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAC7C,CAAC;AACJ,CAAC"}

package/dist/agent-observation.types.d.ts

@@ -0,0 +1,16 @@
+import type { agentClientEvents } from "@relkit/agents";
+import type { agentContext } from "./agent-rpc-support.js";
+import type { clientAgentSnapshot } from "./agent-compatibility.js";
+/** Public observation frames after compatibility projection and fresh authorization. */
+export type AgentObservationFrame = {
+    readonly kind: "event";
+    readonly event: ReturnType<typeof agentClientEvents>[number];
+} | {
+    readonly kind: "snapshot";
+    readonly snapshot: ReturnType<typeof clientAgentSnapshot>;
+} | {
+    readonly kind: "gap";
+    readonly reason: NonNullable<Awaited<ReturnType<Awaited<ReturnType<typeof agentContext>>["provider"]["readJournal"]>>["gap"]>;
+    readonly snapshot: ReturnType<typeof clientAgentSnapshot>;
+};
+//# sourceMappingURL=agent-observation.types.d.ts.map

package/dist/agent-observation.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-observation.types.d.ts","sourceRoot":"","sources":["../src/agent-observation.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACxD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAEpE,wFAAwF;AACxF,MAAM,MAAM,qBAAqB,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAA;CAAE,GACxF;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,OAAO,mBAAmB,CAAC,CAAA;CAAE,GACxF;IACE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAC1B,OAAO,CACL,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,aAAa,CAAC,CAAC,CAChF,CAAC,KAAK,CAAC,CACT,CAAC;IACF,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,OAAO,mBAAmB,CAAC,CAAC;CAC3D,CAAC"}

package/dist/agent-observation.types.js

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

package/dist/agent-observation.types.js.map

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

package/dist/agent-progress-sink.d.ts

@@ -1,7 +1,42 @@
+import { Context, Effect, Layer } from "effect";
+import { HttpBoundaryError } from "./http-effect.js";
+import type { ResolvedAgent } from "./agent-progress-sink.types.js";
 import type { ProgressSink } from "@relkit/invocation";
 import type { ActiveAgentExecution } from "./agent-active-execution.js";
-import { type agentContext } from "./agent-rpc-support.js";
-type ResolvedAgent = Awaited<ReturnType<typeof agentContext>>;
+/** Allocates independent journal state; native effects remain lazy.
+ * @param resolved - Authorized agent descriptor, provider and durable request scope.
+ * @param active - Mutable state owned by the accepted run and its continuation chain.
+ * @param tool - Declared tool or tool-call identity used for policy and attribution.
+ * @returns A lazy Effect allocating independent progress state and its emission operation.
+ */
+export declare function makeAgentProgress(resolved: ResolvedAgent, active: ActiveAgentExecution, tool?: {
+    readonly toolCallId: string;
+    readonly toolId: string;
+}): Effect.Effect<Readonly<{
+    emit: (value: unknown, signal: AbortSignal) => Effect.Effect<undefined, HttpBoundaryError, never>;
+}>, never, never>;
+declare const AgentProgress_base: Context.ServiceClass<AgentProgress, "@relkit/runtime-hono/AgentProgress", Readonly<{
+    emit: (value: unknown, signal: AbortSignal) => Effect.Effect<undefined, HttpBoundaryError, never>;
+}>>;
+/** Owns per-run journal emission and progress state. */
+export declare class AgentProgress extends AgentProgress_base {
+}
+/** Allocates one stateful journal service per supplied layer.
+ * @param resolved - Authorized agent descriptor, provider and durable request scope.
+ * @param active - Mutable state owned by the accepted run and its continuation chain.
+ * @param tool - Declared tool or tool-call identity used for policy and attribution.
+ * @returns A layer allocating one independent progress service and its emission state.
+ */
+export declare function AgentProgressLive(resolved: ResolvedAgent, active: ActiveAgentExecution, tool?: {
+    readonly toolCallId: string;
+    readonly toolId: string;
+}): Layer.Layer<AgentProgress, never, never>;
+/** Builds the native journal compatibility adapter over one owned service instance.
+ * @param resolved - Authorized agent descriptor, provider and durable request scope.
+ * @param active - Mutable state owned by the accepted run and its continuation chain.
+ * @param tool - Declared tool or tool-call identity used for policy and attribution.
+ * @returns A native progress sink backed by one owned progress service.
+ */
 export declare function createAgentProgressSink(resolved: ResolvedAgent, active: ActiveAgentExecution, tool?: {
     readonly toolCallId: string;
     readonly toolId: string;

package/dist/agent-progress-sink.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"agent-progress-sink.d.ts","sourceRoot":"","sources":["../src/agent-progress-sink.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACxE,OAAO,EAAqC,KAAK,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAE9F,KAAK,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,YAAY,CAAC,CAAC,CAAC;AAE9D,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,aAAa,EACvB,MAAM,EAAE,oBAAoB,EAC5B,IAAI,CAAC,EAAE;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC9D,YAAY,CAgDd"}
+{"version":3,"file":"agent-progress-sink.d.ts","sourceRoot":"","sources":["../src/agent-progress-sink.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAgB,iBAAiB,EAAwB,MAAM,kBAAkB,CAAC;AACzF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAGxE;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,aAAa,EACvB,MAAM,EAAE,oBAAoB,EAC5B,IAAI,CAAC,EAAE;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE;;kBA2DhE;;;;AAED,wDAAwD;AACxD,qBAAa,aAAc,SAAQ,kBAGM;CAAG;AAE5C;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,aAAa,EACvB,MAAM,EAAE,oBAAoB,EAC5B,IAAI,CAAC,EAAE;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,4CAGhE;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,aAAa,EACvB,MAAM,EAAE,oBAAoB,EAC5B,IAAI,CAAC,EAAE;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC9D,YAAY,CAMd"}

package/dist/agent-progress-sink.js

@@ -1,52 +1,87 @@
+import { Context, Effect, Layer } from "effect";
+import { httpBoundary, HttpBoundaryError, observeHttp, runHttp } from "./http-effect.js";
 import { createOperationId } from "@relkit/realtime";
 import { agentLimits, digest, encodedBytes } from "./agent-rpc-support.js";
-export function createAgentProgressSink(resolved, active, tool) {
-    let progressRunId = active.receipt.runId;
-    let createdAt = new Date().toISOString();
-    return Object.freeze({
-        emit: async (value, signal) => {
-            if (signal.aborted)
-                throw signal.reason;
-            if (progressRunId !== active.receipt.runId) {
-                progressRunId = active.receipt.runId;
-                createdAt = new Date().toISOString();
-            }
-            const messageId = tool === undefined
-                ? `${active.receipt.runId}:progress`
-                : `${active.receipt.runId}:tool:${tool.toolCallId}:progress`;
-            const message = {
-                messageId,
-                runId: active.receipt.runId,
-                role: "tool",
-                parts: [
-                    {
-                        partId: `${messageId}:latest`,
-                        kind: "progress",
-                        scope: tool === undefined ? "run" : "tool",
-                        ...(tool ?? {}),
-                        value,
-                    },
-                ],
-                createdAt,
-            };
-            await resolved.provider.appendJournal({
-                ...resolved.scope,
-                threadId: active.receipt.threadId,
-                runId: active.receipt.runId,
-                claim: active.claim,
-                operationId: createOperationId(),
-                semanticDigest: digest(message),
-                record: {
-                    recordId: crypto.randomUUID(),
+/** Allocates independent journal state; native effects remain lazy.
+ * @param resolved - Authorized agent descriptor, provider and durable request scope.
+ * @param active - Mutable state owned by the accepted run and its continuation chain.
+ * @param tool - Declared tool or tool-call identity used for policy and attribution.
+ * @returns A lazy Effect allocating independent progress state and its emission operation.
+ */
+export function makeAgentProgress(resolved, active, tool) {
+    return Effect.sync(() => {
+        let progressRunId = active.receipt.runId;
+        let createdAt = new Date().toISOString();
+        return Object.freeze({
+            emit: Effect.fn("AgentProgress.emit")(function* (value, signal) {
+                if (signal.aborted)
+                    return yield* Effect.fail(new HttpBoundaryError({ operation: "agent.content.emit", cause: signal.reason }));
+                if (progressRunId !== active.receipt.runId) {
+                    progressRunId = active.receipt.runId;
+                    createdAt = new Date().toISOString();
+                }
+                const messageId = tool === undefined
+                    ? `${active.receipt.runId}:progress`
+                    : `${active.receipt.runId}:tool:${tool.toolCallId}:progress`;
+                const message = {
+                    messageId,
                     runId: active.receipt.runId,
-                    kind: "message",
-                    publicValue: message,
-                    encodedBytes: encodedBytes(message),
-                    createdAt: new Date().toISOString(),
-                },
-                limits: agentLimits,
-            });
-        },
+                    role: "tool",
+                    parts: [
+                        {
+                            partId: `${messageId}:latest`,
+                            kind: "progress",
+                            scope: tool === undefined ? "run" : "tool",
+                            ...(tool ?? {}),
+                            value,
+                        },
+                    ],
+                    createdAt,
+                };
+                yield* httpBoundary("agent.content.emit", () => resolved.provider.appendJournal({
+                    ...resolved.scope,
+                    threadId: active.receipt.threadId,
+                    runId: active.receipt.runId,
+                    claim: active.claim,
+                    operationId: createOperationId(),
+                    semanticDigest: digest(message),
+                    record: {
+                        recordId: crypto.randomUUID(),
+                        runId: active.receipt.runId,
+                        kind: "message",
+                        publicValue: message,
+                        encodedBytes: encodedBytes(message),
+                        createdAt: new Date().toISOString(),
+                    },
+                    limits: agentLimits,
+                }));
+            }, (effect) => observeHttp("agent.content.emit", effect)),
+        });
     });
 }
+/** Owns per-run journal emission and progress state. */
+export class AgentProgress extends Context.Service()("@relkit/runtime-hono/AgentProgress") {
+}
+/** Allocates one stateful journal service per supplied layer.
+ * @param resolved - Authorized agent descriptor, provider and durable request scope.
+ * @param active - Mutable state owned by the accepted run and its continuation chain.
+ * @param tool - Declared tool or tool-call identity used for policy and attribution.
+ * @returns A layer allocating one independent progress service and its emission state.
+ */
+export function AgentProgressLive(resolved, active, tool) {
+    return Layer.effect(AgentProgress, makeAgentProgress(resolved, active, tool));
+}
+/** Builds the native journal compatibility adapter over one owned service instance.
+ * @param resolved - Authorized agent descriptor, provider and durable request scope.
+ * @param active - Mutable state owned by the accepted run and its continuation chain.
+ * @param tool - Declared tool or tool-call identity used for policy and attribution.
+ * @returns A native progress sink backed by one owned progress service.
+ */
+export function createAgentProgressSink(resolved, active, tool) {
+    const service = Effect.runSync(makeAgentProgress(resolved, active, tool));
+    return {
+        ...service,
+        emit: (value, signal) => runHttp(service.emit(value, signal), signal),
+    };
+}
 //# sourceMappingURL=agent-progress-sink.js.map

package/dist/agent-progress-sink.js.map

@@ -1 +1 @@
-{"version":3,"file":"agent-progress-sink.js","sourceRoot":"","sources":["../src/agent-progress-sink.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAErD,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAqB,MAAM,wBAAwB,CAAC;AAI9F,MAAM,UAAU,uBAAuB,CACrC,QAAuB,EACvB,MAA4B,EAC5B,IAA+D;IAE/D,IAAI,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;IACzC,IAAI,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACzC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,KAAK,EAAE,KAAc,EAAE,MAAmB,EAAE,EAAE;YAClD,IAAI,MAAM,CAAC,OAAO;gBAAE,MAAM,MAAM,CAAC,MAAM,CAAC;YACxC,IAAI,aAAa,KAAK,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;gBAC3C,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;gBACrC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACvC,CAAC;YACD,MAAM,SAAS,GACb,IAAI,KAAK,SAAS;gBAChB,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,WAAW;gBACpC,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,SAAS,IAAI,CAAC,UAAU,WAAW,CAAC;YACjE,MAAM,OAAO,GAAG;gBACd,SAAS;gBACT,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK;gBAC3B,IAAI,EAAE,MAAe;gBACrB,KAAK,EAAE;oBACL;wBACE,MAAM,EAAE,GAAG,SAAS,SAAS;wBAC7B,IAAI,EAAE,UAAmB;wBACzB,KAAK,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAE,KAAe,CAAC,CAAC,CAAE,MAAgB;wBAChE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;wBACf,KAAK;qBACN;iBACF;gBACD,SAAS;aACV,CAAC;YACF,MAAM,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC;gBACpC,GAAG,QAAQ,CAAC,KAAK;gBACjB,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ;gBACjC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK;gBAC3B,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,WAAW,EAAE,iBAAiB,EAAE;gBAChC,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC;gBAC/B,MAAM,EAAE;oBACN,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE;oBAC7B,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK;oBAC3B,IAAI,EAAE,SAAS;oBACf,WAAW,EAAE,OAAO;oBACpB,YAAY,EAAE,YAAY,CAAC,OAAO,CAAC;oBACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iBACpC;gBACD,MAAM,EAAE,WAAW;aACpB,CAAC,CAAC;QACL,CAAC;KACF,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"agent-progress-sink.js","sourceRoot":"","sources":["../src/agent-progress-sink.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAGzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAErD,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAE3E;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,QAAuB,EACvB,MAA4B,EAC5B,IAA+D;IAE/D,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACtB,IAAI,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QACzC,IAAI,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACzC,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CACnC,QAAQ,CAAC,EAAE,KAAc,EAAE,MAAmB;gBAC5C,IAAI,MAAM,CAAC,OAAO;oBAChB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,iBAAiB,CAAC,EAAE,SAAS,EAAE,oBAAoB,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CACjF,CAAC;gBACJ,IAAI,aAAa,KAAK,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;oBAC3C,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;oBACrC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;gBACvC,CAAC;gBACD,MAAM,SAAS,GACb,IAAI,KAAK,SAAS;oBAChB,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,WAAW;oBACpC,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,SAAS,IAAI,CAAC,UAAU,WAAW,CAAC;gBACjE,MAAM,OAAO,GAAG;oBACd,SAAS;oBACT,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK;oBAC3B,IAAI,EAAE,MAAe;oBACrB,KAAK,EAAE;wBACL;4BACE,MAAM,EAAE,GAAG,SAAS,SAAS;4BAC7B,IAAI,EAAE,UAAmB;4BACzB,KAAK,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAE,KAAe,CAAC,CAAC,CAAE,MAAgB;4BAChE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;4BACf,KAAK;yBACN;qBACF;oBACD,SAAS;iBACV,CAAC;gBACF,KAAK,CAAC,CAAC,YAAY,CAAC,oBAAoB,EAAE,GAAG,EAAE,CAC7C,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC;oBAC9B,GAAG,QAAQ,CAAC,KAAK;oBACjB,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ;oBACjC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK;oBAC3B,KAAK,EAAE,MAAM,CAAC,KAAK;oBACnB,WAAW,EAAE,iBAAiB,EAAE;oBAChC,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC;oBAC/B,MAAM,EAAE;wBACN,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE;wBAC7B,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK;wBAC3B,IAAI,EAAE,SAAS;wBACf,WAAW,EAAE,OAAO;wBACpB,YAAY,EAAE,YAAY,CAAC,OAAO,CAAC;wBACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;qBACpC;oBACD,MAAM,EAAE,WAAW;iBACpB,CAAC,CACH,CAAC;YACJ,CAAC,EACD,CAAC,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,oBAAoB,EAAE,MAAM,CAAC,CACtD;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,wDAAwD;AACxD,MAAM,OAAO,aAAc,SAAQ,OAAO,CAAC,OAAO,EAG/C,CAAC,oCAAoC,CAAC;CAAG;AAE5C;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,QAAuB,EACvB,MAA4B,EAC5B,IAA+D;IAE/D,OAAO,KAAK,CAAC,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAChF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,QAAuB,EACvB,MAA4B,EAC5B,IAA+D;IAE/D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IAC1E,OAAO;QACL,GAAG,OAAO;QACV,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC;KACtE,CAAC;AACJ,CAAC"}

package/dist/agent-progress-sink.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-progress-sink.types.d.ts.map

package/dist/agent-progress-sink.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-progress-sink.types.d.ts","sourceRoot":"","sources":["../src/agent-progress-sink.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-progress-sink.types.js

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

package/dist/agent-progress-sink.types.js.map

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

package/dist/agent-protocol-encoding.d.ts

@@ -1,3 +1,7 @@
 import type { AgentProtocolFrame } from "./agent-protocol-stream.js";
+/** Translate one native agent frame into AG-UI protocol events.
+ * @param frame - Native frame to validate or encode.
+ * @returns Ordered AG-UI events for state, text, tools and terminal outcomes.
+ */
 export declare function agUiFrames(frame: AgentProtocolFrame): Iterable<unknown>;
 //# sourceMappingURL=agent-protocol-encoding.d.ts.map

package/dist/agent-protocol-encoding.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"agent-protocol-encoding.d.ts","sourceRoot":"","sources":["../src/agent-protocol-encoding.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAErE,wBAAiB,UAAU,CAAC,KAAK,EAAE,kBAAkB,GAAG,QAAQ,CAAC,OAAO,CAAC,CAgCxE"}
+{"version":3,"file":"agent-protocol-encoding.d.ts","sourceRoot":"","sources":["../src/agent-protocol-encoding.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAErE;;;GAGG;AACH,wBAAiB,UAAU,CAAC,KAAK,EAAE,kBAAkB,GAAG,QAAQ,CAAC,OAAO,CAAC,CAgCxE"}

package/dist/agent-protocol-encoding.js

@@ -1,5 +1,9 @@
 import { EventType } from "@ag-ui/core";
 import { AGENT_STREAM_VERSION } from "@relkit/contracts";
+/** Translate one native agent frame into AG-UI protocol events.
+ * @param frame - Native frame to validate or encode.
+ * @returns Ordered AG-UI events for state, text, tools and terminal outcomes.
+ */
 export function* agUiFrames(frame) {
     if (frame.kind === "state") {
         yield { type: EventType.STATE_SNAPSHOT, snapshot: frame.value };
@@ -42,6 +46,10 @@ export function* agUiFrames(frame) {
         yield { type: EventType.RUN_ERROR, message: "Agent execution failed.", code: frame.status };
     }
 }
+/** Translate tool input and result phases into AG-UI tool events.
+ * @param frame - Native frame to validate or encode.
+ * @returns Tool start, argument, end, result or custom events.
+ */
 function* agUiToolFrames(frame) {
     if (["started", "input-streaming", "input-ready"].includes(frame.state)) {
         if (frame.inputStarted)
@@ -72,6 +80,10 @@ function* agUiToolFrames(frame) {
         yield { type: EventType.CUSTOM, name: "relkit.tool", value: frame };
     }
 }
+/** Encode execution events with native journal metadata for replay correlation.
+ * @param frame - Native frame to validate or encode.
+ * @returns An AG-UI state snapshot or custom event with RELKIT metadata.
+ */
 function executionEvent(frame) {
     const value = frame.value;
     if (!isExecutionEvent(value)) {
@@ -104,11 +116,19 @@ function executionEvent(frame) {
         metadata,
     };
 }
+/** Read a nonempty custom event name or use the RELKIT fallback.
+ * @param value - Value to validate or project.
+ * @returns The custom name, defaulting to relkit.custom.
+ */
 function customName(value) {
     return isRecord(value) && typeof value.name === "string" && value.name !== ""
         ? value.name
         : "relkit.custom";
 }
+/** Validate the metadata needed to encode native execution events.
+ * @param value - Value to validate or project.
+ * @returns Whether sequence, scope, kind and timestamp have supported shapes.
+ */
 function isExecutionEvent(value) {
     return (isRecord(value) &&
         typeof value.nativeSequence === "number" &&
@@ -117,6 +137,10 @@ function isExecutionEvent(value) {
         value.scope.every((entry) => typeof entry === "string") &&
         typeof value.occurredAt === "string");
 }
+/** Check whether a value is a non-null object suitable for field inspection.
+ * @param value - Value to validate or project.
+ * @returns Whether object fields can be inspected.
+ */
 function isRecord(value) {
     return value !== null && typeof value === "object" && !Array.isArray(value);
 }