@fungi.computer/shiitake 0.1.0 → 0.3.0

package/dist/session-attention.d.ts

@@ -1,11 +1,16 @@
 import * as Schema from "effect/Schema";
-/** An extension-owned request for human attention; expiry is owned by its timer. */
+/**
+ * An extension-owned request for human attention; expiry is owned by its timer.
+ * Items marked `inbox: false` remain visible without changing the inbox state.
+ */
 export declare const AttentionItemSchema: Schema.Struct<{
     readonly id: Schema.NonEmptyString;
     readonly kind: Schema.NonEmptyString;
     readonly summary: Schema.NonEmptyString;
     readonly since: Schema.Int;
     readonly expiresAt: Schema.optional<Schema.Int>;
+    /** This item does not change the Session's inbox state; omission does. */
+    readonly inbox: Schema.optional<Schema.Literal<false>>;
 }>;
 /** Input to the granted attention door, scoped to the calling extension. */
 export type AttentionItem = typeof AttentionItemSchema.Type;
@@ -17,6 +22,7 @@ export declare const SessionAttentionSchema: Schema.Struct<{
     readonly summary: Schema.NonEmptyString;
     readonly since: Schema.Int;
     readonly expiresAt: Schema.optional<Schema.Int>;
+    readonly inbox: Schema.optional<Schema.Literal<false>>;
 }>;
 /** One open attention item in a Session observation. */
 export type SessionAttention = typeof SessionAttentionSchema.Type;
@@ -32,4 +38,5 @@ export declare const SessionAttentionListSchema: Schema.$Array<Schema.Struct<{
     readonly summary: Schema.NonEmptyString;
     readonly since: Schema.Int;
     readonly expiresAt: Schema.optional<Schema.Int>;
+    readonly inbox: Schema.optional<Schema.Literal<false>>;
 }>>;

package/dist/session-attention.js

@@ -1,13 +1,18 @@
 import * as Schema from "effect/Schema";
 const identity = Schema.NonEmptyString.check(Schema.isMaxLength(256));
 const instant = Schema.Int.check(Schema.isGreaterThanOrEqualTo(0));
