ticket: close repository registry work

.yoi/tickets/00001KWPC13WQ/item.md

@@ -1,8 +1,8 @@
 ---
 title: 'Config-driven Repository registry for Workspace Backend'
-state: 'inprogress'
+state: 'closed'
 created_at: '2026-07-04T10:50:45Z'
-updated_at: '2026-07-04T20:17:56Z'
+updated_at: '2026-07-04T20:19:15Z'
 assignee: null
 queued_by: 'workspace-panel'
 queued_at: '2026-07-04T19:34:04Z'

.yoi/tickets/00001KWPC13WQ/resolution.md

@@ -0,0 +1,31 @@
+完了。
+
+実装内容:
+- Workspace Backend に explicit `[[repositories]]` registry を追加した。
+- `.yoi/workspace-backend.local.toml` / `resources/workspace-backend.default.toml` に Repository config schema を導入し、dogfood workspace config に explicit `main` Git repository entry (`uri = "."`) を追加した。
+- `uri = "."` は workspace config root 相対として解釈し、process cwd / workspace root を暗黙 Repository として扱う fallback を廃止した。
+- `/api/repositories` は configured repositories のみを返し、未設定時は empty list + `repository_config_empty` warning diagnostic を返す。
+- `/api/repositories/{id}/log` は configured Git repository id のみを受け付け、未知 id / unsupported provider は typed sanitized diagnostics で fail closed するようにした。
+- Browser-facing repository summary は configured `uri` / resolved local path / secret / internal path を露出せず、Git remote も credentials / local absolute path / `file://...` を redaction するようにした。
+- Web UI は configured repositories から navigation を導出し、empty registry で hardcoded `main` repository を invent しないようにした。
+- Focused backend/web tests を追加した。
+
+主な commit / merge:
+- implementation: `2f0d1cee feat: add workspace repository registry`
+- review fix: `14e63ca5 fix: derive repository UI from registry`
+- merge into orchestration: `a786fd85 merge: repository registry implementation`
+
+Review:
+- 初回 external review は request_changes。
+- follow-up external review は approve。merge-blocking issue なし。
+
+Final validation in Orchestrator worktree:
+- `git diff --check`: pass
+- `cargo test -p yoi-workspace-server`: pass（63 lib tests + 2 main tests）
+- `cargo check -p yoi`: pass
+- `cd web/workspace && deno task check`: pass（0 errors / 0 warnings）
+- `cd web/workspace && deno task test`: pass（15 tests）
+- `yoi ticket doctor`: ok
+
+未実行:
+- `nix build .#yoi --no-link` は Cargo.lock / dependency / resource packaging / Nix 変更ではないため未実行。

.yoi/tickets/00001KWPC13WQ/thread.md

@@ -265,3 +265,75 @@ Validation note:
 No merge-blocking issues found.
 
 ---
+
+<!-- event: state_changed author: orchestrator at: 2026-07-04T20:19:02Z from: inprogress to: done reason: merged_validated_review_approved field: state -->
+
+## State changed
+
+Merge/validation acceptance:
+
+- Follow-up external review approved the implementation after blocker fixes。
+- Implementation branch `work/00001KWPC13WQ-repository-registry` was merged into the orchestration branch with merge commit `a786fd85 merge: repository registry implementation`。
+- Final validation in Orchestrator worktree passed:
+  - `git diff --check`: pass
+  - `cargo test -p yoi-workspace-server`: pass（63 lib tests + 2 main tests）
+  - `cargo check -p yoi`: pass
+  - `cd web/workspace && deno task check`: pass（0 errors / 0 warnings）
+  - `cd web/workspace && deno task test`: pass（15 tests）
+  - `yoi ticket doctor`: ok
+- `nix build .#yoi --no-link` は Cargo.lock / dependency / resource packaging / Nix 変更ではないため未実行。
+
+Implementation commits:
+- `2f0d1cee feat: add workspace repository registry`
+- `14e63ca5 fix: derive repository UI from registry`
+
+No merge-blocking issues remain.
+
+---
+
+<!-- event: state_changed author: hare at: 2026-07-04T20:19:15Z from: done to: closed reason: closed field: state -->
+
+## State changed
+
+Ticket を closed にしました。
+
+
+---
+
+<!-- event: close author: hare at: 2026-07-04T20:19:15Z status: closed -->
+
+## 完了
+
+完了。
+
+実装内容:
+- Workspace Backend に explicit `[[repositories]]` registry を追加した。
+- `.yoi/workspace-backend.local.toml` / `resources/workspace-backend.default.toml` に Repository config schema を導入し、dogfood workspace config に explicit `main` Git repository entry (`uri = "."`) を追加した。
+- `uri = "."` は workspace config root 相対として解釈し、process cwd / workspace root を暗黙 Repository として扱う fallback を廃止した。
+- `/api/repositories` は configured repositories のみを返し、未設定時は empty list + `repository_config_empty` warning diagnostic を返す。
+- `/api/repositories/{id}/log` は configured Git repository id のみを受け付け、未知 id / unsupported provider は typed sanitized diagnostics で fail closed するようにした。
+- Browser-facing repository summary は configured `uri` / resolved local path / secret / internal path を露出せず、Git remote も credentials / local absolute path / `file://...` を redaction するようにした。
+- Web UI は configured repositories から navigation を導出し、empty registry で hardcoded `main` repository を invent しないようにした。
+- Focused backend/web tests を追加した。
+
+主な commit / merge:
+- implementation: `2f0d1cee feat: add workspace repository registry`
+- review fix: `14e63ca5 fix: derive repository UI from registry`
+- merge into orchestration: `a786fd85 merge: repository registry implementation`
+
+Review:
+- 初回 external review は request_changes。
+- follow-up external review は approve。merge-blocking issue なし。
+
+Final validation in Orchestrator worktree:
+- `git diff --check`: pass
+- `cargo test -p yoi-workspace-server`: pass（63 lib tests + 2 main tests）
+- `cargo check -p yoi`: pass
+- `cd web/workspace && deno task check`: pass（0 errors / 0 warnings）
+- `cd web/workspace && deno task test`: pass（15 tests）
+- `yoi ticket doctor`: ok
+
+未実行:
+- `nix build .#yoi --no-link` は Cargo.lock / dependency / resource packaging / Nix 変更ではないため未実行。
+
+---