@ericsanchezok/synergy-util 3.0.23 → 3.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (74) hide show
  1. package/LICENSE.codex +201 -0
  2. package/NOTICE +9 -0
  3. package/dist/activity.d.ts +9 -4
  4. package/dist/activity.js +20 -19
  5. package/dist/asset-reference.d.ts +15 -0
  6. package/dist/asset-reference.js +98 -0
  7. package/dist/atomic-file.d.ts +9 -0
  8. package/dist/atomic-file.js +86 -0
  9. package/dist/attachment-presentation.d.ts +26 -0
  10. package/dist/attachment-presentation.js +11 -0
  11. package/dist/capability.d.ts +1 -1
  12. package/dist/capability.js +5 -19
  13. package/dist/cli-command.d.ts +12 -0
  14. package/dist/cli-command.js +3 -0
  15. package/dist/encode.d.ts +3 -0
  16. package/dist/encode.js +7 -0
  17. package/dist/error.d.ts +36 -56
  18. package/dist/feature-config.d.ts +4 -0
  19. package/dist/feature-config.js +23 -0
  20. package/dist/features.d.ts +134 -0
  21. package/dist/features.js +195 -0
  22. package/dist/file-patch.d.ts +31 -0
  23. package/dist/file-patch.js +218 -0
  24. package/dist/filesystem-identity.d.ts +28 -0
  25. package/dist/filesystem-identity.js +71 -0
  26. package/dist/fn.d.ts +1 -1
  27. package/dist/fs-lock.d.ts +5 -1
  28. package/dist/fs-lock.js +14 -6
  29. package/dist/input-assistance.d.ts +51 -0
  30. package/dist/input-assistance.js +61 -0
  31. package/dist/installed-launcher.d.ts +18 -0
  32. package/dist/installed-launcher.js +39 -0
  33. package/dist/io-retry.d.ts +11 -0
  34. package/dist/io-retry.js +36 -0
  35. package/dist/json-value.d.ts +4 -0
  36. package/dist/json-value.js +12 -0
  37. package/dist/markdown-assets.d.ts +6 -0
  38. package/dist/markdown-assets.js +29 -0
  39. package/dist/markdown-link.d.ts +2 -0
  40. package/dist/markdown-link.js +8 -0
  41. package/dist/native-assets.d.ts +7 -0
  42. package/dist/native-assets.js +28 -0
  43. package/dist/network-error.d.ts +7 -0
  44. package/dist/network-error.js +111 -0
  45. package/dist/plugin-policy.d.ts +1 -1
  46. package/dist/process-group.d.ts +45 -0
  47. package/dist/process-group.js +156 -0
  48. package/dist/process-identity.js +5 -2
  49. package/dist/projection-patch.d.ts +9 -0
  50. package/dist/projection-patch.js +74 -0
  51. package/dist/reasoning-item.d.ts +1 -0
  52. package/dist/reasoning-item.js +16 -0
  53. package/dist/render-artifact.d.ts +352 -0
  54. package/dist/render-artifact.js +115 -0
  55. package/dist/render-ui.d.ts +202 -0
  56. package/dist/render-ui.js +208 -0
  57. package/dist/resource-reference.d.ts +73 -0
  58. package/dist/resource-reference.js +227 -0
  59. package/dist/retry.d.ts +4 -0
  60. package/dist/retry.js +56 -23
  61. package/dist/runtime-startup.d.ts +240 -2
  62. package/dist/runtime-startup.js +108 -9
  63. package/dist/terminal.d.ts +217 -0
  64. package/dist/terminal.js +111 -0
  65. package/dist/tool-display.d.ts +10 -0
  66. package/dist/tool-display.js +22 -1
  67. package/dist/tool-timeout.d.ts +21 -0
  68. package/dist/tool-timeout.js +1 -0
  69. package/dist/tool.d.ts +6 -7
  70. package/dist/workbench-view.d.ts +692 -0
  71. package/dist/workbench-view.js +90 -0
  72. package/dist/worker-plan.d.ts +39 -0
  73. package/dist/worker-plan.js +33 -0
  74. package/package.json +28 -4
