@fungi.computer/shiitake 0.5.0 → 0.7.0

package/docs/api/effect.md

@@ -19,7 +19,12 @@ type ShiitakeEffectHost = Readonly<{
     commandId,
   ) => Effect.Effect<CommandSettlement | undefined, ShiitakeError>;
   agent: ShiitakeEffectOwner;
-  acceptMail: (mail, meta?, reply?) => Effect.Effect<Accepted, ShiitakeError>;
+  acceptMail: (
+    mail,
+    meta?,
+    reply?,
+    stageAcceptedNotice?,
+  ) => Effect.Effect<Accepted, ShiitakeError>;
 }>;
 ```
 
@@ -36,6 +41,7 @@ type ModelAcquisitionEffect = Readonly<{
   retryAfterMs?: (message) => number | undefined;
   retryable: (message) => boolean;
   failureReason?: (message) => string | undefined;
+  rejection?: (message) => ProviderRejection | undefined;
   providerError?: (message) => string | undefined;
   release: Effect.Effect<void, ShiitakeError>;
 }>;
@@ -114,6 +120,9 @@ type ShiitakeEffectOptions = Readonly<{
   meta?: HostMetaOptions;
   store: SqliteOwner;
   storagePressure?: StoragePressureCheck;
+  admission?: Readonly<{
+    assertOpen: () => void;
+  }>;
   compaction?: CompactionOptions;
   hostJobs?: Readonly<{
     lane: string;
@@ -157,6 +166,7 @@ type ShiitakeEffectCommandHandler = {
     Readonly<{
       status: "accepted";
       commandId: string;
+      sessionId?: string;
     }>,
     ShiitakeError
   >;
@@ -187,6 +197,7 @@ Effect-native addressable Session handle.
 (input): Effect<Readonly<{
   status: "accepted";
   commandId: string;
+  sessionId?: string;
 }>, ShiitakeError>;
 ```
 
@@ -200,8 +211,8 @@ Accept one durable prompt command.
 
 ##### Returns
 
