diff --git a/docs/cordis-catalog/events-and-services.md b/docs/cordis-catalog/events-and-services.md
index f651867c89..231c7adc83 100644
--- a/docs/cordis-catalog/events-and-services.md
+++ b/docs/cordis-catalog/events-and-services.md
@@ -341,7 +341,7 @@ Source: [`packages/bash/bash/src/index.ts:58`](../../packages/bash/bash/src/inde
 
 ### `ctx.llm` — `LlmService`
 
-The abstract `llm` service: an adapter registry plus streaming / non-streaming call surfaces, both interceptable via waterfall events.
+The abstract `llm` service: an adapter registry plus a streaming model-call surface, interceptable via the `llm/stream` waterfall.
 
 ```ts cordis-catalog
 registerAdapter(models: string[], adapter: LlmAdapter): () => void
diff --git a/docs/rfc/implemented/simplification/2026-06-20-drop-unconsumed-llm-adapter-change-event.md b/docs/rfc/implemented/simplification/2026-06-20-drop-unconsumed-llm-adapter-change-event.md
index 5ed2f0da68..e35e090dbf 100644
--- a/docs/rfc/implemented/simplification/2026-06-20-drop-unconsumed-llm-adapter-change-event.md
+++ b/docs/rfc/implemented/simplification/2026-06-20-drop-unconsumed-llm-adapter-change-event.md
@@ -29,7 +29,7 @@ If an LLM adapter browser or dynamic model-picker needs this signal later, reint
 
 ## Acceptance criteria
 
-- `llm/adapter-change` and its emits are gone; `pnpm run verify-event-taxonomy` passes against the updated table.
+- `llm/adapter-change` and its emits are gone; `pnpm run verify-cordis-catalog` passes against the regenerated catalog.
 - HMR-safety tests still pass: disposing a contributing fiber still removes the adapter.
 - `tools/change` and `system-prompt/change` remain documented and tested.
 - `pnpm run test:coverage` stays 100% per-file.
diff --git a/packages/llm/llm/src/index.ts b/packages/llm/llm/src/index.ts
index e463e631d6..320838a8a6 100644
--- a/packages/llm/llm/src/index.ts
+++ b/packages/llm/llm/src/index.ts
@@ -63,8 +63,8 @@ export abstract class LlmAdapter {
 }
 
 /**
- * The abstract `llm` service: an adapter registry plus streaming /
- * non-streaming call surfaces, both interceptable via waterfall events.
+ * The abstract `llm` service: an adapter registry plus a streaming model-call
+ * surface, interceptable via the `llm/stream` waterfall.
  */
 export class LlmService extends Service {
   private adapters = new Map<string, LlmAdapter>()
diff --git a/packages/llm/llm/tests/properties.spec.ts b/packages/llm/llm/tests/properties.spec.ts
index 89c398793d..c63d56abbb 100644
--- a/packages/llm/llm/tests/properties.spec.ts
+++ b/packages/llm/llm/tests/properties.spec.ts
@@ -4,7 +4,7 @@
  * The assembler is protocol-shaped: arbitrary interleavings of block-start,
  * deltas, block-end, usage, and finish — valid and malformed (duplicate
  * indices, stragglers after block-end, missing block-start, delta-only). The
- * invariants below are the contract the agent loop and LlmService rely on.
+ * invariants below are the contract the agent loop relies on.
  */
 
 import { describe, expect, it } from 'vitest'
@@ -99,16 +99,4 @@ describe('BlockAssembler properties', () => {
       }
     }))
   })
-
-  it('streaming and one-shot assembly agree on usage and finish', () => {
-    fc.assert(fc.property(streamArb, (chunks) => {
-      // Streaming consumer: push as it goes.
-      const streaming = new BlockAssembler()
-      for (const chunk of chunks) streaming.push(chunk)
-      // One-shot consumer: push all, then read.
-      const oneShot = feed(chunks)
-      expect(streaming.usage).toEqual(oneShot.usage)
-      expect(streaming.finish).toEqual(oneShot.finish)
-    }))
-  })
 })
diff --git a/scripts/gen-cordis-catalog.ts b/scripts/gen-cordis-catalog.ts
index fa6545daef..7479f5306c 100644
--- a/scripts/gen-cordis-catalog.ts
+++ b/scripts/gen-cordis-catalog.ts
@@ -64,7 +64,6 @@ const LINK_MAP: Record<string, string> = {
   Message: 'core.md',
   MessageSource: 'core.md',
   GenerateOptions: 'core.md',
-  GenerateResult: 'core.md',
   SessionEvent: 'core.md',
   StreamChunk: 'llm-streaming.md',
   TurnEndReason: 'session.md',