@fishwithcat/dsh-agent 0.0.0-stage → 0.2.2-alpha.3

package/lib/types/index.d.ts

@@ -0,0 +1,370 @@
+/**
+ * Agent service: live registry, factory delegation, and process-local
+ * initiator scope. Concrete creation and driving belong to the loop.
+ *
+ * @module @deepseek-ai/dsh-agent
+ */
+import { Context, Service } from '@deepseek-ai/cordis';
+import type { Session, SessionEvent, SessionId, SessionLogOffset } from '@deepseek-ai/dsh-session';
+import type { Agent, TurnBoundaryProjection } from './types.ts';
+import type { AgentOptions, SessionStartSource } from './runtime-types.ts';
+export * from './runtime-types.ts';
+export * from './types.ts';
+export * from './assistant-stream-state.ts';
+export { AgentModel, modelSelectionProjectionDefinition, installModelSelection } from './model-selection.ts';
+export type { ModelSelectionProjectionState } from './model-selection.ts';
+export type * from './projection.ts';
+export * from './consumed-work.ts';
+export { agentCarrier, agentEvents, assembleContextFor, emitAgentEvent } from './dispatch.ts';
+export type { AgentEventDispatch, AgentSubjectEvent } from './dispatch.ts';
+declare module '@deepseek-ai/cordis' {
+    interface Context {
+        agents: AgentRegistry;
+    }
+}
+/**
+ * Synchronous finalizer returned by unpublished Agent setup when its
+ * contributions need validation at the exact publication commit point.
+ */
+export interface AgentSetupCommit {
+    /**
+     * Validate and commit the prepared setup immediately before publication.
+     * @throws when publication must roll the unpublished Agent back.
+     */
+    commit(): void;
+}
+/**
+ * Compose an unpublished Agent scope and optionally return its publication commit.
+ * @param agentCtx - unpublished Agent scope.
+ * @param agent - unpublished Agent being composed.
+ * @returns an optional synchronous commit invoked after setup awaits settle and immediately before publication.
+ */
+export type AgentSetup = (agentCtx: Context, agent: Agent) => AgentSetupCommit | Promise<AgentSetupCommit | void> | void;
+/**
+ * Options for programmatically creating an agent through the registry factory
+ * ({@link AgentRegistry.create}). The caller supplies the single live
+ * `sessionId` shared by the agent registry and session log (e.g. an
+ * ACP-generated id), plus optional session metadata (the validated `cwd`, fork
+ * lineage); the factory creates the session and agent under that identity.
+ */
+export interface CreateAgentOptions {
+    /** The live agent/session identity. */
+    readonly sessionId: SessionId;
+    /**
+     * Session creation metadata: validated absolute `cwd`, `parentSession`
+     * fork lineage, the `isSeeded` fork marker, the coarse `origin`
+     * classification, and the `delegationDepth` recursion budget. Mirrors the
+     * `cwd`/`parentSession`/`isSeeded`/`origin`/`delegationDepth` fields of
+     * {@link CreateSessionOptions.meta} in dsh-session (the internal-only
+     * `createdAt`, used when reconstructing a persisted session, is deliberately
+     * excluded — a factory caller never sets it). This is durable session data,
+     * so the session boundary validates and snapshots it before asynchronous
+     * setup begins.
+     */
+    readonly meta?: {
+        readonly cwd?: string;
+        readonly parentSession?: SessionId;
+        readonly isSeeded?: boolean;
+        readonly origin?: 'subagent';
+        readonly delegationDepth?: number;
+        readonly agentPreset?: string;
+    };
+    /** Exact fork-inherited prefix length when the session metadata sets `isSeeded`. */
+    readonly inheritedEventCount?: SessionLogOffset;
+    /**
+     * Initial replay/fork history, contiguous from seq 0 with lossless-JSON data.
+     * A fork supplies an exact parent prefix, its inherited marker, and closers
+     * for the open tail. Previously closed steps and turns remain unchanged.
+     * The factory validates and snapshots the seed before publication.
+     */
+    readonly seed?: readonly SessionEvent[];
+    /** Route fallback and output controls; see {@link AgentOptions} for live accessor semantics. */
+    readonly agentOptions?: AgentOptions;
+    /** Optional creation-only cancellation signal; detached before the returned handle becomes visible. */
+    readonly signal?: AbortSignal;
+    /**
+     * Creation-time composition of the agent's scoped world. The factory awaits
+     * setup after minting `agentCtx`, entering the SessionStore, and completing
+     * `session/created`. The Session
+     * accepts live events during setup; the Agent remains outside its registry
+     * until setup completes. Agent creation is announced after setup. Setup may return an {@link AgentSetupCommit}; the factory invokes its
+     * synchronous `commit()` after every setup await settles and immediately
+     * before registry publication. This lets mutable provisioning revalidate at
+     * the exact publication boundary. Everything registered through `agentCtx`
+     * (scoped tools, prompt sections/variables, `restrict()`, listeners, awaited
+     * child plugins) exists before `agent/created`,
+     * and the first prompt assembly. A setup
+     * throw/rejection, commit throw, or owner disposal rolls the scope back
+     * without announcing Agent creation. Already committed Session events remain stored.
+     *
+     * **Setup composes, it never drives**: the callback is trusted same-process
+     * code and receives the full scoped context, so this is a contract rather
+     * than a runtime restriction. Drive the agent only after creation resolves.
+     */
+    readonly setup?: AgentSetup;
+}
+/**
+ * Options for resuming an agent on a persisted session
+ * ({@link AgentRegistry.resume}).
+ */
+export interface ResumeAgentOptions {
+    /** The persisted session id to load and use as the live agent/session identity. */
+    readonly resumeSessionId: SessionId;
+    /** Route fallback and output controls; see {@link AgentOptions} for live accessor semantics. */
+    readonly agentOptions?: AgentOptions;
+    /** Optional creation-only cancellation signal for persistence load/setup; detached before return. */
+    readonly signal?: AbortSignal;
+    /**
+     * Resume-time composition of the agent's fresh scoped world. Persistence is
+     * loaded first; the factory then enters and announces the reconstructed Session and awaits
+     * setup in the fresh `agentCtx` before registering the Agent. The callback has the
+     * same trusted composition-only contract and optional synchronous
+     * publication commit as {@link CreateAgentOptions.setup}: all registrations
+     * exist before Agent creation is announced, and rejection, commit failure,
+     * or owner disposal unwinds the transaction while preserving pending inbox input.
+     */
+    readonly setup?: AgentSetup;
+}
+/**
+ * An owned agent plus its disposer, returned by {@link AgentRegistry.create} /
+ * {@link AgentRegistry.resume}. The disposer is a CAPABILITY: among consumers,
+ * only the holder can tear this agent down. The registered factory provider is
+ * also a structural owner because the scoped agent depends on that provider's
+ * service API; provider unload stops and drains every live handle it made.
+ * `dispose()` stops the loop, awaits its exit, unregisters the agent, removes
+ * its session from the store, and finally unwinds its scoped world.
+ *
+ * `ctx.agents.get(id)` still returns a bare {@link Agent} — the handle is
+ * exposed only to the consumer owner that created it; the structural provider
+ * reaches the same teardown internally. Config-created agents (the loop's own
+ * startup) are owned by the loop fiber and never need a handle.
+ */
+export interface AgentHandle {
+    agent: Agent;
+    dispose(): Promise<void>;
+}
+/**
+ * The agent-creation factory the loop implementation provides to the registry
+ * via {@link AgentRegistry.setFactory}. Kept on the `dsh-agent` interface so
+ * consumers (e.g. the ACP bridge) program against `ctx.agents` without
+ * depending on the concrete `dsh-agent-loop` package.
+ */
+export interface AgentFactory {
+    /**
+     * Create a new agent on a caller-supplied session id. Async because creation
+     * enters and announces the Session, awaits setup and its optional synchronous commit,
+     * inserts the Agent, and awaits serial
+     * `agent/created` listeners before releasing queued work. The sequence is
+     * rollback-covered, but notifications delivered before a later listener
+     * failure remain observable; every agent or session creation announcement
+     * that began is paired by `agent/disposed` or `session/disposed` during
+     * rollback. Once Agent initialization begins, failures reject after its
+     * scope and acquired write handle finish cleanup. Cancellation during
+     * persistence acquisition may reject before a late handle is available to close.
+     * The owner disposes the resolved handle to stop/drain,
+     * unregister, remove the session, and unwind the scope.
+     * The registry passes a context carrying the `create()` caller's fiber and
+     * scope as `ownerCtx`. The implementation attaches the unpublished
+     * transaction and resulting lifecycle to that owner; it must not infer
+     * ownership from the factory object's registration context.
+     * @param ownerCtx - caller-bound context that owns the transaction and live handle.
+     * @param options - agent/session identity, configuration, and setup.
+     * @returns the owned handle after setup and both creation announcements complete.
+     */
+    createAgent(ownerCtx: Context, options: CreateAgentOptions): Promise<AgentHandle>;
+    /**
+     * Resume an agent on a persisted session. Async because it opens the
+     * persisted session for write, reads and repairs the log, publishes it, and
+     * awaits the optional unpublished setup transaction; must be called after
+     * `ctx.sessionPersistence` exists (consumers inject `sessionPersistence`).
+     * Initialization cleanup and publication follow the same timing as
+     * {@link createAgent}.
+     * @param ownerCtx - caller-bound context that owns load, setup, and the live handle.
+     * @param options - persisted identity, configuration, and setup.
+     * @returns the owned handle after setup, both announcements, and loop start complete.
+     */
+    resume(ownerCtx: Context, options: ResumeAgentOptions): Promise<AgentHandle>;
+}
+/**
+ * Agent service (`ctx.agents`): tracks live agents and carries the initiating
+ * Agent through one process-local asynchronous driver chain. Agent *creation*
+ * is provided by whichever plugin implements the {@link AgentFactory}
+ * (`@deepseek-ai/dsh-agent-loop`), registered via {@link setFactory}.
+ *
+ * Initiator methods provide same-process causal attribution only. Ambient
+ * presence is neither liveness proof nor authorization; subjects and owners
+ * remain explicit, as does identity at worker, process, persistence, and wire
+ * boundaries. Returned Promise boundaries drain during teardown, except a
+ * nested lineage that starts an owning-fiber unload is excluded from its own drain.
+ */
+export declare class AgentRegistry extends Service {
+    static inject: string[];
+    private turnBoundaryProjectionHandle;
+    private store;
+    private factory;
+    private readonly initiators;
+    private readonly initiatorRuns;
+    private initiatorState;
+    private activeInitiatorRuns;
+    private initiatorDrain;
+    private initiatorDisposal;
+    constructor(ctx: Context);
+    protected [Service.init](): Promise<void>;
+    /**
+     * Read the turn and step positions recorded in a Session.
+     * @param session - Session whose committed events are read.
+     * @returns the current turn and step positions; do not mutate the returned value.
+     */
+    turnBoundaryOf(session: Session): TurnBoundaryProjection;
+    /**
+     * Read the Agent that initiated the inherited asynchronous driver chain.
+     * Use this optional form for logging, tracing, metrics, or host attribution
+     * that also supports agentless calls. When a parent creates a child, setup
+     * reports the causal parent while the setup callback's Agent parameter
+     * identifies the child.
+     * @returns the inherited Agent, or `undefined` outside an initiator boundary
+     *   and inside an explicit clearing boundary.
+     * @throws when this service instance has been disposed.
+     */
+    currentInitiator(): Agent | undefined;
+    /**
+     * Read the initiating Agent and fail when no initiator boundary is active.
+     * Use this for private helpers contractually below a driver, or for a
+     * deployment-owned outbound request whose contract forbids agentless calls.
+     * Generic or direct-call paths use optional lookup or explicit request fields.
+     * @returns the inherited Agent.
+     * @throws when no initiator is active or this service instance has been disposed.
+     */
+    requireInitiator(): Agent;
+    /**
+     * Run an operation with one exact Agent as its process-local initiator. The
+     * exact synchronous value or Promise returned by the operation is preserved.
+     * Custom drivers and test harnesses wrap their complete returned foreground
+     * lifetime.
+     * A queue or wire receiver may establish this boundary only after validating
+     * explicit identity and resolving the exact live Agent; this method does neither.
+     * Detached work remains owned by the subsystem that starts it.
+     * @param agent - initiating Agent to inherit; presence is neither liveness proof nor authorization.
+     * @param operation - synchronous or asynchronous operation to invoke.
+     * @returns the exact value returned by `operation`.
+     * @throws when the initiator scope is closing/disposed, or when `operation` throws.
+     */
+    withInitiator<T>(agent: Agent, operation: () => T): T;
+    /**
+     * Run an operation inside a boundary that hides any inherited initiating
+     * Agent. The exact synchronous value or Promise is preserved.
+     * Use this while creating lazy shared timers, queue pumps, pool maintenance,
+     * watchers, or exporters so they do not inherit the first Agent that happens
+     * to initialize them. It clears only initiator attribution, not explicit
+     * fields, and does not own or drain detached resources.
+     * @param operation - synchronous or asynchronous operation to invoke without an initiator.
+     * @returns the exact value returned by `operation`.
+     * @throws when the initiator scope is closing/disposed, or when `operation` throws.
+     */
+    withoutInitiator<T>(operation: () => T): T;
+    /**
+     * Register the agent-creation factory (the loop calls this on construction,
+     * effect-scoped). A traced Cordis service is canonicalized to its concrete
+     * target; each create/resume call is then traced through that caller's
+     * context so ownership follows the caller without stacking proxy layers.
+     * Throws if a factory is already registered. Returns the disposer; on
+     * dispose the factory slot is cleared.
+     * @param factory - the loop-owned factory {@link create}/{@link resume} delegate to.
+     * @returns the disposer that clears the factory slot. The exact
+     *   Cordis effect disposer (single-shot): composite (generator) effects may
+     *   yield it directly — exact identity nests the teardown in order.
+     */
+    setFactory(factory: AgentFactory): () => void;
+    /** Return the active creation factory. */
+    private requireFactory;
+    /**
+     * Create and publish a new agent through the registered factory.
+     * Distinct from {@link register} (which records an already-constructed
+     * agent): this constructs the agent and its session. Rejects if no factory is
+     * registered or creation/setup fails. The resolved {@link AgentHandle} lets
+     * the owner tear down exactly this agent.
+     * @param options - shared identity, session seed/metadata, and agent options.
+     * @returns the handle after setup, rollback-covered publication, and loop start complete.
+     */
+    create(options: CreateAgentOptions): Promise<AgentHandle>;
+    /**
+     * Load a persisted session and resume an agent on it through the registered
+     * factory. Rejects if no factory is registered; the factory rejects if
+     * session persistence is not configured or persistence/setup fails.
+     * @param options - persisted identity, configuration, and setup.
+     * @returns the handle after setup, rollback-covered publication, and loop start complete.
+     */
+    resume(options: ResumeAgentOptions): Promise<AgentHandle>;
+    /**
+     * Register a live agent with source `startup`. Rejects if the id is already registered or a
+     * serial `agent/created` listener fails. Emits `agent/disposed`
+     * when the calling fiber is disposed — both with the agent's scope carrier
+     * (`scopeTarget(agent, agent)`): the subject is the agent in hand, so the
+     * emits are scope-filtered regardless of which context invoked `register`
+     * (calling through `agent.ctx` scopes EFFECTS; dispatch scoping always
+     * requires passing the carrier). Await registration before using the agent.
+     * @param agent - the already-constructed agent to record in the store.
+     * @returns the awaitable Cordis effect disposer (single-shot; a repeat call
+     *   returns undefined without awaiting an in-flight teardown). Exact
+     *   identity is load-bearing: a composite (generator) effect that owns a
+     *   teardown ORDER — the agent factory's lifecycle chain — must yield THIS
+     *   function so Cordis nests the unregistration at that yield position;
+     *   yielding a wrapper would leave it disposing as a concurrent sibling on
+     *   owner unload, unregistering the agent (and emitting `agent/disposed`)
+     *   while its final turn is still draining.
+     */
+    register(agent: Agent): ReturnType<Context['effect']>;
+    /**
+     * Insert an already-constructed agent without announcing it. This is the
+     * advanced ordered-lifecycle primitive used by the async agent factory: it
+     * first completes setup while the agent is unpublished, then assigns the
+     * returned detach closure into its pre-installed composite teardown before
+     * calling {@link announce}. Ordinary callers use {@link register}.
+     * @param agent - the prepared, unpublished agent.
+     * @returns an idempotent closure that removes this exact entry and emits
+     *   `agent/disposed` with listener failures contained. When called from a
+     *   `agent/created` listener, removal and disposal wait until the serial
+     *   creation dispatch settles.
+     */
+    enter(agent: Agent): () => void;
+    /** Remove one exact entered agent and emit its paired disposal when announced. */
+    private detachEntered;
+    /** Emit the paired disposal edge through the entry's stable carrier. */
+    private emitDisposed;
+    /**
+     * Announce an agent previously inserted with {@link enter}.
+     * @param agent - the live inserted agent to announce.
+     * @param source - fresh creation, resume, clear, or compaction source.
+     * @param signal - optional factory initialization cancellation signal passed to listeners.
+     * @returns completion of the serial creation listeners; a listener failure rejects.
+     * @throws if `agent` is not the exact live registry entry for its id, or its
+     *   creation announcement already began (including a reentrant call from a
+     *   creation listener).
+     */
+    announce(agent: Agent, source: SessionStartSource, signal?: AbortSignal): Promise<void>;
+    /**
+     * Look up a live agent.
+     * @param id - the shared agent/session id to look up.
+     * @returns the agent, or undefined when no live agent has that id.
+     */
+    get(id: SessionId): Agent | undefined;
+    /**
+     * All live agents, in registration order.
+     * @returns a fresh array; mutating it does not affect the registry.
+     */
+    list(): Agent[];
+    /** Reject new initiator boundaries while inherited continuations drain. */
+    private closeInitiators;
+    /** Wait for returned-Promise boundaries, then invalidate retained references. */
+    private disposeInitiators;
+    /** Establish one tracked initiator or clearing boundary. */
+    private runWithInitiator;
+    /** Whether one unloading fiber owns this service's lifecycle. */
+    private hasLifecycleAncestor;
+    private assertInitiatorsReadable;
+    /** Exclude the boundary chain that initiated this teardown from its own drain. */
+    private releaseReentrantInitiatorRuns;
+    private releaseInitiatorRun;
+}
+export default AgentRegistry;
+//# sourceMappingURL=index.d.ts.map