workspace: track workdir observation state

This commit is contained in:
2026-07-12 12:32:24 +09:00
parent 3009bb4ad9
commit 52cccc7f2f
8 changed files with 257 additions and 183 deletions
@@ -122,12 +122,11 @@ export type WorkingDirectorySummary = {
repository_id: string;
requested_selector?: string | null;
materializer_kind: string;
dirty_state_policy: string;
resolved_commit: string;
resolved_tree?: string | null;
status: string;
cleanliness?: string | null;
management_kind?: "backend_managed" | "runtime_unmanaged" | string | null;
cleanup_policy: string;
cleanup_target: {
kind: string;
working_directory_id: string;
@@ -219,10 +218,6 @@ export type BrowserWorkingDirectoryCreateRequest = {
runtime_id: string;
repository_id: string;
selector?: string | null;
policy?: {
dirty_state?: "clean_point_only";
cleanup?: "manual_or_worker_stop";
};
};
export type WorkerLaunchOptionsResponse = {
@@ -51,10 +51,8 @@ const options: WorkerLaunchOptionsResponse = {
repository_id: "repo",
requested_selector: "HEAD",
materializer_kind: "local_git_worktree",
dirty_state_policy: "clean_point_only",
resolved_commit: "0123456789abcdef",
status: "active",
cleanup_policy: "manual_or_worker_stop",
cleanup_target: {
kind: "git_worktree",
working_directory_id: "wd-1-repo",
@@ -108,7 +108,7 @@
<th>Selector</th>
<th>Commit</th>
<th>Status</th>
<th>Policy</th>
<th>Cleanliness</th>
<th>Action</th>
</tr>
</thead>
@@ -121,10 +121,7 @@
<td>{selectorLabel(workdir)}</td>
<td><code>{commitLabel(workdir)}</code></td>
<td>{workdir.status}</td>
<td>
<span>{workdir.dirty_state_policy}</span>
<small>{workdir.cleanup_policy}</small>
</td>
<td>{workdir.cleanliness ?? 'unknown'}</td>
<td>
{#if cleanup}
<button