@fungi.computer/shiitake 0.0.0-stage → 0.1.0

package/docs/api/extensions.md

@@ -0,0 +1,2003 @@
+<!-- Generated by Botanical API docs (TypeDoc + typedoc-plugin-markdown). Do not edit. -->
+
+[**@fungi.computer/shiitake**](README.md)
+
+---
+
+[@fungi.computer/shiitake](README.md) / extensions
+
+# extensions
+
+## Classes
+
+### ExtensionRead
+
+Present only inside a core-run read (projection, run tools, hooks).
+
+#### Extends
+
+- `Shape`\<`"@fungi.computer/shiitake/ExtensionRead"`, `Readonly`\<\{
+  `extensionId`: `string` & `Brand`\<`"ExtensionId"`\>; \}\>, `this`\>
+
+#### Constructors
+
+##### Constructor
+
+```ts
+new ExtensionRead(_): ExtensionRead;
+```
+
+###### Parameters
+
+| Parameter | Type    |
+| --------- | ------- |
+| `_`       | `never` |
+
+###### Returns
+
+[`ExtensionRead`](#extensionread)
+
+###### Inherited from
+
+```ts
+Context.Service<ExtensionRead, Readonly<{ extensionId: ExtensionId }>>()(
+  "@fungi.computer/shiitake/ExtensionRead",
+).constructor;
+```
+
+---
+
+### ExtensionTx
+
+Present only inside a core-run write transaction (hooks, commands, `transact`).
+Core runs these Effects synchronously inside the owner transaction; an
+asynchronous boundary is a defect that stops the extension.
+
+#### Extends
+
+- `Shape`\<`"@fungi.computer/shiitake/ExtensionTx"`, `Readonly`\<\{
+  `extensionId`: `string` & `Brand`\<`"ExtensionId"`\>; \}\>, `this`\>
+
+#### Constructors
+
+##### Constructor
+
+```ts
+new ExtensionTx(_): ExtensionTx;
+```
+
+###### Parameters
+
+| Parameter | Type    |
+| --------- | ------- |
+| `_`       | `never` |
+
+###### Returns
+
+[`ExtensionTx`](#extensiontx)
+
+###### Inherited from
+
+```ts
+Context.Service<ExtensionTx, Readonly<{ extensionId: ExtensionId }>>()(
+  "@fungi.computer/shiitake/ExtensionTx",
+).constructor;
+```
+
+---
+
+### ExtensionStateError
+
+Durable record failure: stored or supplied values broke their schema or bounds.
+
+#### Extends
+
+- `YieldableError`\<`this`\> & `object` & `Readonly`\<\{ `reason`:
+  `"unavailable"` \| `"decode"` \| `"encode"` \| `"bound"`; `message`: `string`;
+  \}\>
+
+#### Constructors
+
+##### Constructor
+
+```ts
+new ExtensionStateError(args): ExtensionStateError;
+```
+
+###### Parameters
+
+| Parameter      | Type                                                                                           |
+| -------------- | ---------------------------------------------------------------------------------------------- |
+| `args`         | \{ `reason`: `"unavailable"` \| `"decode"` \| `"encode"` \| `"bound"`; `message`: `string`; \} |
+| `args.reason`  | `"unavailable"` \| `"decode"` \| `"encode"` \| `"bound"`                                       |
+| `args.message` | `string`                                                                                       |
+
+###### Returns
+
+[`ExtensionStateError`](#extensionstateerror)
+
+###### Inherited from
+
+```ts
+Data.TaggedError(
+  "ExtensionStateError",
+)<{
+  reason: "decode" | "encode" | "bound" | "unavailable";
+  message: string;
+}>.constructor
+```
+
+#### Properties
+
+##### reason
+
+```ts
+readonly reason: "unavailable" | "decode" | "encode" | "bound";
+```
+
+###### Inherited from
+
+```ts
+Data.TaggedError("ExtensionStateError").reason;
+```
+
+##### message
+
+```ts
+message: string;
+```
+
+###### Inherited from
+
+```ts
+Data.TaggedError("ExtensionStateError").message;
+```
+
+---
+
+### AdmissionError
+
+The door refused an extension admission.
+
+#### Extends
+
+- `YieldableError`\<`this`\> & `object` & `Readonly`\<\{ `reason`: `"closed"` \|
+  `"conflict"` \| `"invalid"`; `message`: `string`; \}\>
+
+#### Constructors
+
+##### Constructor
+
+```ts
+new AdmissionError(args): AdmissionError;
+```
+
+###### Parameters
+
+| Parameter      | Type                                                                            |
+| -------------- | ------------------------------------------------------------------------------- |
+| `args`         | \{ `reason`: `"closed"` \| `"conflict"` \| `"invalid"`; `message`: `string`; \} |
+| `args.reason`  | `"closed"` \| `"conflict"` \| `"invalid"`                                       |
+| `args.message` | `string`                                                                        |
+
+###### Returns
+
+[`AdmissionError`](#admissionerror)
+
+###### Inherited from
+
+```ts
+Data.TaggedError("AdmissionError")<{
+  reason: "invalid" | "conflict" | "closed";
+  message: string;
+}>.constructor
+```
+
+#### Properties
+
+##### reason
+
+```ts
+readonly reason: "closed" | "conflict" | "invalid";
+```
+
+###### Inherited from
+
+```ts
+Data.TaggedError("AdmissionError").reason;
+```
+
+##### message
+
+```ts
+message: string;
+```
+
+###### Inherited from
+
+```ts
+Data.TaggedError("AdmissionError").message;
+```
+
+---
+
+### ExtensionCommandError
+
+Typed rejection of one extension command, returned to its caller.
+
+#### Extends
+
+- `YieldableError`\<`this`\> & `object` & `Readonly`\<\{ `reason`: `"conflict"`
+  \| `"invalid"` \| `"rejected"` \| `"not_found"`; `message`: `string`; \}\>
+
+#### Constructors
+
+##### Constructor
+
+```ts
+new ExtensionCommandError(args): ExtensionCommandError;
+```
+
+###### Parameters
+
+| Parameter      | Type                                                                                               |
+| -------------- | -------------------------------------------------------------------------------------------------- |
+| `args`         | \{ `reason`: `"conflict"` \| `"invalid"` \| `"rejected"` \| `"not_found"`; `message`: `string`; \} |
+| `args.reason`  | `"conflict"` \| `"invalid"` \| `"rejected"` \| `"not_found"`                                       |
+| `args.message` | `string`                                                                                           |
+
+###### Returns
+
+[`ExtensionCommandError`](#extensioncommanderror)
+
+###### Inherited from
+
+```ts
+Data.TaggedError(
+  "ExtensionCommandError",
+)<{
+  reason: "invalid" | "conflict" | "not_found" | "rejected";
+  message: string;
+}>.constructor
+```
+
+#### Properties
+
+##### reason
+
+```ts
+readonly reason: "conflict" | "invalid" | "rejected" | "not_found";
+```
+
+###### Inherited from
+
+```ts
+Data.TaggedError("ExtensionCommandError").reason;
+```
+
+##### message
+
+```ts
+message: string;
+```
+
+###### Inherited from
+
+```ts
+Data.TaggedError("ExtensionCommandError").message;
+```
+
+---
+
+### ExtensionStop
+
+Fail a hook with this (or die) to stop this extension with a visible reason.
+
+#### Extends
+
+- `YieldableError`\<`this`\> & `object` & `Readonly`\<\{ `reason`: `string`;
+  \}\>
+
+#### Constructors
+
+##### Constructor
+
+```ts
+new ExtensionStop(args): ExtensionStop;
+```
+
+###### Parameters
+
+| Parameter     | Type                      |
+| ------------- | ------------------------- |
+| `args`        | \{ `reason`: `string`; \} |
+| `args.reason` | `string`                  |
+
+###### Returns
+
+[`ExtensionStop`](#extensionstop)
+
+###### Inherited from
+
+```ts
+Data.TaggedError("ExtensionStop")<{
+  reason: string;
+}>.constructor
+```
+
+#### Properties
+
+##### reason
+
+```ts
+readonly reason: string;
+```
+
+###### Inherited from
+
+```ts
+Data.TaggedError("ExtensionStop").reason;
+```
+
+---
+
+### ExtensionActivationError
+
+Typed activation failure; the extension is stopped with this message.
+
+#### Extends
+
+- `YieldableError`\<`this`\> & `object` & `Readonly`\<\{ `message`: `string`;
+  \}\>
+
+#### Constructors
+
+##### Constructor
+
+```ts
+new ExtensionActivationError(args): ExtensionActivationError;
+```
+
+###### Parameters
+
+| Parameter      | Type                       |
+| -------------- | -------------------------- |
+| `args`         | \{ `message`: `string`; \} |
+| `args.message` | `string`                   |
+
+###### Returns
+
+[`ExtensionActivationError`](#extensionactivationerror)
+
+###### Inherited from
+
+```ts
+Data.TaggedError(
+  "ExtensionActivationError",
+)<{ message: string }>.constructor
+```
+
+#### Properties
+
+##### message
+
+```ts
+message: string;
+```
+
+###### Inherited from
+
+```ts
+Data.TaggedError("ExtensionActivationError").message;
+```
+
+---
+
+### ExtensionBuilderV0
+
+Configure typed metadata, then register callbacks against its actual values.
+
+#### Type Parameters
+
+| Type Parameter                                      |
+| --------------------------------------------------- |
+| `S` _extends_ [`CollectionsV0`](#collectionsv0)     |
+| `Config` _extends_ [`Json`](#json)                  |
+| `D` _extends_ [`DocumentsV0`](index.md#documentsv0) |
+
+#### Methods
+
+##### fromIdentity()
+
+```ts
+static fromIdentity(identity): ExtensionBuilderV0<Readonly<Record<never, never>>, Readonly<Record<never, never>>, Readonly<Record<never, never>>>;
+```
+
+Begin with concrete empty metadata and no requested capability.
+
+###### Parameters
+
+| Parameter  | Type                                                                            |
+| ---------- | ------------------------------------------------------------------------------- |
+| `identity` | `Readonly`\<\{ `id`: [`ExtensionId`](#extensionid-1); `version`: `string`; \}\> |
+
+###### Returns
+
+[`ExtensionBuilderV0`](#extensionbuilderv0)\<`Readonly`\<`Record`\<`never`,
+`never`\>\>, `Readonly`\<`Record`\<`never`, `never`\>\>,
+`Readonly`\<`Record`\<`never`, `never`\>\>\>
+
+##### config()
+
+```ts
+config<Next>(value): ExtensionBuilderV0<S, Next, D>;
+```
+
+Hash this explicit JSON configuration with the extension revision.
+
+###### Type Parameters
+
+| Type Parameter                   |
+| -------------------------------- |
+| `Next` _extends_ [`Json`](#json) |
+
+###### Parameters
+
+| Parameter | Type   |
+| --------- | ------ |
+| `value`   | `Next` |
+
+###### Returns
+
+[`ExtensionBuilderV0`](#extensionbuilderv0)\<`S`, `Next`, `D`\>
+
+##### state()
+
+```ts
+state<Next>(value): ExtensionBuilderV0<Next, Config, D>;
+```
+
+Request state and bind handles to each collection's declared schema. Pass the
+collections alone (state version 1, no migrations) or the full versioned
+declaration.
+
+###### Type Parameters
+
+| Type Parameter                                                                                                                                                                                                                                                                                                                               |
+| -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `Next` _extends_ `Readonly`\<`Record`\<`string`, `Readonly`\<\{ `schema`: `Codec`\<`unknown`\>; `bind`: (`port`, `name`) => [`CollectionBindingV0`](#collectionbindingv0); `indexFromEncoded`: (`value`) => `Result`\<`string` \| `null`, `SchemaError`\>; `key`: (`value`) => `string`; `index?`: (`value`) => `string` \| `null`; \}\>\>\> |
+
+###### Parameters
+
+| Parameter | Type                                                                                                                                                                                                                                           |
+| --------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `value`   | \| `Next` \| `Readonly`\<\{ `version?`: `number`; `collections`: `Next`; `migrations?`: `Readonly`\<`Record`\<`number`, (`row`) => readonly `Readonly`\<\{ `collection`: `string`; `key`: `string`; `value`: [`Json`](#json); \}\>[]\>\>; \}\> |
+
+###### Returns
+
+[`ExtensionBuilderV0`](#extensionbuilderv0)\<`Next`, `Config`, `D`\>
+
+##### documents()
+
+```ts
+documents<Next>(value): ExtensionBuilderV0<S, Config, Next>;
+```
+
+Request bounded Session documents under the state grant.
+
+###### Type Parameters
+
+| Type Parameter                                                                                                                                                                                                        |
+| --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `Next` _extends_ `Readonly`\<`Record`\<`string`, `Readonly`\<\{ `schema`: `Codec`\<`unknown`\>; `initial`: `unknown`; `fork`: [`DocumentForkPolicyV0`](index.md#documentforkpolicyv0); `maxBytes`: `number`; \}\>\>\> |
+
+###### Parameters
+
+| Parameter | Type   |
+| --------- | ------ |
+| `value`   | `Next` |
+
+###### Returns
+
+[`ExtensionBuilderV0`](#extensionbuilderv0)\<`S`, `Config`, `Next`\>
+
+##### define()
+
+###### Call Signature
+
+```ts
+define<C, P, PI, H>(definition): DefinedExtensionV0<C, P, PI>;
+```
+
+Register commands without a client entry.
+
+###### Type Parameters
+
+| Type Parameter                                                                                                                                                          | Default type                                     |
+| ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------ |
+| `C` _extends_ `Readonly`\<`Record`\<`string`, `Readonly`\<\{ `scope`: `"session"` \| `"agent"`; `input`: `Codec`\<`unknown`\>; `output`: `Codec`\<`unknown`\>; \}\>\>\> | -                                                |
+| `P`                                                                                                                                                                     | -                                                |
+| `PI`                                                                                                                                                                    | -                                                |
+| `H` _extends_ [`CommandHandlersV0`](#commandhandlersv0)\<`C`\>                                                                                                          | [`CommandHandlersV0`](#commandhandlersv0)\<`C`\> |
+
+###### Parameters
+
+| Parameter    | Type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            |
+| ------------ | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `definition` | `Omit`\<`Readonly`\<\{ `catalog?`: [`Json`](#json); `commands?`: `Readonly`\<\{ `specs`: `C`; `handlers`: (`context`) => [`CommandHandlersV0`](#commandhandlersv0)\<`C`\>; \}\>; `projection?`: `Readonly`\<\{ `schema`: `Codec`\<`P`, `PI`\>; `catalog?`: (`value`) => [`Json`](#json); `read`: (`context`, `sessionId`) => `P` \| `Option`\<`P`\> \| `undefined`; \}\>; `prompt?`: (`context`, `run`) => \| readonly `Readonly`\<\{ `name`: `string`; `text`: `string`; \}\>[] \| `Promise`\<readonly `Readonly`\<\{ `name`: ...; `text`: ...; \}\>[]\> \| `Effect`\<readonly `Readonly`\<\{ `name`: ...; `text`: ...; \}\>[], [`HookError`](#hookerror), [`ExtensionRead`](#extensionread)\>; `tools?`: (`context`, `run`, `commands`) => \| `Readonly`\<\{ `[moduleBrand]`: `true`; \}\> \| `Promise`\< \| `Readonly`\<\{ `[moduleBrand]`: ...; \}\> \| `null`\> \| `Effect`\< \| `Readonly`\<\{ `[moduleBrand]`: ...; \}\> \| `Option`\<`Readonly`\<...\>\> \| `null`, [`HookError`](#hookerror), [`ExtensionRead`](#extensionread)\> \| `null`; `files?`: (`context`, `run`) => \| readonly `FileTool`[] \| `Promise`\<readonly `FileTool`[] \| `null`\> \| `Effect`\<readonly `FileTool`[] \| `Option`\<readonly ...[]\> \| `null`, [`HookError`](#hookerror), [`ExtensionRead`](#extensionread)\> \| `null`; `hooks?`: `Readonly`\<\{ `start?`: (`context`) => `void` \| `Promise`\<...\> \| `Effect`\<..., ..., ...\>; `onSettled?`: (`context`, `page`) => `void` \| `Effect`\<..., ..., ...\>; `onTimer?`: (`context`, `timer`) => `void` \| `Effect`\<..., ..., ...\>; \}\>; `timers?`: `true`; `attention?`: `true`; `compaction?`: (`context`) => `Readonly`\<\{ `consume`: (`view`) => \| [`CompactionHandoffResultV0`](#compactionhandoffresultv0) \| `Promise`\<...\> \| `Effect.Effect`\<..., ...\>; \}\>; \}\>, `"commands"`\> & `Readonly`\<\{ `commands?`: `Readonly`\<\{ `specs`: `C`; `handlers`: (`context`) => [`CommandHandlersV0`](#commandhandlersv0)\<`NoInfer`\<`C`\>\> & `H` & [`CheckedCommandHandlers`](#checkedcommandhandlers)\<`H`\>; \}\>; \}\> & `object` |
+
+###### Returns
+
+[`DefinedExtensionV0`](#definedextensionv0)\<`C`, `P`, `PI`\>
+
+###### Call Signature
+
+```ts
+define<P, PI>(definition): DefinedExtensionV0<Readonly<Record<never, never>>, P, PI>;
+```
+
+Register contributions without commands or a client entry.
+
+###### Type Parameters
+
+| Type Parameter |
+| -------------- |
+| `P`            |
+| `PI`           |
+
+###### Parameters
+
+| Parameter    | Type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |
+| ------------ | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `definition` | `Omit`\<`Readonly`\<\{ `catalog?`: [`Json`](#json); `commands?`: `Readonly`\<\{ `specs`: `C`; `handlers`: (`context`) => [`CommandHandlersV0`](#commandhandlersv0)\<`C`\>; \}\>; `projection?`: `Readonly`\<\{ `schema`: `Codec`\<`P`, `PI`\>; `catalog?`: (`value`) => [`Json`](#json); `read`: (`context`, `sessionId`) => `P` \| `Option`\<`P`\> \| `undefined`; \}\>; `prompt?`: (`context`, `run`) => \| readonly `Readonly`\<\{ `name`: `string`; `text`: `string`; \}\>[] \| `Promise`\<readonly `Readonly`\<\{ `name`: ...; `text`: ...; \}\>[]\> \| `Effect`\<readonly `Readonly`\<\{ `name`: ...; `text`: ...; \}\>[], [`HookError`](#hookerror), [`ExtensionRead`](#extensionread)\>; `tools?`: (`context`, `run`, `commands`) => \| `Readonly`\<\{ `[moduleBrand]`: `true`; \}\> \| `Promise`\< \| `Readonly`\<\{ `[moduleBrand]`: ...; \}\> \| `null`\> \| `Effect`\< \| `Readonly`\<\{ `[moduleBrand]`: ...; \}\> \| `Option`\<`Readonly`\<...\>\> \| `null`, [`HookError`](#hookerror), [`ExtensionRead`](#extensionread)\> \| `null`; `files?`: (`context`, `run`) => \| readonly `FileTool`[] \| `Promise`\<readonly `FileTool`[] \| `null`\> \| `Effect`\<readonly `FileTool`[] \| `Option`\<readonly ...[]\> \| `null`, [`HookError`](#hookerror), [`ExtensionRead`](#extensionread)\> \| `null`; `hooks?`: `Readonly`\<\{ `start?`: (`context`) => `void` \| `Promise`\<...\> \| `Effect`\<..., ..., ...\>; `onSettled?`: (`context`, `page`) => `void` \| `Effect`\<..., ..., ...\>; `onTimer?`: (`context`, `timer`) => `void` \| `Effect`\<..., ..., ...\>; \}\>; `timers?`: `true`; `attention?`: `true`; `compaction?`: (`context`) => `Readonly`\<\{ `consume`: (`view`) => \| [`CompactionHandoffResultV0`](#compactionhandoffresultv0) \| `Promise`\<...\> \| `Effect.Effect`\<..., ...\>; \}\>; \}\>, `"commands"`\> & `Readonly`\<\{ `commands?`: `Readonly`\<\{ `specs`: `C`; `handlers`: (`context`) => [`CommandHandlersV0`](#commandhandlersv0)\<`NoInfer`\<`Readonly`\<...\>\>\> & `Readonly`\<`Record`\<`never`, `never`\>\> & [`CheckedCommandHandlers`](#checkedcommandhandlers)\<`Readonly`\<`Record`\<..., ...\>\>\>; \}\>; \}\> & `object` |
+
+###### Returns
+
+[`DefinedExtensionV0`](#definedextensionv0)\<`Readonly`\<`Record`\<`never`,
+`never`\>\>, `P`, `PI`\>
+
+---
+
+### ExtensionHookError
+
+An outside handler rejected or threw before Shiitake could use its result.
+
+#### Extends
+
+- `YieldableError`\<`this`\> & `object` & `Readonly`\<\{ `cause`: `unknown`;
+  \}\>
+
+#### Constructors
+
+##### Constructor
+
+```ts
+new ExtensionHookError(args): ExtensionHookError;
+```
+
+###### Parameters
+
+| Parameter    | Type                      |
+| ------------ | ------------------------- |
+| `args`       | \{ `cause`: `unknown`; \} |
+| `args.cause` | `unknown`                 |
+
+###### Returns
+
+[`ExtensionHookError`](#extensionhookerror)
+
+###### Inherited from
+
+```ts
+Data.TaggedError("ExtensionHookError")<{
+  cause: unknown;
+}>.constructor
+```
+
+#### Properties
+
+##### cause
+
+```ts
+cause: unknown;
+```
+
+###### Inherited from
+
+```ts
+Data.TaggedError("ExtensionHookError").cause;
+```
+
+## Type Aliases
+
+### ShiitakeExtensionProtocolV0
+
+```ts
+type ShiitakeExtensionProtocolV0 = "shiitake.extension/v0";
+```
+
+Host extension protocol; client-entry protocol is versioned independently.
+
+---
+
+### ExtensionId
+
+```ts
+type ExtensionId = Schema.Schema.Type<typeof ExtensionId>;
+```
+
+ASCII extension identity shared by the server definition and its clients.
+
+---
+
+### ExtensionManifestV0
+
+```ts
+type ExtensionManifestV0 = Readonly<{
+  protocol: ShiitakeExtensionProtocolV0;
+  id: ExtensionId;
+  version: string;
+  requests: readonly ExtensionCapabilityV0[];
+}>;
+```
+
+Static identity and requested capabilities of one v0 extension.
+
+---
+
+### CommandSpecV0
+
+```ts
+type CommandSpecV0<S, I, II, O, OI> = Readonly<{
+  scope: S;
+  input: Schema.Codec<I, II>;
+  output: Schema.Codec<O, OI>;
+}>;
+```
+
+One command's scope and its encoded input and output schemas.
+
+#### Type Parameters
+
+| Type Parameter                         |
+| -------------------------------------- |
+| `S` _extends_ `"session"` \| `"agent"` |
+| `I`                                    |
+| `II`                                   |
+| `O`                                    |
+| `OI`                                   |
+
+---
+
+### AnyCommandSpecV0
+
+```ts
+type AnyCommandSpecV0 = Readonly<{
+  scope: "session" | "agent";
+  input: Schema.Codec<unknown>;
+  output: Schema.Codec<unknown>;
+}>;
+```
+
+Existential command spec.
+
+---
+
+### CommandsV0
+
+```ts
+type CommandsV0 = Readonly<Record<string, AnyCommandSpecV0>>;
+```
+
+Commands declared by one extension contract.
+
+---
+
+### ProjectionSpecV0
+
+```ts
+type ProjectionSpecV0<P, PI> = Readonly<{
+  schema: Schema.Codec<P, PI>;
+}>;
+```
+
+The encoded Session projection slot.
+
+#### Type Parameters
+
+| Type Parameter |
+| -------------- |
+| `P`            |
+| `PI`           |
+
+---
+
+### ExtensionContractV0
+
+```ts
+type ExtensionContractV0<C, P, PI> = Readonly<{
+  id: ExtensionId;
+  commands: C;
+  projection: ProjectionSpecV0<P, PI> | null;
+}>;
+```
+
+Shared by the host definition and the client binding: one schema set.
+
+#### Type Parameters
+
+| Type Parameter                            |
+| ----------------------------------------- |
+| `C` _extends_ [`CommandsV0`](#commandsv0) |
+| `P`                                       |
+| `PI`                                      |
+
+---
+
+### ExtensionRevision
+
+```ts
+type ExtensionRevision = typeof extensionRevisionSchema.Type;
+```
+
+`sha256:<64 hex>` derived by core from a definition; never authored.
+
+---
+
+### ExtensionFingerprint
+
+```ts
+type ExtensionFingerprint = typeof extensionFingerprintSchema.Type;
+```
+
+`sha256:<64 hex>` over one revision and its sorted granted capabilities.
+
+---
+
+### Json
+
+```ts
+type Json =
+  | null
+  | boolean
+  | number
+  | string
+  | readonly Json[]
+  | Readonly<{
+      [key: string]: Json;
+    }>;
+```
+
+JSON value accepted as hashed extension configuration.
+
+---
+
+### ExtensionGrantV0
+
+```ts
+type ExtensionGrantV0 = Readonly<{
+  id: ExtensionId;
+  capabilities: readonly ExtensionCapabilityV0[];
+  grantKey?: string;
+}>;
+```
+
+Host decision: the exact subset of requested capabilities it grants.
+
+---
+
+### HookError
+
+```ts
+type HookError =
+  ExtensionStop | ExtensionStateError | AdmissionError | ExtensionHookError;
+```
+
+Failures a background hook may return; each one stops only its extension.
+
+---
+
+### CollectionSpecV0
+
+```ts
+type CollectionSpecV0<A, I> = Readonly<{
+  schema: Schema.Codec<A, I>;
+  bind: (
+    port,
+    name,
+  ) => Readonly<{
+    read: CollectionV0<A>;
+    update: UpdateCollectionV0<A>;
+  }>;
+  indexFromEncoded: (value) => Result.Result<string | null, Schema.SchemaError>;
+  key: (value) => string;
+  index?: (value) => string | null;
+}>;
+```
+
+One namespaced collection: its row schema is the only stored-row decoder.
+
+#### Type Parameters
+
+| Type Parameter |
+| -------------- |
+| `A`            |
+| `I`            |
+
+---
+
+### AnyCollectionSpecV0
+
+```ts
+type AnyCollectionSpecV0 = Readonly<{
+  schema: Schema.Codec<unknown>;
+  bind: (port, name) => CollectionBindingV0;
+  indexFromEncoded: (value) => Result.Result<string | null, Schema.SchemaError>;
+  key: (value) => string;
+  index?: (value) => string | null;
+}>;
+```
+
+Existential collection spec stored by core.
+
+---
+
+### CollectionsV0
+
+```ts
+type CollectionsV0 = Readonly<Record<string, AnyCollectionSpecV0>>;
+```
+
+Collections declared by one extension.
+
+---
+
+### StoredRecordV0
+
+```ts
+type StoredRecordV0 = Readonly<{
+  collection: string;
+  key: string;
+  value: Json;
+}>;
+```
+
+One stored record as seen by a pure migration.
+
+---
+
+### StateSpecV0
+
+```ts
+type StateSpecV0<C> = Readonly<{
+  version: number;
+  collections: C;
+  migrations: Readonly<Record<number, (row) => readonly StoredRecordV0[]>>;
+}>;
+```
+
+Versioned state declaration; core runs pure row migrations at activation.
+
+#### Type Parameters
+
+| Type Parameter                                  |
+| ----------------------------------------------- |
+| `C` _extends_ [`CollectionsV0`](#collectionsv0) |
+
+---
+
+### StateDeclarationV0
+
+```ts
+type StateDeclarationV0<C> = Readonly<{
+  version?: number;
+  collections: C;
+  migrations?: StateSpecV0<C>["migrations"];
+}>;
+```
+
+The versioned state declaration as authored; version defaults to 1.
+
+#### Type Parameters
+
+| Type Parameter                                  |
+| ----------------------------------------------- |
+| `C` _extends_ [`CollectionsV0`](#collectionsv0) |
+
+---
+
+### CollectionV0
+
+```ts
+type CollectionV0<A> = Readonly<{
+  peek: (key) => Option.Option<A>;
+  peekPage: (query) => readonly A[];
+  get: (
+    key,
+  ) => Effect.Effect<Option.Option<A>, ExtensionStateError, ExtensionRead>;
+  page: (
+    query,
+  ) => Effect.Effect<readonly A[], ExtensionStateError, ExtensionRead>;
+  put: (value) => Effect.Effect<void, ExtensionStateError, ExtensionTx>;
+  remove: (key) => Effect.Effect<void, ExtensionStateError, ExtensionTx>;
+}>;
+```
+
+Typed access to one collection inside a core transaction.
+
+#### Type Parameters
+
+| Type Parameter |
+| -------------- |
+| `A`            |
+
+---
+
+### UpdateCollectionV0
+
+```ts
+type UpdateCollectionV0<A> = Readonly<{
+  get: (key) => Option.Option<A>;
+  page: (query) => readonly A[];
+  put: (value) => void;
+  remove: (key) => void;
+}>;
+```
+
+The transaction-local interface used by plain synchronous state.update.
+
+#### Type Parameters
+
+| Type Parameter |
+| -------------- |
+| `A`            |
+
+---
+
+### UpdateStateV0
+
+```ts
+type UpdateStateV0<C> = {
+  readonly [K in keyof C]: ReturnType<C[K]["bind"]>["update"];
+} & Readonly<{
+  observe: (sessionId) => void;
+}>;
+```
+
+Transaction-scoped collections plus post-commit Session notification.
+
+#### Type Parameters
+
+| Type Parameter                                  |
+| ----------------------------------------------- |
+| `C` _extends_ [`CollectionsV0`](#collectionsv0) |
+
+---
+
+### ReadStateV0
+
+```ts
+type ReadStateV0<C> = {
+  readonly [K in keyof C]: Pick<
+    ReturnType<C[K]["bind"]>["update"],
+    "get" | "page"
+  >;
+};
+```
+
+Synchronous, read-only collection access inside `state.read`.
+
+#### Type Parameters
+
+| Type Parameter                                  |
+| ----------------------------------------------- |
+| `C` _extends_ [`CollectionsV0`](#collectionsv0) |
+
+---
+
+### StateHandleV0
+
+```ts
+type StateHandleV0<C> = {
+  readonly [K in keyof C]: ReturnType<C[K]["bind"]>["read"];
+} & Readonly<{
+  update: StateUpdate<UpdateStateV0<C>>;
+  read: StateUpdate<ReadStateV0<C>>;
+}>;
+```
+
+Typed handles for every declared collection.
+
+#### Type Parameters
+
+| Type Parameter                                  |
+| ----------------------------------------------- |
+| `C` _extends_ [`CollectionsV0`](#collectionsv0) |
+
+---
+
+### RunOutcomeV0
+
+```ts
+type RunOutcomeV0 =
+  "completed" | "failed" | "cancelled" | "interrupted" | "outcome_unknown";
+```
+
+Watchdog settlement or exact Woodstock terminal of one run.
+
+---
+
+### RunOriginV0
+
+```ts
+type RunOriginV0 = Readonly<{
+  extensionId: ExtensionId;
+  correlation: string | null;
+}>;
+```
+
+Extension that admitted a run, with its stored correlation.
+
+---
+
+### SettledRunV0
+
+```ts
+type SettledRunV0 = Readonly<{
+  sequence: number;
+  sessionId: string;
+  workId: string;
+  outcome: RunOutcomeV0;
+  terminal: RunOutcomeV0 | "missing";
+  toolCalls: number;
+  origin: RunOriginV0 | null;
+}>;
+```
+
+One settled run joined by core with its terminal and admission origin.
+
+---
+
+### SettledPageV0
+
+```ts
+type SettledPageV0 = readonly SettledRunV0[];
+```
+
+1..64 records, ascending, each delivered to each running extension once.
+
+---
+
+### SendInputV0
+
+```ts
+type SendInputV0 = Readonly<{
+  sessionId: string;
+  requireExistingSession?: boolean;
+  prompt: Readonly<{
+    text: string;
+    requestId: string;
+    delivery: "followUp" | "steer";
+  }>;
+  when: "now" | "idle";
+  correlation?: string;
+}>;
+```
+
+One prompt sent through the accepted-command door.
+
+---
+
+### SendResultV0
+
+```ts
+type SendResultV0 =
+  | Readonly<{
+      _tag: "Accepted";
+      commandId: string;
+      delivery: "new" | "replay";
+    }>
+  | Readonly<{
+      _tag: "NotReady";
+    }>;
+```
+
+Door outcome for one extension admission.
+
+---
+
+### TimersV0
+
+```ts
+type TimersV0 = Readonly<{
+  set: (key, dueAt) => Effect.Effect<void, ExtensionStateError, ExtensionTx>;
+  cancel: (key) => Effect.Effect<void, ExtensionStateError, ExtensionTx>;
+  read: (
+    key,
+  ) => Effect.Effect<Option.Option<number>, ExtensionStateError, ExtensionRead>;
+}>;
+```
+
+Durable per-extension wake timers (the scheduling substrate).
+
+---
+
+### FiredTimerV0
+
+```ts
+type FiredTimerV0 = Readonly<{
+  key: string;
+  dueAt: number;
+  firedAt: number;
+}>;
+```
+
+A fired timer; its row is consumed unless the handler sets it again.
+
+---
+
+### CommandSessionIdsV0
+
+```ts
+type CommandSessionIdsV0 = object;
+```
+
+A command's scope fixes whether its invocation names a Session.
+
+#### Properties
+
+##### agent
+
+```ts
+agent: null;
+```
+
+##### session
+
+```ts
+session: string;
+```
+
+---
+
+### CommandHandlersV0
+
+```ts
+type CommandHandlersV0<C> = {
+  readonly [K in keyof C]: (
+    call: Readonly<{
+      sessionId: CommandSessionIdsV0[C[K]["scope"]];
+      input: C[K]["input"]["Type"];
+    }>,
+  ) =>
+    | C[K]["output"]["Type"]
+    | Effect.Effect<
+        C[K]["output"]["Type"],
+        ExtensionCommandError | ExtensionStateError | AdmissionError,
+        ExtensionTx | ExtensionRead
+      >;
+};
+```
+
+Handlers for every declared command, run in one core transaction.
+
+#### Type Parameters
+
+| Type Parameter                            |
+| ----------------------------------------- |
+| `C` _extends_ [`CommandsV0`](#commandsv0) |
+
+---
+
+### AttentionV0
+
+```ts
+type AttentionV0 = Readonly<{
+  set: (
+    sessionId,
+    item,
+  ) => Effect.Effect<void, ExtensionStateError, ExtensionTx>;
+  clear: (
+    sessionId,
+    id,
+  ) => Effect.Effect<void, ExtensionStateError, ExtensionTx>;
+}>;
+```
+
+Transaction-scoped, extension-owned attention on an existing Session.
+
+---
+
+### ExtensionContextV0
+
+```ts
+type ExtensionContextV0<S, Config, D> = Readonly<{
+  manifest: ExtensionManifestV0;
+  revision: ExtensionRevision;
+  grants: readonly ExtensionCapabilityV0[];
+  config: Config;
+  state: StateHandleV0<S>;
+  documents: DocumentHandlesV0<D>;
+  send: (input) => Effect.Effect<SendResultV0, AdmissionError, ExtensionTx>;
+  timers: TimersV0;
+  attention: AttentionV0;
+  hasPendingSteer: (
+    run,
+  ) => Effect.Effect<boolean, ExtensionStateError, ExtensionRead>;
+  hasSuccessfulToolResult: (
+    run,
+    toolCallId,
+  ) => Effect.Effect<boolean, ExtensionStateError, ExtensionRead>;
+  observe: (sessionId) => Effect.Effect<void, never, ExtensionTx>;
+  transact: <A, E>(body) => Effect.Effect<A, E | ExtensionStop | ShiitakeError>;
+}>;
+```
+
+Everything core hands one activated extension.
+
+#### Type Parameters
+
+| Type Parameter                                      | Default type                          |
+| --------------------------------------------------- | ------------------------------------- |
+| `S` _extends_ [`CollectionsV0`](#collectionsv0)     | -                                     |
+| `Config` _extends_ [`Json`](#json)                  | -                                     |
+| `D` _extends_ [`DocumentsV0`](index.md#documentsv0) | [`DocumentsV0`](index.md#documentsv0) |
+
+---
+
+### RunIdentityV0
+
+```ts
+type RunIdentityV0 = Readonly<{
+  sessionId: string;
+  workId: string;
+  origin: RunOriginV0 | null;
+}>;
+```
+
+One run the extension may attach tools to.
+
+---
+
+### PromptSectionV0
+
+```ts
+type PromptSectionV0 = Readonly<{
+  name: string;
+  text: string;
+}>;
+```
+
+A named, bounded system-prompt section; core orders by extension and name.
+
+---
+
+### AgentHooksV0
+
+```ts
+type AgentHooksV0<C, P> = Readonly<{
+  onSettled?: (
+    page,
+  ) => Effect.Effect<void, HookError, ExtensionTx | ExtensionRead>;
+  onTimer?: (
+    timer,
+  ) => Effect.Effect<void, HookError, ExtensionTx | ExtensionRead>;
+  moduleForRun?: (
+    run,
+  ) => Effect.Effect<
+    Option.Option<ModuleRegistration>,
+    HookError,
+    ExtensionRead
+  >;
+  filesForRun?: (
+    run,
+  ) => Effect.Effect<
+    Option.Option<readonly FileTool[]>,
+    HookError,
+    ExtensionRead
+  >;
+  prompt?: (
+    run,
+  ) =>
+    | readonly PromptSectionV0[]
+    | Promise<readonly PromptSectionV0[]>
+    | Effect.Effect<readonly PromptSectionV0[], HookError, ExtensionRead>;
+  project?: (sessionId) => Option.Option<P>;
+  compactionHandoff?: CompactionHandoffV0;
+  commands: CommandHandlersV0<C>;
+}>;
+```
+
+Hooks returned by one activation; each runs in its own isolation boundary.
+
+#### Type Parameters
+
+| Type Parameter                            |
+| ----------------------------------------- |
+| `C` _extends_ [`CommandsV0`](#commandsv0) |
+| `P`                                       |
+
+---
+
+### RosteredExtensionV0
+
+```ts
+type RosteredExtensionV0 = Readonly<{
+  manifest: ExtensionManifestV0;
+  [definitionReader]?: () => AnyExtensionDefinitionV0;
+}> &
+  Brand.Brand<"RosteredExtensionV0">;
+```
+
+Opaque rostered value; core reads the definition existentially.
+
+---
+
+### DefinedExtensionV0
+
+```ts
+type DefinedExtensionV0<C, P, PI> = RosteredExtensionV0 &
+  Readonly<{
+    contract: ExtensionContractV0<C, P, PI>;
+  }>;
+```
+
+A defined extension: its roster entry and the client contract it declares.
+
+#### Type Parameters
+
+| Type Parameter                            |
+| ----------------------------------------- |
+| `C` _extends_ [`CommandsV0`](#commandsv0) |
+| `P`                                       |
+| `PI`                                      |
+
+---
+
+### ExtensionDefinitionV0
+
+```ts
+type ExtensionDefinitionV0<S, C, P, PI, Config, D> = Readonly<{
+  catalog?: Json;
+  commands?: Readonly<{
+    specs: C;
+    handlers: (context) => CommandHandlersV0<C>;
+  }>;
+  projection?: Readonly<{
+    schema: Schema.Codec<P, PI>;
+    catalog?: (value) => Json;
+    read: (context, sessionId) => P | Option.Option<P> | undefined;
+  }>;
+  prompt?: (
+    context,
+    run,
+  ) =>
+    | readonly PromptSectionV0[]
+    | Promise<readonly PromptSectionV0[]>
+    | Effect.Effect<readonly PromptSectionV0[], HookError, ExtensionRead>;
+  tools?: (
+    context,
+    run,
+    commands,
+  ) =>
+    | ModuleRegistration
+    | null
+    | Promise<ModuleRegistration | null>
+    | Effect.Effect<
+        ModuleRegistration | null | Option.Option<ModuleRegistration>,
+        HookError,
+        ExtensionRead
+      >;
+  files?: (
+    context,
+    run,
+  ) =>
+    | readonly FileTool[]
+    | null
+    | Promise<readonly FileTool[] | null>
+    | Effect.Effect<
+        readonly FileTool[] | null | Option.Option<readonly FileTool[]>,
+        HookError,
+        ExtensionRead
+      >;
+  hooks?: Readonly<{
+    start?: (
+      context,
+    ) =>
+      | void
+      | Promise<void>
+      | Effect.Effect<void, ExtensionActivationError, Scope.Scope>;
+    onSettled?: (
+      context,
+      page,
+    ) => void | Effect.Effect<void, HookError, ExtensionTx | ExtensionRead>;
+    onTimer?: (
+      context,
+      timer,
+    ) => void | Effect.Effect<void, HookError, ExtensionTx | ExtensionRead>;
+  }>;
+  timers?: true;
+  attention?: true;
+  compaction?: (context) => Readonly<{
+    consume: (
+      view,
+    ) =>
+      | CompactionHandoffResultV0
+      | Promise<CompactionHandoffResultV0>
+      | Effect.Effect<
+          CompactionHandoffResultV0,
+          CompactionHandoffErrorV0 | ExtensionHookError
+        >;
+  }>;
+}>;
+```
+
+Contributions registered against the builder's captured metadata.
+
+#### Type Parameters
+
+| Type Parameter                                      | Default type                          |
+| --------------------------------------------------- | ------------------------------------- |
+| `S` _extends_ [`CollectionsV0`](#collectionsv0)     | -                                     |
+| `C` _extends_ [`CommandsV0`](#commandsv0)           | -                                     |
+| `P`                                                 | -                                     |
+| `PI`                                                | -                                     |
+| `Config` _extends_ [`Json`](#json)                  | -                                     |
+| `D` _extends_ [`DocumentsV0`](index.md#documentsv0) | [`DocumentsV0`](index.md#documentsv0) |
+
+---
+
+### CheckedCommandHandlers
+
+```ts
+type CheckedCommandHandlers<H> = {
+  readonly [K in keyof H]: H[K] extends (args: never[]) => infer Result
+    ? Result extends Promise<unknown>
+      ? never
+      : H[K]
+    : never;
+};
+```
+
+Reject Promise-returning transactional commands even when output is `{}`.
+
+#### Type Parameters
+
+| Type Parameter |
+| -------------- |
+| `H`            |
+
+---
+
+### ExtensionAuthorDefinitionV0
+
+```ts
+type ExtensionAuthorDefinitionV0<S, C, P, PI, Config, D, H> = Omit<
+  ExtensionDefinitionV0<S, C, P, PI, Config, D>,
+  "commands"
+> &
+  Readonly<{
+    commands?: Readonly<{
+      specs: C;
+      handlers: (
+        context,
+      ) => CommandHandlersV0<NoInfer<C>> & H & CheckedCommandHandlers<H>;
+    }>;
+  }>;
+```
+
+Caller-owned extension metadata and handlers accepted by the v0 builder.
+
+#### Type Parameters
+
+| Type Parameter                                                 |
+| -------------------------------------------------------------- |
+| `S` _extends_ [`CollectionsV0`](#collectionsv0)                |
+| `C` _extends_ [`CommandsV0`](#commandsv0)                      |
+| `P`                                                            |
+| `PI`                                                           |
+| `Config` _extends_ [`Json`](#json)                             |
+| `D` _extends_ [`DocumentsV0`](index.md#documentsv0)            |
+| `H` _extends_ [`CommandHandlersV0`](#commandhandlersv0)\<`C`\> |
+
+---
+
+### EmptyExtensionFieldsV0
+
+```ts
+type EmptyExtensionFieldsV0 = Readonly<Record<never, never>>;
+```
+
+Concrete metadata with no declared fields.
+
+---
+
+### ExtensionIdentityV0
+
+```ts
+type ExtensionIdentityV0 =
+  | string
+  | Readonly<{
+      id: string;
+      version?: string;
+    }>;
+```
+
+An extension id, or an id with an explicit SemVer version.
+
+---
+
+### AnyAgentHooksV0
+
+```ts
+type AnyAgentHooksV0 = Readonly<{
+  onSettled?: NonNullable<AgentHooksV0<CommandsV0, never>["onSettled"]>;
+  onTimer?: NonNullable<AgentHooksV0<CommandsV0, never>["onTimer"]>;
+  moduleForRun?: NonNullable<AgentHooksV0<CommandsV0, never>["moduleForRun"]>;
+  filesForRun?: NonNullable<AgentHooksV0<CommandsV0, never>["filesForRun"]>;
+  prompt?: NonNullable<AgentHooksV0<CommandsV0, never>["prompt"]>;
+  project?: (sessionId) => Option.Option<unknown>;
+  projectCatalog?: (value) => Json;
+  compactionHandoff?: CompactionHandoffV0;
+  commands: ReadonlyMap<string, RegisteredExtensionCommandV0>;
+}>;
+```
+
+Existential hooks as stored by core; each handler is re-typed by its schema.
+
+---
+
+### AnyExtensionDefinitionV0
+
+```ts
+type AnyExtensionDefinitionV0 = Readonly<{
+  manifest: ExtensionManifestV0;
+  contract: Readonly<{
+    id: ExtensionId;
+    commands: CommandsV0;
+    projection: Readonly<{
+      schema: Schema.Codec<unknown>;
+    }> | null;
+  }>;
+  config: Json;
+  state: StateSpecV0<CollectionsV0>;
+  documents?: DocumentsV0;
+  catalog?: Json;
+  activate: (
+    port,
+  ) => Effect.Effect<
+    AnyAgentHooksV0,
+    ExtensionActivationError | ExtensionHookError,
+    Scope.Scope
+  >;
+}>;
+```
+
+Existential definition stored by core.
+
+---
+
+### ExtensionRosterV0
+
+```ts
+type ExtensionRosterV0 = Readonly<{
+  roster: readonly RosteredExtensionV0[];
+  grants: readonly ExtensionGrantV0[];
+}>;
+```
+
+A host's explicit roster and grants.
+
+---
+
+### ExtensionStatusV0
+
+```ts
+type ExtensionStatusV0 = Readonly<{
+  id: string;
+  version: string;
+  revision: string;
+  status: "running" | "stopped";
+  reason: string | null;
+  stoppedAt: number | null;
+}>;
+```
+
+Visible lifecycle of one rostered extension (wire representation).
+
+---
+
+### ExtensionSlotV0
+
+```ts
+type ExtensionSlotV0 =
+  | Readonly<{
+      status: "running";
+      revision: string;
+      value: Json;
+      catalog?: Json;
+    }>
+  | Readonly<{
+      status: "stopped";
+      revision: string;
+      reason: string;
+    }>;
+```
+
+One extension's encoded slot in a Session snapshot or frame.
+
+---
+
+### BorrowedCompactionViewV0
+
+```ts
+type BorrowedCompactionViewV0 = Readonly<{
+  messagesToSummarize: readonly Message[];
+  turnPrefixMessages: readonly Message[];
+  result: Readonly<{
+    summary: string;
+    firstKeptEntryId: string;
+    tokensBefore: number;
+    usage: Usage;
+    details?: Readonly<{
+      readFiles: readonly string[];
+      modifiedFiles: readonly string[];
+    }>;
+  }>;
+  contextRevision: string;
+}>;
+```
+
+Borrowed view of the exact objects already built for compaction.
+
+---
+
+### CompactionHandoffResultV0
+
+```ts
+type CompactionHandoffResultV0 =
+  | Readonly<{
+      type: "accepted";
+      receipt: string;
+    }>
+  | Readonly<{
+      type: "discarded_by_policy";
+    }>;
+```
+
+Result returned before a borrowed compaction view may be released.
+
+---
+
+### CompactionHandoffErrorV0
+
+```ts
+type CompactionHandoffErrorV0 = Readonly<{
+  _tag: "CompactionHandoffError";
+  message: string;
+}>;
+```
+
+Typed failure returned by the compaction contribution.
+
+---
+
+### CompactionHandoffV0
+
+```ts
+type CompactionHandoffV0 = Readonly<{
+  consume: (
+    view,
+  ) => Effect.Effect<
+    CompactionHandoffResultV0,
+    CompactionHandoffErrorV0 | ExtensionHookError
+  >;
+}>;
+```
+
+The exclusive compaction handoff callable of one extension.
+
+---
+
+### RegisteredExtensionCommandV0
+
+```ts
+type RegisteredExtensionCommandV0 = (
+  frame,
+) => Result.Result<
+  () => Effect.Effect<
+    Json,
+    ExtensionCommandError | ExtensionStateError | AdmissionError,
+    ExtensionTx | ExtensionRead
+  >,
+  Schema.SchemaError
+>;
+```
+
+A parsed invocation retains its typed handler until the transaction runs.
+
+#### Parameters
+
+| Parameter | Type                                                                           |
+| --------- | ------------------------------------------------------------------------------ |
+| `frame`   | `Readonly`\<\{ `sessionId`: `string` \| `null`; `input`: [`Json`](#json); \}\> |
+
+#### Returns
+
+`Result.Result`\<() => `Effect.Effect`\<[`Json`](#json), \|
+[`ExtensionCommandError`](#extensioncommanderror) \|
+[`ExtensionStateError`](#extensionstateerror) \|
+[`AdmissionError`](#admissionerror), [`ExtensionTx`](#extensiontx) \|
+[`ExtensionRead`](#extensionread)\>, `Schema.SchemaError`\>
+
+---
+
+### CommandToolOptionsV0
+
+```ts
+type CommandToolOptionsV0 = Readonly<{
+  description: string;
+}>;
+```
+
+How one command appears to the model when exposed as a tool.
+
+---
+
+### CommandToolsV0
+
+```ts
+type CommandToolsV0<C> = Readonly<{
+  tool: (name, options) => OperationRegistration;
+}>;
+```
+
+Expose declared commands as model tools, bound to the current run's Session.
+
+#### Type Parameters
+
+| Type Parameter                            |
+| ----------------------------------------- |
+| `C` _extends_ [`CommandsV0`](#commandsv0) |
+
+---
+
+### CollectionBindingV0
+
+```ts
+type CollectionBindingV0 = Readonly<{
+  read: Omit<CollectionV0<unknown>, "put"> & Pick<CollectionV0<never>, "put">;
+  update: Omit<UpdateCollectionV0<unknown>, "put"> &
+    Pick<UpdateCollectionV0<never>, "put">;
+}>;
+```
+
+Core retains only these erased results; the author retains each concrete
+factory.
+
+---
+
+### ExtensionRuntimePortV0
+
+```ts
+type ExtensionRuntimePortV0 = Readonly<{
+  context: Omit<
+    ExtensionContextV0<EmptyExtensionFieldsV0, Json, EmptyExtensionFieldsV0>,
+    "config" | "state" | "documents"
+  >;
+  collection: <A, I>(name, spec) => CollectionV0<A>;
+  updateCollection: <A, I>(name, spec) => UpdateCollectionV0<A>;
+  document: <A, I>(name, spec) => DocumentHandleV0<A>;
+  update: <A>(body) => A;
+  observeUpdate: (sessionId) => void;
+}>;
+```
+
+State operations capture their typed declaration before entering core.
+
+---
+
+### SyncResult
+
+```ts
+type SyncResult<A> =
+  A extends Option.Option<unknown>
+    ? A
+    : A extends Promise<unknown> | Effect.Effect<unknown, unknown, unknown>
+      ? never
+      : A;
+```
+
+A write callback must resolve before the owner commits its SQLite transaction.
+
+#### Type Parameters
+
+| Type Parameter |
+| -------------- |
+| `A`            |
+
+---
+
+### StateUpdate
+
+```ts
+type StateUpdate<Tx> = <A>(handler) => A;
+```
+
+Public state-update shape: infer the return _before_ rejecting async results.
+
+#### Type Parameters
+
+| Type Parameter |
+| -------------- |
+| `Tx`           |
+
+#### Type Parameters
+
+| Type Parameter |
+| -------------- |
+| `A`            |
+
+#### Parameters
+
+| Parameter | Type                                         |
+| --------- | -------------------------------------------- |
+| `handler` | (`tx`) => [`SyncResult`](#syncresult)\<`A`\> |
+
+#### Returns
+
+`A`
+
+---
+
+### AttentionItem
+
+```ts
+type AttentionItem = typeof AttentionItemSchema.Type;
+```
+
+Input to the granted attention door, scoped to the calling extension.
+
+## Variables
+
+### extensionIdentifier
+
+```ts
+const extensionIdentifier: String;
+```
+
+ASCII extension identity shared by the host definition and its clients.
+
+---
+
+### extensionVersion
+
+```ts
+const extensionVersion: String;
+```
+
+SemVer spelling used by host admission.
+
+---
+
+### ExtensionId
+
+```ts
+const ExtensionId: brand<String, "ExtensionId">;
+```
+
+ASCII extension identity shared by the host definition and its clients.
+
+---
+
+### AttentionItemSchema
+
+```ts
+const AttentionItemSchema: Struct<{
+  id: NonEmptyString;
+  kind: NonEmptyString;
+  summary: NonEmptyString;
+  since: Int;
+  expiresAt: optional<Int>;
+}>;
+```
+
+An extension-owned request for human attention; expiry is owned by its timer.
+
+## Functions
+
+### parseExtensionJson()
+
+```ts
+function parseExtensionJson(source): Json;
+```
+
+Parse a serialized extension value into the finite JSON contract.
+
+#### Parameters
+
+| Parameter | Type     |
+| --------- | -------- |
+| `source`  | `string` |
+
+#### Returns
+
+[`Json`](#json)
+
+---
+
+### defineExtension()
+
+```ts
+function defineExtension(
+  identity,
+): ExtensionBuilderV0<
+  Readonly<Record<never, never>>,
+  Readonly<Record<never, never>>,
+  Readonly<Record<never, never>>
+>;
+```
+
+Begin with honest empty defaults; optional contributions are declared
+explicitly. The version defaults to `0.0.0` and any SemVer, including a
+pre-release, is valid. It is part of the extension's revision, which already
+covers schemas, config and requested capabilities; a different version marks a
+behaviour change those do not show, such as a fixed hook.
+
+#### Parameters
+
+| Parameter  | Type                                          |
+| ---------- | --------------------------------------------- |
+| `identity` | [`ExtensionIdentityV0`](#extensionidentityv0) |
+
+#### Returns
+
+[`ExtensionBuilderV0`](#extensionbuilderv0)\<`Readonly`\<`Record`\<`never`,
+`never`\>\>, `Readonly`\<`Record`\<`never`, `never`\>\>,
+`Readonly`\<`Record`\<`never`, `never`\>\>\>
+
+---
+
+### defineCollection()
+
+```ts
+function defineCollection<A, I>(schema, keys): CollectionSpecV0<A, I>;
+```
+
+Declare one collection with its key inferred from the row schema.
+
+#### Type Parameters
+
+| Type Parameter |
+| -------------- |
+| `A`            |
+| `I`            |
+
+#### Parameters
+
+| Parameter | Type                                                                                         |
+| --------- | -------------------------------------------------------------------------------------------- |
+| `schema`  | `Codec`\<`A`, `I`\>                                                                          |
+| `keys`    | `Readonly`\<\{ `key`: (`value`) => `string`; `index?`: (`value`) => `string` \| `null`; \}\> |
+
+#### Returns
+
+[`CollectionSpecV0`](#collectionspecv0)\<`A`, `I`\>
+
+## References
+
+### SessionAttention
+
+Re-exports [SessionAttention](client.md#sessionattention)
+
+---
+
+### ClientActivityV0
+
+Re-exports [ClientActivityV0](client-entry.md#clientactivityv0)
+
+---
+
+### ExtensionCapabilityV0
+
+Re-exports [ExtensionCapabilityV0](index.md#extensioncapabilityv0)