-`Effect`\<`Readonly`\<\{ `status`: `"accepted"`; `commandId`: `string`; \}\>,
-[`ShiitakeError`](index.md#shiitakeerror)\>
+`Effect`\<`Readonly`\<\{ `status`: `"accepted"`; `commandId`: `string`;
+`sessionId?`: `string`; \}\>, [`ShiitakeError`](index.md#shiitakeerror)\>
 
 #### Call Signature
 
@@ -340,7 +351,7 @@ Effect-native addressable Session handle.
 
 ```ts
 type ShiitakeEffectSessionExtension = Readonly<{
-  call: (command, input) => Effect.Effect<Json, ShiitakeError>;
+  call: (command, input, caller?) => Effect.Effect<Json, ShiitakeError>;
 }>;
 ```
 
@@ -482,16 +493,23 @@ function openHost(options, mailRoom): Effect<Readonly<{
   readSettlement: (sessionId, commandId) => Effect<
      | Readonly<{
      acceptedSender: string | null;
+     delegator: string | null;
      terminal: SessionTerminal;
      content: string;
      usage: readonly Pick<AssistantMessage, ... | ... | ...>[];
      toolCalls: number;
+     waitingOnYou: readonly Readonly<{
+        itemId: ...;
+        kind: ...;
+        summary: ...;
+     }>[];
    }>
     | undefined, ShiitakeError>;
   agent: ShiitakeEffectOwner;
-  acceptMail: (mail, meta?, reply?) => Effect<Readonly<{
+  acceptMail: (mail, meta?, reply?, stageAcceptedNotice?) => Effect<Readonly<{
      status: "accepted";
      commandId: string;
+     sessionId?: string;
   }>, ShiitakeError>;
 }>, ShiitakeError>;
 ```
@@ -508,13 +526,16 @@ Open the Effect-native host composition with addressed mail.
 #### Returns
 
 `Effect`\<`Readonly`\<\{ `readSettlement`: (`sessionId`, `commandId`) =>
-`Effect`\< \| `Readonly`\<\{ `acceptedSender`: `string` \| `null`; `terminal`:
-[`SessionTerminal`](client.md#sessionterminal); `content`: `string`; `usage`:
-readonly `Pick`\<`AssistantMessage`, ... \| ... \| ...\>[]; `toolCalls`:
-`number`; \}\> \| `undefined`, [`ShiitakeError`](index.md#shiitakeerror)\>;
-`agent`: [`ShiitakeEffectOwner`](#shiitakeeffectowner); `acceptMail`: (`mail`,
-`meta?`, `reply?`) => `Effect`\<`Readonly`\<\{ `status`: `"accepted"`;
-`commandId`: `string`; \}\>, [`ShiitakeError`](index.md#shiitakeerror)\>; \}\>,
+`Effect`\< \| `Readonly`\<\{ `acceptedSender`: `string` \| `null`; `delegator`:
+`string` \| `null`; `terminal`: [`SessionTerminal`](client.md#sessionterminal);
+`content`: `string`; `usage`: readonly `Pick`\<`AssistantMessage`, ... \| ... \|
+...\>[]; `toolCalls`: `number`; `waitingOnYou`: readonly `Readonly`\<\{
+`itemId`: ...; `kind`: ...; `summary`: ...; \}\>[]; \}\> \| `undefined`,
+[`ShiitakeError`](index.md#shiitakeerror)\>; `agent`:
+[`ShiitakeEffectOwner`](#shiitakeeffectowner); `acceptMail`: (`mail`, `meta?`,
+`reply?`, `stageAcceptedNotice?`) => `Effect`\<`Readonly`\<\{ `status`:
+`"accepted"`; `commandId`: `string`; `sessionId?`: `string`; \}\>,
+[`ShiitakeError`](index.md#shiitakeerror)\>; \}\>,
 [`ShiitakeError`](index.md#shiitakeerror)\>
 
 ---
@@ -552,6 +573,67 @@ for it. An unreadable Session is its own `unavailable` row.
 [`StoredSessionSummaryRow`](#storedsessionsummaryrow)[]; `next`: `string` \|
 `undefined`; \}\>, [`ShiitakeError`](index.md#shiitakeerror), `never`\>
 
+---
+
+### readStoredSessionStates()
+
+```ts
+function readStoredSessionStates(
+  owner,
+  after?,
+): Effect<
+  Readonly<{
+    sessions: readonly SessionSummaryRow[];
+    next: string | undefined;
+  }>,
+  ShiitakeError,
+  never
+>;
+```
+
+One page of saved conversations with their stored run state (needs_you, running,
+errored, done), in tier then newest-activity order, read from the store alone:
+no Agent runtime starts. The state is as the runtime last wrote it, so it can
+lag work a stopped runtime left behind.
+
+#### Parameters
+
+| Parameter | Type                                  |
+| --------- | ------------------------------------- |
+| `owner`   | [`SqliteOwner`](index.md#sqliteowner) |
+| `after?`  | `string`                              |
+
+#### Returns
+
+`Effect`\<`Readonly`\<\{ `sessions`: readonly
+[`SessionSummaryRow`](client.md#sessionsummaryrow)[]; `next`: `string` \|
+`undefined`; \}\>, [`ShiitakeError`](index.md#shiitakeerror), `never`\>
+
+---
+
+### readStoredAttention()
+
+```ts
+function readStoredAttention(
+  owner,
+  sessionId,
+): Effect<readonly object[], ShiitakeError, never>;
+```
+
+One saved conversation's open attention items, read from the store alone.
+
+#### Parameters
+
+| Parameter   | Type                                  |
+| ----------- | ------------------------------------- |
+| `owner`     | [`SqliteOwner`](index.md#sqliteowner) |
+| `sessionId` | `string`                              |
+
+#### Returns
+
+`Effect`\<readonly `object`[], [`ShiitakeError`](index.md#shiitakeerror),
+`never`\>
+
 ## References
 
 ### AbortCommand
@@ -650,6 +732,12 @@ Re-exports [SessionProgress](client.md#sessionprogress)
 
 ---
 
+### SessionProgressDelta
+
+Re-exports [SessionProgressDelta](client.md#sessionprogressdelta)
+
+---
+
 ### SessionToolOutput
 
 Re-exports [SessionToolOutput](client.md#sessiontooloutput)

package/docs/api/extensions.md

@@ -162,7 +162,7 @@ The door refused an extension admission.
 #### Extends
 
 - `YieldableError`\<`this`\> & `object` & `Readonly`\<\{ `reason`: `"closed"` \|
-  `"conflict"` \| `"invalid"`; `message`: `string`; \}\>
+  `"conflict"` \| `"invalid"` \| `"archived"`; `message`: `string`; \}\>
 
 #### Constructors
 
@@ -174,11 +174,11 @@ new AdmissionError(args): AdmissionError;
 
 ###### Parameters
 
-| Parameter      | Type                                                                            |
-| -------------- | ------------------------------------------------------------------------------- |
-| `args`         | \{ `reason`: `"closed"` \| `"conflict"` \| `"invalid"`; `message`: `string`; \} |
-| `args.reason`  | `"closed"` \| `"conflict"` \| `"invalid"`                                       |
-| `args.message` | `string`                                                                        |
+| Parameter      | Type                                                                                            |
+| -------------- | ----------------------------------------------------------------------------------------------- |
+| `args`         | \{ `reason`: `"closed"` \| `"conflict"` \| `"invalid"` \| `"archived"`; `message`: `string`; \} |
+| `args.reason`  | `"closed"` \| `"conflict"` \| `"invalid"` \| `"archived"`                                       |
+| `args.message` | `string`                                                                                        |
 
 ###### Returns
 
@@ -188,7 +188,7 @@ new AdmissionError(args): AdmissionError;
 
 ```ts
 Data.TaggedError("AdmissionError")<{
-  reason: "invalid" | "conflict" | "closed";
+  reason: "invalid" | "conflict" | "closed" | "archived";
   message: string;
 }>.constructor
 ```
@@ -198,7 +198,7 @@ Data.TaggedError("AdmissionError")<{
 ##### reason
 
 ```ts
-readonly reason: "closed" | "conflict" | "invalid";
+readonly reason: "closed" | "conflict" | "invalid" | "archived";
 ```
 
 ###### Inherited from
@@ -1081,6 +1081,7 @@ type SendInputV0 = Readonly<{
   }>;
   when: "now" | "idle";
   correlation?: string;
+  continuesWorkId?: string;
 }>;
 ```
 
@@ -1160,6 +1161,19 @@ session: string;
 
 ---
 
+### ExtensionCommandCallerV0
+
+```ts
+type ExtensionCommandCallerV0 = Readonly<{
+  agentId: string;
+  sessionId: string;
+}>;
+```
+
+Host-authenticated caller context; never decoded from command JSON or HTTP.
+
+---
+
 ### CommandHandlersV0
 
 ```ts
@@ -1168,6 +1182,7 @@ type CommandHandlersV0<C> = {
     call: Readonly<{
       sessionId: CommandSessionIdsV0[C[K]["scope"]];
       input: C[K]["input"]["Type"];
+      caller?: ExtensionCommandCallerV0;
     }>,
   ) =>
     | C[K]["output"]["Type"]
@@ -1197,6 +1212,9 @@ type AttentionV0 = Readonly<{
     sessionId,
     item,
   ) => Effect.Effect<void, ExtensionStateError, ExtensionTx>;
+  awaitsPerson: (
+    sessionId,
+  ) => Effect.Effect<boolean, ExtensionStateError, ExtensionRead>;
   clear: (
     sessionId,
     id,
@@ -1227,11 +1245,19 @@ type ExtensionContextV0<S, Config, D> = Readonly<{
   hasPendingSteer: (
     run,
   ) => Effect.Effect<boolean, ExtensionStateError, ExtensionRead>;
+  workSender: (
+    run,
+  ) => Effect.Effect<
+    AttentionRecipient | null,
+    ExtensionStateError,
+    ExtensionRead
+  >;
   hasSuccessfulToolResult: (
     run,
     toolCallId,
   ) => Effect.Effect<boolean, ExtensionStateError, ExtensionRead>;
   observe: (sessionId) => Effect.Effect<void, never, ExtensionTx>;
+  isObserved: (sessionId) => boolean;
   transact: <A, E>(body) => Effect.Effect<A, E | ExtensionStop | ShiitakeError>;
 }>;
 ```
@@ -1722,9 +1748,9 @@ A parsed invocation retains its typed handler until the transaction runs.
 
 #### Parameters
 
-| Parameter | Type                                                                           |
-| --------- | ------------------------------------------------------------------------------ |
-| `frame`   | `Readonly`\<\{ `sessionId`: `string` \| `null`; `input`: [`Json`](#json); \}\> |
+| Parameter | Type                                                                                                                                               |
+| --------- | -------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `frame`   | `Readonly`\<\{ `sessionId`: `string` \| `null`; `input`: [`Json`](#json); `caller?`: [`ExtensionCommandCallerV0`](#extensioncommandcallerv0); \}\> |
 
 #### Returns
 
@@ -1854,6 +1880,16 @@ Public state-update shape: infer the return _before_ rejecting async results.
 
 ---
 
+### AttentionRecipient
+
+```ts
+type AttentionRecipient = typeof AttentionRecipientSchema.Type;
+```
+
+Decoded Agent Session an attention item waits on.
+
+---
+
 ### AttentionItem
 
 ```ts
@@ -1894,6 +1930,22 @@ ASCII extension identity shared by the host definition and its clients.
 
 ---
 
+### AttentionRecipientSchema
+
+```ts
+const AttentionRecipientSchema: Struct<{
+  agentId: NonEmptyString;
+  sessionId: NonEmptyString;
+  name: NonEmptyString;
+}>;
+```
+
+The Agent Session that sent the work an item belongs to. The host derives it
+from the accepted mail; it is the only party the item waits on until it is
+escalated.
+
+---
+
 ### AttentionItemSchema
 
 ```ts
@@ -1904,11 +1956,20 @@ const AttentionItemSchema: Struct<{
   since: Int;
   expiresAt: optional<Int>;
   inbox: optional<Literal<false>>;
+  waitingOn: optional<
+    Struct<{
+      agentId: NonEmptyString;
+      sessionId: NonEmptyString;
+      name: NonEmptyString;
+    }>
+  >;
 }>;
 ```
 
 An extension-owned request for human attention; expiry is owned by its timer.
-Items marked `inbox: false` remain visible without changing the inbox state.
+Items marked `inbox: false` remain visible without changing the inbox state. An
+item with `waitingOn` waits on that Agent first and is never a person's inbox
+item until it is escalated past every Agent.
 
 ## Functions