(
record: WorkspaceTurnTaskHandleRecord
)
| 4685 | } |
| 4686 | |
| 4687 | private buildWorkspaceTurnWaitResult( |
| 4688 | record: WorkspaceTurnTaskHandleRecord |
| 4689 | ): WorkspaceTurnWaitResult { |
| 4690 | assert(record.handleId.length > 0, "workspace turn record requires handleId"); |
| 4691 | assert(record.workspaceId.length > 0, "workspace turn record requires workspaceId"); |
| 4692 | return { |
| 4693 | taskId: record.handleId, |
| 4694 | workspaceId: record.workspaceId, |
| 4695 | reportMarkdown: |
| 4696 | record.reportMarkdown ?? "Workspace turn completed without final text output.", |
| 4697 | title: record.title, |
| 4698 | messageId: record.messageId, |
| 4699 | finalMessageRef: record.finalMessageRef, |
| 4700 | }; |
| 4701 | } |
| 4702 | |
| 4703 | /** |
| 4704 | * Settle pending workspace-turn waiters. Returns whether any foreground waiter consumed the |
no test coverage detected