mirror of
https://github.com/deepseek-ai/deepseek-harness
synced 2026-08-15 21:04:50 +00:00
85ca8be104
ui-workspace's two trigger surfaces each declare a single-kind directory-flow hole (conversation.hero.workspace.directoryFlow / sidebar.workspaces.directoryFlow, same owner contract) and keep only the trigger and the adoption: the Open-local- folder entry renders while the surface's hole is occupied, and the occupant reports one picked path per open through the hole's owner conversation (open/busy/onPicked/onCancel/onError). directory-picker-native becomes dual-face: its browser half fills both holes with a renderless occupant driving host.pickDirectory, so the cordis.yml row that mounts the backend also composes the client interaction — a mismatch is impossible and a second flow package fails at client load. With composition wiring both sides, the host.describe.directoryPicker advertisement and the client's kind branching lose their last consumer: the field, WorkspacesService.directoryPickerKind(), the DirectoryPickerKind wire type, and the picker's per-open describe read are deleted. The connection fixture now serves a deterministic pickDirectory path so the keyless snapshot drives the full pick-then-adopt flow. ui-workspace's hand-rolled declaration deferral is replaced by the deferRegistration helper it duplicated.
75 lines
3.0 KiB
TypeScript
75 lines
3.0 KiB
TypeScript
/**
|
|
* host domain zod schemas (names derived from map keys).
|
|
*/
|
|
|
|
import { z } from 'zod'
|
|
import type { DirectoryEntry } from './host.ts'
|
|
import type { RequestPayload, ResponseValue } from './rpc-map.ts'
|
|
import type { Wire } from './rpc.schema.ts'
|
|
|
|
/** host.describe request payload (empty object literal). */
|
|
export const hostDescribeRequestSchema = z.object({}) satisfies z.ZodType<Wire<RequestPayload<'host.describe'>>>
|
|
|
|
/** host.describe response value. */
|
|
export const hostDescribeValueSchema = z.object({
|
|
version: z.string(),
|
|
cwd: z.string(),
|
|
provider: z.string().optional(),
|
|
model: z.string().optional(),
|
|
attachedSessions: z.number().int().nonnegative(),
|
|
// Open string, not a literal union: unknown kinds must survive the wire so
|
|
// a merge-added capability can advertise (the client hides the affordance).
|
|
}) satisfies z.ZodType<Wire<ResponseValue<'host.describe'>>>
|
|
|
|
/** host.pickDirectory request payload (empty object literal). */
|
|
export const hostPickDirectoryRequestSchema = z.object({}) satisfies z.ZodType<Wire<RequestPayload<'host.pickDirectory'>>>
|
|
|
|
/** host.pickDirectory response value; null means the user cancelled. */
|
|
export const hostPickDirectoryValueSchema = z.object({
|
|
path: z.string().nullable(),
|
|
}) satisfies z.ZodType<Wire<ResponseValue<'host.pickDirectory'>>>
|
|
|
|
/** Directory row shared by listing entries and breadcrumb crumbs. */
|
|
export const directoryEntrySchema = z.object({
|
|
name: z.string(),
|
|
path: z.string(),
|
|
hidden: z.boolean(),
|
|
}) satisfies z.ZodType<Wire<DirectoryEntry>>
|
|
|
|
/** host.listDirectory request payload; an absent path lists the home directory. */
|
|
export const hostListDirectoryRequestSchema = z.object({
|
|
path: z.string().optional(),
|
|
}) satisfies z.ZodType<Wire<RequestPayload<'host.listDirectory'>>>
|
|
|
|
/** host.listDirectory response value. */
|
|
export const hostListDirectoryValueSchema = z.object({
|
|
path: z.string(),
|
|
home: z.string(),
|
|
crumbs: z.array(directoryEntrySchema),
|
|
entries: z.array(directoryEntrySchema),
|
|
}) satisfies z.ZodType<Wire<ResponseValue<'host.listDirectory'>>>
|
|
|
|
/** host.createDirectory request payload: name must be one plain path segment. */
|
|
export const hostCreateDirectoryRequestSchema = z.object({
|
|
path: z.string(),
|
|
name: z.string(),
|
|
}).refine(
|
|
payload => payload.name.trim() !== '' && payload.name !== '.' && payload.name !== '..'
|
|
&& !/[/\\]/.test(payload.name),
|
|
{ message: 'host.createDirectory requires a single non-blank path segment name' },
|
|
) satisfies z.ZodType<Wire<RequestPayload<'host.createDirectory'>>>
|
|
|
|
/** host.createDirectory response value: the created directory's absolute path. */
|
|
export const hostCreateDirectoryValueSchema = z.object({
|
|
path: z.string(),
|
|
}) satisfies z.ZodType<Wire<ResponseValue<'host.createDirectory'>>>
|
|
/** host.openPath request payload. */
|
|
export const hostOpenPathRequestSchema = z.object({
|
|
path: z.string().min(1),
|
|
}) satisfies z.ZodType<Wire<RequestPayload<'host.openPath'>>>
|
|
|
|
/** host.openPath response value. */
|
|
export const hostOpenPathValueSchema = z.object({
|
|
opened: z.literal(true),
|
|
}) satisfies z.ZodType<Wire<ResponseValue<'host.openPath'>>>
|