(input)
| 1732 | ): ManagedWorkspaceFilesystemWorker { |
| 1733 | return { |
| 1734 | async execute(input) { |
| 1735 | const result = await worker.execute(input); |
| 1736 | switch (result.kind) { |
| 1737 | case 'read': |
| 1738 | case 'read_image': |
| 1739 | case 'glob': |
| 1740 | case 'grep': |
| 1741 | return result; |
| 1742 | default: |
| 1743 | throw new RuntimeHostWorkspaceExecutionError( |
| 1744 | 'workspace_operation_denied', |
| 1745 | `Read-only filesystem worker returned mutating result ${result.kind}`, |
| 1746 | ); |
| 1747 | } |
| 1748 | }, |
| 1749 | }; |
| 1750 | } |
| 1751 |