-/** An extension-owned request for human attention; expiry is owned by its timer. */
+/**
+ * An extension-owned request for human attention; expiry is owned by its timer.
+ * Items marked `inbox: false` remain visible without changing the inbox state.
+ */
 export const AttentionItemSchema = Schema.Struct({
     id: identity,
     kind: Schema.NonEmptyString.check(Schema.isMaxLength(64)),
     summary: Schema.NonEmptyString.check(Schema.isMaxLength(200)),
     since: instant,
     expiresAt: Schema.optional(instant),
+    /** This item does not change the Session's inbox state; omission does. */
+    inbox: Schema.optional(Schema.Literal(false)),
 });
 /** Public identity includes the owner so two extensions can use the same id. */
 export const SessionAttentionSchema = AttentionItemSchema.mapFields((fields) => ({

package/dist/testing.js

@@ -17,6 +17,7 @@ export function fauxModelSource(replies) {
             return Promise.resolve({
                 model: faux.model,
                 stream: faux.stream,
+                retryable: faux.retryable,
                 release: () => Promise.resolve(),
             });
         },

package/docs/api/README.md

@@ -8,19 +8,21 @@
 
 ## Modules
 
-| Module                                  | Description |
-| --------------------------------------- | ----------- |
-| [agar-extension](agar-extension.md)     | -           |
-| [agent-control](agent-control.md)       | -           |
-| [client-entry](client-entry.md)         | -           |
-| [client](client.md)                     | -           |
-| [cloudflare](cloudflare.md)             | -           |
-| [effect](effect.md)                     | -           |
-| [extensions](extensions.md)             | -           |
-| [fleet](fleet.md)                       | -           |
-| [hosted](hosted.md)                     | -           |
-| [http](http.md)                         | -           |
-| [index](index.md)                       | -           |
-| [model-preference](model-preference.md) | -           |
-| [node](node.md)                         | -           |
-| [testing](testing.md)                   | -           |
+| Module                                                                              | Description                                                                  |
+| ----------------------------------------------------------------------------------- | ---------------------------------------------------------------------------- |
+| [agar-extension](agar-extension.md)                                                 | -                                                                            |
+| [agent-control](agent-control.md)                                                   | -                                                                            |
+| [client-entry](client-entry.md)                                                     | -                                                                            |
+| [client](client.md)                                                                 | -                                                                            |
+| [cloudflare](cloudflare.md)                                                         | -                                                                            |
+| [delegation](delegation.md)                                                         | -                                                                            |
+| [effect](effect.md)                                                                 | -                                                                            |
+| [extensions](extensions.md)                                                         | -                                                                            |
+| [fleet](fleet.md)                                                                   | -                                                                            |
+| [hosted](hosted.md)                                                                 | -                                                                            |
+| [http](http.md)                                                                     | -                                                                            |
+| [index](index.md)                                                                   | -                                                                            |
+| [internal/woodstock/storage-conformance](internal/woodstock/storage-conformance.md) | Runner-independent conformance cases for one Woodstock Session storage host. |
+| [model-preference](model-preference.md)                                             | -                                                                            |
+| [node](node.md)                                                                     | -                                                                            |
+| [testing](testing.md)                                                               | -                                                                            |

package/docs/api/agent-control.md

@@ -8,14 +8,146 @@
 
 # agent-control
 
+## Classes
+
+### AgentArchiveRefused
+
+A host's refusal to archive or restore an Agent, or to work with one that is
+archived. It reaches the caller as a failure of the operation it refused.
+
+#### Extends
+
+- `Error`
+
+#### Constructors
+
+##### Constructor
+
+```ts
+new AgentArchiveRefused(reason, message): AgentArchiveRefused;
+```
+
+###### Parameters
+
+| Parameter | Type                                                                                           |
+| --------- | ---------------------------------------------------------------------------------------------- |
+| `reason`  | \| `"running"` \| `"pending"` \| `"archived"` \| `"not_creator"` \| `"self"` \| `"unreadable"` |
+| `message` | `string`                                                                                       |
+
+###### Returns
+
+[`AgentArchiveRefused`](#agentarchiverefused)
+
+###### Overrides
+
+```ts
+Error.constructor;
+```
+
+#### Properties
+
+##### name
+
+```ts
+readonly name: "AgentArchiveRefused" = "AgentArchiveRefused";
+```
+
+###### Overrides
+
+```ts
+Error.name;
+```
+
+##### reason
+
+```ts
+readonly reason:
+  | "running"
+  | "pending"
+  | "archived"
+  | "not_creator"
+  | "self"
+  | "unreadable";
+```
+
+---
+
+### AgentCreateRefused
+
+A host's refusal of an Agent creating an Agent: the creator asked to give the
+created Agent more than it holds, or the host cannot tell which Agent is
+creating. It reaches the caller as an `agents.create` failure.
+
+#### Extends
+
+- `Error`
+
+#### Constructors
+
+##### Constructor
+
+```ts
+new AgentCreateRefused(reason, message): AgentCreateRefused;
+```
+
+###### Parameters
+
+| Parameter | Type                                  |
+| --------- | ------------------------------------- |
+| `reason`  | `"exceeds_creator"` \| `"no_creator"` |
+| `message` | `string`                              |
+
+###### Returns
+
+[`AgentCreateRefused`](#agentcreaterefused)
+
+###### Overrides
+
+```ts
+Error.constructor;
+```
+
+#### Properties
+
+##### name
+
+```ts
+readonly name: "AgentCreateRefused" = "AgentCreateRefused";
+```
+
+###### Overrides
+
+```ts
+Error.name;
+```
+
+##### reason
+
+```ts
+readonly reason: "exceeds_creator" | "no_creator";
+```
+
 ## Type Aliases
 
+### ArchiveRefusalReason
+
+```ts
+type ArchiveRefusalReason = (typeof archiveRefusalReasons)[number];
+```
+
+One reason in `archiveRefusalReasons`.
+
+---
+
 ### AgentControlAgent
 
 ```ts
 type AgentControlAgent = Readonly<{
   agentId: string;
   name: string;
+  createdBy?: string | null;
+  model?: ModelPreference;
+  workingDirectory?: string;
 }>;
 ```
 
@@ -43,6 +175,8 @@ type AgentDelegationInput = Readonly<{
   agentId: string;
   sessionId: string;
   text: string;
+  requestId: string;
+  delivery: "steer" | "followUp";
 }>;
 ```
 
@@ -50,6 +184,20 @@ One host-authorized delegation, with the caller Session supplied by acquisition.
 
 ---
 
+### AgentRecallInput
+
+```ts
+type AgentRecallInput = Readonly<{
+  agentId: string;
+  sessionId: string;
+  requestId: string;
+}>;
+```
+
+Exact authorized destination and caller's original send identity.
+
+---
+
 ### AgentDelegationInvocation
 
 ```ts
@@ -70,10 +218,13 @@ Host-only identity and admitted command metadata for one delegated send.
 
 ```ts
 type AgentControlDirectory = Readonly<{
-  list: (signal) => Promise<readonly AgentControlAgent[]>;
+  list: (signal, options?) => Promise<readonly AgentControlAgent[]>;
   send?: (input, sourceSessionId, signal, invocation?) => Promise<Accepted>;
-  create?: (input, signal, invoker?) => Promise<AgentControlAgent>;
+  recall?: (input, sourceSessionId, signal) => Promise<CancelResult>;
+  create?: (input, signal) => Promise<AgentControlAgent>;
   setModel?: (input, signal) => Promise<void>;
+  archive?: (input, signal) => Promise<void>;
+  unarchive?: (input, signal) => Promise<void>;
   models?: (signal) => Promise<readonly AgentControlModel[]>;
   checkModel?: (input, signal) => Promise<void>;
   open: (
@@ -90,6 +241,25 @@ type AgentControlDirectory = Readonly<{
 
 Host-owned discovery and per-operation access to ordinary Agents.
 
+## Variables
+
+### archiveRefusalReasons
+
+```ts
+const archiveRefusalReasons: readonly [
+  "not_creator",
+  "self",
+  "running",
+  "pending",
+  "unreadable",
+  "archived",
+];
+```
+
+Why a host refuses an archive or restore: the caller did not create the Agent,
+is the Agent, the Agent has a running command or delegated work still waiting to
+report back, its store predates the current schema, or the Agent is archived.
+
 ## Functions
 
 ### waitForAgentTerminal()

package/docs/api/client-entry.md

@@ -60,7 +60,7 @@ Borrowed latest-value activity; each iterator subscribes separately.
 type ClientEntryV1 = Readonly<{
   protocol: "shiitake.client/v1";
   id: ExtensionId;
-  correlatedPrompts?: "note";
+  promptPresentation?: "footer";
   attach?: (context) => Effect.Effect<void, Error, Scope.Scope>;
   contribute?: (slot) => ClientContributionV1;
 }>;
@@ -71,13 +71,27 @@ closure.
 
 ---
 
+### ClientActivityStateV0
+
+```ts
+type ClientActivityStateV0 = "idle" | "working" | "blocked" | "unknown";
+```
+
+What a client observed about the Session, never an execution authority.
+
+---
+
 ### ClientActivityV0
 
 ```ts
-type ClientActivityV0 = "idle" | "working" | "blocked" | "unknown";
+type ClientActivityV0 = Readonly<{
+  state: ClientActivityStateV0;
+  header?: string;
+}>;
 ```
 
-Activity already observed by the client, never an execution authority.
+Activity already observed by the client. `header` is only the short heading of
+what blocks the Session; it never carries question bodies or answers.
 
 ## Variables
 
@@ -138,6 +152,7 @@ const clientTimelineCellSchemaV1: Struct<{
   sequence: Int;
   at: Int;
   commandId: NullOr<String>;
+  afterSequence: optionalKey<Int>;
   rows: $Array<Struct<{
      id: String;
      title: String;
@@ -162,7 +177,7 @@ const clientTimelineCellSchemaV1: Struct<{
 }>;
 ```
 
-One committed presentation event anchored to its real command, if any.
+One committed presentation event with an explicit placement choice.
 
 ---
 
@@ -227,6 +242,7 @@ const clientContributionSchemaV1: Struct<{
         sequence: Int;
         at: Int;
         commandId: NullOr<String>;
+        afterSequence: optionalKey<Int>;
         rows: $Array<Struct<{
            id: String;
            title: String;
@@ -263,7 +279,7 @@ const parseClientEntryV1: (
 ) => Readonly<{
   protocol: "shiitake.client/v1";
   id: string & Brand<"ExtensionId">;
-  correlatedPrompts?: "note";
+  promptPresentation?: "footer";
   attach?: (context) => Effect<void, Error, Scope>;
   contribute?: (slot) => object;
 }> = decodeEntry;
@@ -281,7 +297,7 @@ Admit exactly V1; installed executable code is not sandboxed.
 #### Returns
 
 `Readonly`\<\{ `protocol`: `"shiitake.client/v1"`; `id`: `string` &
-`Brand`\<`"ExtensionId"`\>; `correlatedPrompts?`: `"note"`; `attach?`:
+`Brand`\<`"ExtensionId"`\>; `promptPresentation?`: `"footer"`; `attach?`:
 (`context`) => `Effect`\<`void`, `Error`, `Scope`\>; `contribute?`: (`slot`) =>
 `object`; \}\>
 
@@ -305,10 +321,10 @@ One typed author seam, usable with ordinary async attachment code.
 
 #### Parameters
 
-| Parameter  | Type                                                                                                                                                                                                                                                                                               |
-| ---------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| `contract` | [`ExtensionContractV0`](extensions.md#extensioncontractv0)\<`C`, `P`, `PI`\>                                                                                                                                                                                                                       |
-| `client`   | `Readonly`\<\{ `correlatedPrompts?`: [`ClientEntryV1`](#cliententryv1)\[`"correlatedPrompts"`\]; `attach?`: (`context`) => \| `void` \| `Promise`\<`void`\> \| `Effect.Effect`\<`void`, `Error`, `Scope.Scope`\>; `contribute?`: (`view`) => [`ClientContributionV1`](#clientcontributionv1); \}\> |
+| Parameter  | Type                                                                                                                                                                                                                                                                                                 |
+| ---------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `contract` | [`ExtensionContractV0`](extensions.md#extensioncontractv0)\<`C`, `P`, `PI`\>                                                                                                                                                                                                                         |
+| `client`   | `Readonly`\<\{ `promptPresentation?`: [`ClientEntryV1`](#cliententryv1)\[`"promptPresentation"`\]; `attach?`: (`context`) => \| `void` \| `Promise`\<`void`\> \| `Effect.Effect`\<`void`, `Error`, `Scope.Scope`\>; `contribute?`: (`view`) => [`ClientContributionV1`](#clientcontributionv1); \}\> |
 
 #### Returns