@@ -0,0 +1,692 @@
1
+ import { z } from "zod";
2
+ export declare namespace WorkbenchView {
3
+ const VERSION = 1;
4
+ const TargetKind: z.ZodEnum<{
5
+ asset: "asset";
6
+ "browser-page": "browser-page";
7
+ note: "note";
8
+ "workspace-file": "workspace-file";
9
+ }>;
10
+ type TargetKind = z.infer<typeof TargetKind>;
11
+ const Target: z.ZodDiscriminatedUnion<[z.ZodObject<{
12
+ kind: z.ZodLiteral<"note">;
13
+ id: z.ZodString;
14
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
15
+ kind: z.ZodLiteral<"text">;
16
+ line: z.ZodNumber;
17
+ column: z.ZodOptional<z.ZodNumber>;
18
+ endLine: z.ZodOptional<z.ZodNumber>;
19
+ endColumn: z.ZodOptional<z.ZodNumber>;
20
+ }, z.core.$strip>, z.ZodObject<{
21
+ kind: z.ZodLiteral<"heading">;
22
+ id: z.ZodString;
23
+ }, z.core.$strip>, z.ZodObject<{
24
+ kind: z.ZodLiteral<"page">;
25
+ page: z.ZodNumber;
26
+ }, z.core.$strip>], "kind">>;
27
+ }, z.core.$strict>, z.ZodObject<{
28
+ kind: z.ZodLiteral<"workspace-file">;
29
+ path: z.ZodString;
30
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
31
+ kind: z.ZodLiteral<"text">;
32
+ line: z.ZodNumber;
33
+ column: z.ZodOptional<z.ZodNumber>;
34
+ endLine: z.ZodOptional<z.ZodNumber>;
35
+ endColumn: z.ZodOptional<z.ZodNumber>;
36
+ }, z.core.$strip>, z.ZodObject<{
37
+ kind: z.ZodLiteral<"heading">;
38
+ id: z.ZodString;
39
+ }, z.core.$strip>, z.ZodObject<{
40
+ kind: z.ZodLiteral<"page">;
41
+ page: z.ZodNumber;
42
+ }, z.core.$strip>], "kind">>;
43
+ }, z.core.$strict>, z.ZodObject<{
44
+ kind: z.ZodLiteral<"browser-page">;
45
+ pageId: z.ZodString;
46
+ }, z.core.$strict>, z.ZodObject<{
47
+ kind: z.ZodLiteral<"asset">;
48
+ url: z.ZodString;
49
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
50
+ kind: z.ZodLiteral<"text">;
51
+ line: z.ZodNumber;
52
+ column: z.ZodOptional<z.ZodNumber>;
53
+ endLine: z.ZodOptional<z.ZodNumber>;
54
+ endColumn: z.ZodOptional<z.ZodNumber>;
55
+ }, z.core.$strip>, z.ZodObject<{
56
+ kind: z.ZodLiteral<"heading">;
57
+ id: z.ZodString;
58
+ }, z.core.$strip>, z.ZodObject<{
59
+ kind: z.ZodLiteral<"page">;
60
+ page: z.ZodNumber;
61
+ }, z.core.$strip>], "kind">>;
62
+ }, z.core.$strict>], "kind">;
63
+ type Target = z.infer<typeof Target>;
64
+ const Command: z.ZodDiscriminatedUnion<[z.ZodObject<{
65
+ action: z.ZodLiteral<"open">;
66
+ target: z.ZodDiscriminatedUnion<[z.ZodObject<{
67
+ kind: z.ZodLiteral<"note">;
68
+ id: z.ZodString;
69
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
70
+ kind: z.ZodLiteral<"text">;
71
+ line: z.ZodNumber;
72
+ column: z.ZodOptional<z.ZodNumber>;
73
+ endLine: z.ZodOptional<z.ZodNumber>;
74
+ endColumn: z.ZodOptional<z.ZodNumber>;
75
+ }, z.core.$strip>, z.ZodObject<{
76
+ kind: z.ZodLiteral<"heading">;
77
+ id: z.ZodString;
78
+ }, z.core.$strip>, z.ZodObject<{
79
+ kind: z.ZodLiteral<"page">;
80
+ page: z.ZodNumber;
81
+ }, z.core.$strip>], "kind">>;
82
+ }, z.core.$strict>, z.ZodObject<{
83
+ kind: z.ZodLiteral<"workspace-file">;
84
+ path: z.ZodString;
85
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
86
+ kind: z.ZodLiteral<"text">;
87
+ line: z.ZodNumber;
88
+ column: z.ZodOptional<z.ZodNumber>;
89
+ endLine: z.ZodOptional<z.ZodNumber>;
90
+ endColumn: z.ZodOptional<z.ZodNumber>;
91
+ }, z.core.$strip>, z.ZodObject<{
92
+ kind: z.ZodLiteral<"heading">;
93
+ id: z.ZodString;
94
+ }, z.core.$strip>, z.ZodObject<{
95
+ kind: z.ZodLiteral<"page">;
96
+ page: z.ZodNumber;
97
+ }, z.core.$strip>], "kind">>;
98
+ }, z.core.$strict>, z.ZodObject<{
99
+ kind: z.ZodLiteral<"browser-page">;
100
+ pageId: z.ZodString;
101
+ }, z.core.$strict>, z.ZodObject<{
102
+ kind: z.ZodLiteral<"asset">;
103
+ url: z.ZodString;
104
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
105
+ kind: z.ZodLiteral<"text">;
106
+ line: z.ZodNumber;
107
+ column: z.ZodOptional<z.ZodNumber>;
108
+ endLine: z.ZodOptional<z.ZodNumber>;
109
+ endColumn: z.ZodOptional<z.ZodNumber>;
110
+ }, z.core.$strip>, z.ZodObject<{
111
+ kind: z.ZodLiteral<"heading">;
112
+ id: z.ZodString;
113
+ }, z.core.$strip>, z.ZodObject<{
114
+ kind: z.ZodLiteral<"page">;
115
+ page: z.ZodNumber;
116
+ }, z.core.$strip>], "kind">>;
117
+ }, z.core.$strict>], "kind">;
118
+ }, z.core.$strict>, z.ZodObject<{
119
+ action: z.ZodLiteral<"hide">;
120
+ viewId: z.ZodString;
121
+ }, z.core.$strict>, z.ZodObject<{
122
+ action: z.ZodLiteral<"status">;
123
+ requestId: z.ZodOptional<z.ZodString>;
124
+ }, z.core.$strict>], "action">;
125
+ type Command = z.infer<typeof Command>;
126
+ const Parameters: z.ZodObject<{
127
+ input: z.ZodDiscriminatedUnion<[z.ZodObject<{
128
+ action: z.ZodLiteral<"open">;
129
+ target: z.ZodDiscriminatedUnion<[z.ZodObject<{
130
+ kind: z.ZodLiteral<"note">;
131
+ id: z.ZodString;
132
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
133
+ kind: z.ZodLiteral<"text">;
134
+ line: z.ZodNumber;
135
+ column: z.ZodOptional<z.ZodNumber>;
136
+ endLine: z.ZodOptional<z.ZodNumber>;
137
+ endColumn: z.ZodOptional<z.ZodNumber>;
138
+ }, z.core.$strip>, z.ZodObject<{
139
+ kind: z.ZodLiteral<"heading">;
140
+ id: z.ZodString;
141
+ }, z.core.$strip>, z.ZodObject<{
142
+ kind: z.ZodLiteral<"page">;
143
+ page: z.ZodNumber;
144
+ }, z.core.$strip>], "kind">>;
145
+ }, z.core.$strict>, z.ZodObject<{
146
+ kind: z.ZodLiteral<"workspace-file">;
147
+ path: z.ZodString;
148
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
149
+ kind: z.ZodLiteral<"text">;
150
+ line: z.ZodNumber;
151
+ column: z.ZodOptional<z.ZodNumber>;
152
+ endLine: z.ZodOptional<z.ZodNumber>;
153
+ endColumn: z.ZodOptional<z.ZodNumber>;
154
+ }, z.core.$strip>, z.ZodObject<{
155
+ kind: z.ZodLiteral<"heading">;
156
+ id: z.ZodString;
157
+ }, z.core.$strip>, z.ZodObject<{
158
+ kind: z.ZodLiteral<"page">;
159
+ page: z.ZodNumber;
160
+ }, z.core.$strip>], "kind">>;
161
+ }, z.core.$strict>, z.ZodObject<{
162
+ kind: z.ZodLiteral<"browser-page">;
163
+ pageId: z.ZodString;
164
+ }, z.core.$strict>, z.ZodObject<{
165
+ kind: z.ZodLiteral<"asset">;
166
+ url: z.ZodString;
167
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
168
+ kind: z.ZodLiteral<"text">;
169
+ line: z.ZodNumber;
170
+ column: z.ZodOptional<z.ZodNumber>;
171
+ endLine: z.ZodOptional<z.ZodNumber>;
172
+ endColumn: z.ZodOptional<z.ZodNumber>;
173
+ }, z.core.$strip>, z.ZodObject<{
174
+ kind: z.ZodLiteral<"heading">;
175
+ id: z.ZodString;
176
+ }, z.core.$strip>, z.ZodObject<{
177
+ kind: z.ZodLiteral<"page">;
178
+ page: z.ZodNumber;
179
+ }, z.core.$strip>], "kind">>;
180
+ }, z.core.$strict>], "kind">;
181
+ }, z.core.$strict>, z.ZodObject<{
182
+ action: z.ZodLiteral<"hide">;
183
+ viewId: z.ZodString;
184
+ }, z.core.$strict>, z.ZodObject<{
185
+ action: z.ZodLiteral<"status">;
186
+ requestId: z.ZodOptional<z.ZodString>;
187
+ }, z.core.$strict>], "action">;
188
+ clientId: z.ZodOptional<z.ZodString>;
189
+ timeoutSeconds: z.ZodOptional<z.ZodNumber>;
190
+ }, z.core.$strict>;
191
+ type Parameters = z.infer<typeof Parameters>;
192
+ const View: z.ZodObject<{
193
+ viewId: z.ZodString;
194
+ surface: z.ZodEnum<{
195
+ bottom: "bottom";
196
+ side: "side";
197
+ }>;
198
+ target: z.ZodDiscriminatedUnion<[z.ZodObject<{
199
+ kind: z.ZodLiteral<"note">;
200
+ id: z.ZodString;
201
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
202
+ kind: z.ZodLiteral<"text">;
203
+ line: z.ZodNumber;
204
+ column: z.ZodOptional<z.ZodNumber>;
205
+ endLine: z.ZodOptional<z.ZodNumber>;
206
+ endColumn: z.ZodOptional<z.ZodNumber>;
207
+ }, z.core.$strip>, z.ZodObject<{
208
+ kind: z.ZodLiteral<"heading">;
209
+ id: z.ZodString;
210
+ }, z.core.$strip>, z.ZodObject<{
211
+ kind: z.ZodLiteral<"page">;
212
+ page: z.ZodNumber;
213
+ }, z.core.$strip>], "kind">>;
214
+ }, z.core.$strict>, z.ZodObject<{
215
+ kind: z.ZodLiteral<"workspace-file">;
216
+ path: z.ZodString;
217
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
218
+ kind: z.ZodLiteral<"text">;
219
+ line: z.ZodNumber;
220
+ column: z.ZodOptional<z.ZodNumber>;
221
+ endLine: z.ZodOptional<z.ZodNumber>;
222
+ endColumn: z.ZodOptional<z.ZodNumber>;
223
+ }, z.core.$strip>, z.ZodObject<{
224
+ kind: z.ZodLiteral<"heading">;
225
+ id: z.ZodString;
226
+ }, z.core.$strip>, z.ZodObject<{
227
+ kind: z.ZodLiteral<"page">;
228
+ page: z.ZodNumber;
229
+ }, z.core.$strip>], "kind">>;
230
+ }, z.core.$strict>, z.ZodObject<{
231
+ kind: z.ZodLiteral<"browser-page">;
232
+ pageId: z.ZodString;
233
+ }, z.core.$strict>, z.ZodObject<{
234
+ kind: z.ZodLiteral<"asset">;
235
+ url: z.ZodString;
236
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
237
+ kind: z.ZodLiteral<"text">;
238
+ line: z.ZodNumber;
239
+ column: z.ZodOptional<z.ZodNumber>;
240
+ endLine: z.ZodOptional<z.ZodNumber>;
241
+ endColumn: z.ZodOptional<z.ZodNumber>;
242
+ }, z.core.$strip>, z.ZodObject<{
243
+ kind: z.ZodLiteral<"heading">;
244
+ id: z.ZodString;
245
+ }, z.core.$strip>, z.ZodObject<{
246
+ kind: z.ZodLiteral<"page">;
247
+ page: z.ZodNumber;
248
+ }, z.core.$strip>], "kind">>;
249
+ }, z.core.$strict>], "kind">;
250
+ visible: z.ZodBoolean;
251
+ contentState: z.ZodEnum<{
252
+ loading: "loading";
253
+ ready: "ready";
254
+ unavailable: "unavailable";
255
+ }>;
256
+ }, z.core.$strict>;
257
+ type View = z.infer<typeof View>;
258
+ const Client: z.ZodObject<{
259
+ clientId: z.ZodString;
260
+ }, z.core.$strict>;
261
+ type Client = z.infer<typeof Client>;
262
+ const Outcome: z.ZodObject<{
263
+ status: z.ZodEnum<{
264
+ ambiguous: "ambiguous";
265
+ applied: "applied";
266
+ blocked: "blocked";
267
+ cancelled: "cancelled";
268
+ superseded: "superseded";
269
+ unavailable: "unavailable";
270
+ unknown: "unknown";
271
+ }>;
272
+ reason: z.ZodOptional<z.ZodString>;
273
+ views: z.ZodOptional<z.ZodArray<z.ZodObject<{
274
+ viewId: z.ZodString;
275
+ surface: z.ZodEnum<{
276
+ bottom: "bottom";
277
+ side: "side";
278
+ }>;
279
+ target: z.ZodDiscriminatedUnion<[z.ZodObject<{
280
+ kind: z.ZodLiteral<"note">;
281
+ id: z.ZodString;
282
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
283
+ kind: z.ZodLiteral<"text">;
284
+ line: z.ZodNumber;
285
+ column: z.ZodOptional<z.ZodNumber>;
286
+ endLine: z.ZodOptional<z.ZodNumber>;
287
+ endColumn: z.ZodOptional<z.ZodNumber>;
288
+ }, z.core.$strip>, z.ZodObject<{
289
+ kind: z.ZodLiteral<"heading">;
290
+ id: z.ZodString;
291
+ }, z.core.$strip>, z.ZodObject<{
292
+ kind: z.ZodLiteral<"page">;
293
+ page: z.ZodNumber;
294
+ }, z.core.$strip>], "kind">>;
295
+ }, z.core.$strict>, z.ZodObject<{
296
+ kind: z.ZodLiteral<"workspace-file">;
297
+ path: z.ZodString;
298
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
299
+ kind: z.ZodLiteral<"text">;
300
+ line: z.ZodNumber;
301
+ column: z.ZodOptional<z.ZodNumber>;
302
+ endLine: z.ZodOptional<z.ZodNumber>;
303
+ endColumn: z.ZodOptional<z.ZodNumber>;
304
+ }, z.core.$strip>, z.ZodObject<{
305
+ kind: z.ZodLiteral<"heading">;
306
+ id: z.ZodString;
307
+ }, z.core.$strip>, z.ZodObject<{
308
+ kind: z.ZodLiteral<"page">;
309
+ page: z.ZodNumber;
310
+ }, z.core.$strip>], "kind">>;
311
+ }, z.core.$strict>, z.ZodObject<{
312
+ kind: z.ZodLiteral<"browser-page">;
313
+ pageId: z.ZodString;
314
+ }, z.core.$strict>, z.ZodObject<{
315
+ kind: z.ZodLiteral<"asset">;
316
+ url: z.ZodString;
317
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
318
+ kind: z.ZodLiteral<"text">;
319
+ line: z.ZodNumber;
320
+ column: z.ZodOptional<z.ZodNumber>;
321
+ endLine: z.ZodOptional<z.ZodNumber>;
322
+ endColumn: z.ZodOptional<z.ZodNumber>;
323
+ }, z.core.$strip>, z.ZodObject<{
324
+ kind: z.ZodLiteral<"heading">;
325
+ id: z.ZodString;
326
+ }, z.core.$strip>, z.ZodObject<{
327
+ kind: z.ZodLiteral<"page">;
328
+ page: z.ZodNumber;
329
+ }, z.core.$strip>], "kind">>;
330
+ }, z.core.$strict>], "kind">;
331
+ visible: z.ZodBoolean;
332
+ contentState: z.ZodEnum<{
333
+ loading: "loading";
334
+ ready: "ready";
335
+ unavailable: "unavailable";
336
+ }>;
337
+ }, z.core.$strict>>>;
338
+ clients: z.ZodOptional<z.ZodArray<z.ZodObject<{
339
+ clientId: z.ZodString;
340
+ }, z.core.$strict>>>;
341
+ }, z.core.$strict>;
342
+ type Outcome = z.infer<typeof Outcome>;
343
+ const Result: z.ZodObject<{
344
+ status: z.ZodEnum<{
345
+ ambiguous: "ambiguous";
346
+ applied: "applied";
347
+ blocked: "blocked";
348
+ cancelled: "cancelled";
349
+ superseded: "superseded";
350
+ unavailable: "unavailable";
351
+ unknown: "unknown";
352
+ }>;
353
+ reason: z.ZodOptional<z.ZodString>;
354
+ views: z.ZodOptional<z.ZodArray<z.ZodObject<{
355
+ viewId: z.ZodString;
356
+ surface: z.ZodEnum<{
357
+ bottom: "bottom";
358
+ side: "side";
359
+ }>;
360
+ target: z.ZodDiscriminatedUnion<[z.ZodObject<{
361
+ kind: z.ZodLiteral<"note">;
362
+ id: z.ZodString;
363
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
364
+ kind: z.ZodLiteral<"text">;
365
+ line: z.ZodNumber;
366
+ column: z.ZodOptional<z.ZodNumber>;
367
+ endLine: z.ZodOptional<z.ZodNumber>;
368
+ endColumn: z.ZodOptional<z.ZodNumber>;
369
+ }, z.core.$strip>, z.ZodObject<{
370
+ kind: z.ZodLiteral<"heading">;
371
+ id: z.ZodString;
372
+ }, z.core.$strip>, z.ZodObject<{
373
+ kind: z.ZodLiteral<"page">;
374
+ page: z.ZodNumber;
375
+ }, z.core.$strip>], "kind">>;
376
+ }, z.core.$strict>, z.ZodObject<{
377
+ kind: z.ZodLiteral<"workspace-file">;
378
+ path: z.ZodString;
379
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
380
+ kind: z.ZodLiteral<"text">;
381
+ line: z.ZodNumber;
382
+ column: z.ZodOptional<z.ZodNumber>;
383
+ endLine: z.ZodOptional<z.ZodNumber>;
384
+ endColumn: z.ZodOptional<z.ZodNumber>;
385
+ }, z.core.$strip>, z.ZodObject<{
386
+ kind: z.ZodLiteral<"heading">;
387
+ id: z.ZodString;
388
+ }, z.core.$strip>, z.ZodObject<{
389
+ kind: z.ZodLiteral<"page">;
390
+ page: z.ZodNumber;
391
+ }, z.core.$strip>], "kind">>;
392
+ }, z.core.$strict>, z.ZodObject<{
393
+ kind: z.ZodLiteral<"browser-page">;
394
+ pageId: z.ZodString;
395
+ }, z.core.$strict>, z.ZodObject<{
396
+ kind: z.ZodLiteral<"asset">;
397
+ url: z.ZodString;
398
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
399
+ kind: z.ZodLiteral<"text">;
400
+ line: z.ZodNumber;
401
+ column: z.ZodOptional<z.ZodNumber>;
402
+ endLine: z.ZodOptional<z.ZodNumber>;
403
+ endColumn: z.ZodOptional<z.ZodNumber>;
404
+ }, z.core.$strip>, z.ZodObject<{
405
+ kind: z.ZodLiteral<"heading">;
406
+ id: z.ZodString;
407
+ }, z.core.$strip>, z.ZodObject<{
408
+ kind: z.ZodLiteral<"page">;
409
+ page: z.ZodNumber;
410
+ }, z.core.$strip>], "kind">>;
411
+ }, z.core.$strict>], "kind">;
412
+ visible: z.ZodBoolean;
413
+ contentState: z.ZodEnum<{
414
+ loading: "loading";
415
+ ready: "ready";
416
+ unavailable: "unavailable";
417
+ }>;
418
+ }, z.core.$strict>>>;
419
+ clients: z.ZodOptional<z.ZodArray<z.ZodObject<{
420
+ clientId: z.ZodString;
421
+ }, z.core.$strict>>>;
422
+ requestId: z.ZodString;
423
+ clientId: z.ZodOptional<z.ZodString>;
424
+ }, z.core.$strict>;
425
+ type Result = z.infer<typeof Result>;
426
+ const Request: z.ZodObject<{
427
+ requestId: z.ZodString;
428
+ scopeID: z.ZodString;
429
+ sessionID: z.ZodString;
430
+ command: z.ZodDiscriminatedUnion<[z.ZodObject<{
431
+ action: z.ZodLiteral<"open">;
432
+ target: z.ZodDiscriminatedUnion<[z.ZodObject<{
433
+ kind: z.ZodLiteral<"note">;
434
+ id: z.ZodString;
435
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
436
+ kind: z.ZodLiteral<"text">;
437
+ line: z.ZodNumber;
438
+ column: z.ZodOptional<z.ZodNumber>;
439
+ endLine: z.ZodOptional<z.ZodNumber>;
440
+ endColumn: z.ZodOptional<z.ZodNumber>;
441
+ }, z.core.$strip>, z.ZodObject<{
442
+ kind: z.ZodLiteral<"heading">;
443
+ id: z.ZodString;
444
+ }, z.core.$strip>, z.ZodObject<{
445
+ kind: z.ZodLiteral<"page">;
446
+ page: z.ZodNumber;
447
+ }, z.core.$strip>], "kind">>;
448
+ }, z.core.$strict>, z.ZodObject<{
449
+ kind: z.ZodLiteral<"workspace-file">;
450
+ path: z.ZodString;
451
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
452
+ kind: z.ZodLiteral<"text">;
453
+ line: z.ZodNumber;
454
+ column: z.ZodOptional<z.ZodNumber>;
455
+ endLine: z.ZodOptional<z.ZodNumber>;
456
+ endColumn: z.ZodOptional<z.ZodNumber>;
457
+ }, z.core.$strip>, z.ZodObject<{
458
+ kind: z.ZodLiteral<"heading">;
459
+ id: z.ZodString;
460
+ }, z.core.$strip>, z.ZodObject<{
461
+ kind: z.ZodLiteral<"page">;
462
+ page: z.ZodNumber;
463
+ }, z.core.$strip>], "kind">>;
464
+ }, z.core.$strict>, z.ZodObject<{
465
+ kind: z.ZodLiteral<"browser-page">;
466
+ pageId: z.ZodString;
467
+ }, z.core.$strict>, z.ZodObject<{
468
+ kind: z.ZodLiteral<"asset">;
469
+ url: z.ZodString;
470
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
471
+ kind: z.ZodLiteral<"text">;
472
+ line: z.ZodNumber;
473
+ column: z.ZodOptional<z.ZodNumber>;
474
+ endLine: z.ZodOptional<z.ZodNumber>;
475
+ endColumn: z.ZodOptional<z.ZodNumber>;
476
+ }, z.core.$strip>, z.ZodObject<{
477
+ kind: z.ZodLiteral<"heading">;
478
+ id: z.ZodString;
479
+ }, z.core.$strip>, z.ZodObject<{
480
+ kind: z.ZodLiteral<"page">;
481
+ page: z.ZodNumber;
482
+ }, z.core.$strip>], "kind">>;
483
+ }, z.core.$strict>], "kind">;
484
+ }, z.core.$strict>, z.ZodObject<{
485
+ action: z.ZodLiteral<"hide">;
486
+ viewId: z.ZodString;
487
+ }, z.core.$strict>, z.ZodObject<{
488
+ action: z.ZodLiteral<"status">;
489
+ requestId: z.ZodOptional<z.ZodString>;
490
+ }, z.core.$strict>], "action">;
491
+ context: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
492
+ state: z.ZodLiteral<"bound">;
493
+ workspace: z.ZodObject<{
494
+ id: z.ZodString;
495
+ generation: z.ZodNumber;
496
+ root: z.ZodString;
497
+ }, z.core.$strip>;
498
+ directory: z.ZodString;
499
+ }, z.core.$strip>, z.ZodObject<{
500
+ state: z.ZodLiteral<"none">;
501
+ }, z.core.$strip>, z.ZodObject<{
502
+ state: z.ZodLiteral<"unresolved">;
503
+ }, z.core.$strip>], "state">>;
504
+ }, z.core.$strict>;
505
+ type Request = z.infer<typeof Request>;
506
+ const ServerMessage: z.ZodDiscriminatedUnion<[z.ZodObject<{
507
+ type: z.ZodLiteral<"server.workbench.request">;
508
+ properties: z.ZodObject<{
509
+ requestId: z.ZodString;
510
+ scopeID: z.ZodString;
511
+ sessionID: z.ZodString;
512
+ command: z.ZodDiscriminatedUnion<[z.ZodObject<{
513
+ action: z.ZodLiteral<"open">;
514
+ target: z.ZodDiscriminatedUnion<[z.ZodObject<{
515
+ kind: z.ZodLiteral<"note">;
516
+ id: z.ZodString;
517
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
518
+ kind: z.ZodLiteral<"text">;
519
+ line: z.ZodNumber;
520
+ column: z.ZodOptional<z.ZodNumber>;
521
+ endLine: z.ZodOptional<z.ZodNumber>;
522
+ endColumn: z.ZodOptional<z.ZodNumber>;
523
+ }, z.core.$strip>, z.ZodObject<{
524
+ kind: z.ZodLiteral<"heading">;
525
+ id: z.ZodString;
526
+ }, z.core.$strip>, z.ZodObject<{
527
+ kind: z.ZodLiteral<"page">;
528
+ page: z.ZodNumber;
529
+ }, z.core.$strip>], "kind">>;
530
+ }, z.core.$strict>, z.ZodObject<{
531
+ kind: z.ZodLiteral<"workspace-file">;
532
+ path: z.ZodString;
533
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
534
+ kind: z.ZodLiteral<"text">;
535
+ line: z.ZodNumber;
536
+ column: z.ZodOptional<z.ZodNumber>;
537
+ endLine: z.ZodOptional<z.ZodNumber>;
538
+ endColumn: z.ZodOptional<z.ZodNumber>;
539
+ }, z.core.$strip>, z.ZodObject<{
540
+ kind: z.ZodLiteral<"heading">;
541
+ id: z.ZodString;
542
+ }, z.core.$strip>, z.ZodObject<{
543
+ kind: z.ZodLiteral<"page">;
544
+ page: z.ZodNumber;
545
+ }, z.core.$strip>], "kind">>;
546
+ }, z.core.$strict>, z.ZodObject<{
547
+ kind: z.ZodLiteral<"browser-page">;
548
+ pageId: z.ZodString;
549
+ }, z.core.$strict>, z.ZodObject<{
550
+ kind: z.ZodLiteral<"asset">;
551
+ url: z.ZodString;
552
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
553
+ kind: z.ZodLiteral<"text">;
554
+ line: z.ZodNumber;
555
+ column: z.ZodOptional<z.ZodNumber>;
556
+ endLine: z.ZodOptional<z.ZodNumber>;
557
+ endColumn: z.ZodOptional<z.ZodNumber>;
558
+ }, z.core.$strip>, z.ZodObject<{
559
+ kind: z.ZodLiteral<"heading">;
560
+ id: z.ZodString;
561
+ }, z.core.$strip>, z.ZodObject<{
562
+ kind: z.ZodLiteral<"page">;
563
+ page: z.ZodNumber;
564
+ }, z.core.$strip>], "kind">>;
565
+ }, z.core.$strict>], "kind">;
566
+ }, z.core.$strict>, z.ZodObject<{
567
+ action: z.ZodLiteral<"hide">;
568
+ viewId: z.ZodString;
569
+ }, z.core.$strict>, z.ZodObject<{
570
+ action: z.ZodLiteral<"status">;
571
+ requestId: z.ZodOptional<z.ZodString>;
572
+ }, z.core.$strict>], "action">;
573
+ context: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
574
+ state: z.ZodLiteral<"bound">;
575
+ workspace: z.ZodObject<{
576
+ id: z.ZodString;
577
+ generation: z.ZodNumber;
578
+ root: z.ZodString;
579
+ }, z.core.$strip>;
580
+ directory: z.ZodString;
581
+ }, z.core.$strip>, z.ZodObject<{
582
+ state: z.ZodLiteral<"none">;
583
+ }, z.core.$strip>, z.ZodObject<{
584
+ state: z.ZodLiteral<"unresolved">;
585
+ }, z.core.$strip>], "state">>;
586
+ }, z.core.$strict>;
587
+ }, z.core.$strict>, z.ZodObject<{
588
+ type: z.ZodLiteral<"server.workbench.cancel">;
589
+ properties: z.ZodObject<{
590
+ requestId: z.ZodString;
591
+ }, z.core.$strict>;
592
+ }, z.core.$strict>], "type">;
593
+ type ServerMessage = z.infer<typeof ServerMessage>;
594
+ const ClientMessage: z.ZodDiscriminatedUnion<[z.ZodObject<{
595
+ type: z.ZodLiteral<"client.workbench.ready">;
596
+ properties: z.ZodObject<{
597
+ version: z.ZodLiteral<1>;
598
+ targets: z.ZodArray<z.ZodEnum<{
599
+ asset: "asset";
600
+ "browser-page": "browser-page";
601
+ note: "note";
602
+ "workspace-file": "workspace-file";
603
+ }>>;
604
+ }, z.core.$strict>;
605
+ }, z.core.$strict>, z.ZodObject<{
606
+ type: z.ZodLiteral<"client.workbench.receipt">;
607
+ properties: z.ZodObject<{
608
+ requestId: z.ZodString;
609
+ outcome: z.ZodObject<{
610
+ status: z.ZodEnum<{
611
+ ambiguous: "ambiguous";
612
+ applied: "applied";
613
+ blocked: "blocked";
614
+ cancelled: "cancelled";
615
+ superseded: "superseded";
616
+ unavailable: "unavailable";
617
+ unknown: "unknown";
618
+ }>;
619
+ reason: z.ZodOptional<z.ZodString>;
620
+ views: z.ZodOptional<z.ZodArray<z.ZodObject<{
621
+ viewId: z.ZodString;
622
+ surface: z.ZodEnum<{
623
+ bottom: "bottom";
624
+ side: "side";
625
+ }>;
626
+ target: z.ZodDiscriminatedUnion<[z.ZodObject<{
627
+ kind: z.ZodLiteral<"note">;
628
+ id: z.ZodString;
629
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
630
+ kind: z.ZodLiteral<"text">;
631
+ line: z.ZodNumber;
632
+ column: z.ZodOptional<z.ZodNumber>;
633
+ endLine: z.ZodOptional<z.ZodNumber>;
634
+ endColumn: z.ZodOptional<z.ZodNumber>;
635
+ }, z.core.$strip>, z.ZodObject<{
636
+ kind: z.ZodLiteral<"heading">;
637
+ id: z.ZodString;
638
+ }, z.core.$strip>, z.ZodObject<{
639
+ kind: z.ZodLiteral<"page">;
640
+ page: z.ZodNumber;
641
+ }, z.core.$strip>], "kind">>;
642
+ }, z.core.$strict>, z.ZodObject<{
643
+ kind: z.ZodLiteral<"workspace-file">;
644
+ path: z.ZodString;
645
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
646
+ kind: z.ZodLiteral<"text">;
647
+ line: z.ZodNumber;
648
+ column: z.ZodOptional<z.ZodNumber>;
649
+ endLine: z.ZodOptional<z.ZodNumber>;
650
+ endColumn: z.ZodOptional<z.ZodNumber>;
651
+ }, z.core.$strip>, z.ZodObject<{
652
+ kind: z.ZodLiteral<"heading">;
653
+ id: z.ZodString;
654
+ }, z.core.$strip>, z.ZodObject<{
655
+ kind: z.ZodLiteral<"page">;
656
+ page: z.ZodNumber;
657
+ }, z.core.$strip>], "kind">>;
658
+ }, z.core.$strict>, z.ZodObject<{
659
+ kind: z.ZodLiteral<"browser-page">;
660
+ pageId: z.ZodString;
661
+ }, z.core.$strict>, z.ZodObject<{
662
+ kind: z.ZodLiteral<"asset">;
663
+ url: z.ZodString;
664
+ location: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
665
+ kind: z.ZodLiteral<"text">;
666
+ line: z.ZodNumber;
667
+ column: z.ZodOptional<z.ZodNumber>;
668
+ endLine: z.ZodOptional<z.ZodNumber>;
669
+ endColumn: z.ZodOptional<z.ZodNumber>;
670
+ }, z.core.$strip>, z.ZodObject<{
671
+ kind: z.ZodLiteral<"heading">;
672
+ id: z.ZodString;
673
+ }, z.core.$strip>, z.ZodObject<{
674
+ kind: z.ZodLiteral<"page">;
675
+ page: z.ZodNumber;
676
+ }, z.core.$strip>], "kind">>;
677
+ }, z.core.$strict>], "kind">;
678
+ visible: z.ZodBoolean;
679
+ contentState: z.ZodEnum<{
680
+ loading: "loading";
681
+ ready: "ready";
682
+ unavailable: "unavailable";
683
+ }>;
684
+ }, z.core.$strict>>>;
685
+ clients: z.ZodOptional<z.ZodArray<z.ZodObject<{
686
+ clientId: z.ZodString;
687
+ }, z.core.$strict>>>;
688
+ }, z.core.$strict>;
689
+ }, z.core.$strict>;
690
+ }, z.core.$strict>], "type">;
691
+ type ClientMessage = z.infer<typeof ClientMessage>;
692
+ }