code-coordinator 0.5.46__py3-none-any.whl

coord/dashboard/webapp/src/api/client.ts

@@ -0,0 +1,199 @@
+/**
+ * Typed API client for coord/dashboard/server.py.
+ *
+ * The wire types themselves (`Assignment`, `PipelineStage`, `PipelineGate`,
+ * `PipelineView`, `AssignmentStatus`, `AssignmentType`, `TestVerdict`,
+ * `PipelineAction`) are generated from the dashboard's OpenAPI spec — see
+ * `./generated.ts` and `scripts/codegen.py` (#750, moved onto the OpenAPI
+ * spec by #1550). Regenerate with `.venv/bin/python scripts/codegen.py`
+ * after any Python dataclass field change; do not hand-edit the generated
+ * file.
+ *
+ * Actions marked "(forthcoming)" in `PipelineAction`'s doc comment are
+ * defined ahead of their backend implementation so TypeScript callers can
+ * reference them; they will return HTTP 501 until the matching server PR
+ * merges.
+ */
+
+import type {
+  Assignment,
+  AssignmentStatus,
+  AssignmentType,
+  PipelineAction,
+  PipelineGate,
+  PipelineStage,
+  PipelineView,
+  TestVerdict,
+} from './generated'
+
+export type {
+  Assignment,
+  AssignmentStatus,
+  AssignmentType,
+  PipelineAction,
+  PipelineGate,
+  PipelineStage,
+  PipelineView,
+  TestVerdict,
+}
+
+// ── GET /api/board ────────────────────────────────────────────────────────────
+
+export interface BoardData {
+  round_number: number
+  active: Assignment[]
+  /** Last 20 completed assignments. */
+  completed: Assignment[]
+}
+
+// ── GET /api/sessions ────────────────────────────────────────────────────────
+
+/**
+ * One live `coord-*` interactive tmux session the phone can attach to via
+ * `GET /ws/terminal/{session_id}` (#1066). Hand-written rather than
+ * generated: the server builds this as a plain dict in `api_sessions`
+ * (`coord/dashboard/server.py`), not from a Python dataclass, so it isn't a
+ * `scripts/codegen.py` (#750) target — keep this in sync with the
+ * `session_response` OpenAPI schema in `_openapi_spec()` by hand.
+ */
+export interface SessionInfo {
+  /** == the assignment_id; also the `/ws/terminal/{session_id}` path param. */
+  session_id: string
+  /** The tmux session name, `coord-<session_id>`. */
+  session_name: string
+  machine: string | null
+  /** The machine's Tailscale host. */
+  host: string | null
+  repo: string | null
+  issue: number | null
+  issue_title: string | null
+  /** Assignment type — see `AssignmentType` in `./generated` for the real value set. */
+  stage: string | null
+  /** Assignment status — running/done/failed/advisory/... */
+  status: string | null
+  /** Is a client currently attached to the tmux session. */
+  attached: boolean
+  /** claude has exited but the tmux session is still up. */
+  pane_dead: boolean
+}
+
+// ── GET /api/diff/{id} ────────────────────────────────────────────────────────
+
+export interface DiffResult {
+  diff: string
+  /** "pr" when fetched from a GitHub PR; "compare" when fetched from the compare API. */
+  source: 'pr' | 'compare'
+}
+
+// ── POST /api/pipeline/action ─────────────────────────────────────────────────
+
+export interface PipelineActionRequest {
+  assignment_id: string
+  action: PipelineAction
+  /** Additional payload fields for specific actions (e.g. verdict for test-verdict). */
+  [key: string]: unknown
+}
+
+export interface PipelineActionResult {
+  ok: boolean
+  error?: string
+  /** Machine that accepted the dispatched assignment (dispatch_review / dispatch_smoke). */
+  machine_name?: string
+  /** Assignment ID created by a dispatch action. */
+  assignment_id?: string
+  /** Events produced by a merge action. */
+  events?: Array<{ kind: string; message: string }>
+  /** Human-readable detail (post_findings). */
+  detail?: string
+}
+
+// ── HTTP helpers ──────────────────────────────────────────────────────────────
+
+/** Same-origin base — webapp is served by coord/dashboard/server.py. */
+const API_BASE = ''
+
+async function apiFetch<T>(path: string, init?: RequestInit): Promise<T> {
+  const res = await fetch(`${API_BASE}${path}`, init)
+  if (!res.ok) {
+    const text = await res.text().catch(() => '')
+    throw new Error(`${init?.method ?? 'GET'} ${path} → HTTP ${res.status}: ${text}`)
+  }
+  return res.json() as Promise<T>
+}
+
+// ── Public API ────────────────────────────────────────────────────────────────
+
+/** Fetch the full board state (active + last-20 completed assignments). */
+export async function fetchBoard(): Promise<BoardData> {
+  return apiFetch<BoardData>('/api/board')
+}
+
+/** Fetch pipeline views for all work-type assignments. */
+export async function fetchPipeline(): Promise<PipelineView[]> {
+  return apiFetch<PipelineView[]>('/api/pipeline')
+}
+
+/** Fetch live coord-* interactive sessions the phone can take over (#1066). */
+export async function fetchSessions(): Promise<SessionInfo[]> {
+  return apiFetch<SessionInfo[]>('/api/sessions')
+}
+
+/**
+ * Fetch the diff for a completed work assignment.
+ * Prefers the GitHub PR diff; falls back to the compare API.
+ */
+export async function fetchDiff(assignmentId: string): Promise<DiffResult> {
+  return apiFetch<DiffResult>(`/api/diff/${encodeURIComponent(assignmentId)}`)
+}
+
+/** Advance an assignment through a pipeline gate. */
+export async function pipelineAction(
+  body: PipelineActionRequest,
+): Promise<PipelineActionResult> {
+  const res = await fetch(`${API_BASE}/api/pipeline/action`, {
+    method: 'POST',
+    headers: { 'Content-Type': 'application/json' },
+    body: JSON.stringify(body),
+  })
+  const data = (await res.json()) as PipelineActionResult
+  if (!res.ok) {
+    return { ok: false, error: data.error ?? `HTTP ${res.status}` }
+  }
+  return data
+}
+
+// ── WS /ws/terminal/{session_id} ────────────────────────────────────────────
+
+/**
+ * Key `coord web`'s optional bearer token (`COORD_WEB_TOKEN` /
+ * `~/.coord/web_token`, see `coord.dashboard.terminal.resolve_web_token`)
+ * is stashed in `localStorage`, when the operator has set one.
+ *
+ * There's no in-app UI to populate this yet (#1068 is the terminal pane
+ * itself, not a settings screen) — for now it's set by hand from the
+ * browser devtools console:
+ *   `localStorage.setItem('coord_web_token', '<token>')`
+ * When unset, the WS connects without `?token=`, which matches the
+ * server's "no token configured => open" convention.
+ */
+const WEB_TOKEN_STORAGE_KEY = 'coord_web_token'
+
+function resolveWebToken(): string | null {
+  try {
+    return window.localStorage.getItem(WEB_TOKEN_STORAGE_KEY)
+  } catch {
+    return null
+  }
+}
+
+/**
+ * Build the `/ws/terminal/{session_id}` URL (#1065's PTY<->WebSocket
+ * bridge) for the given session, same-origin, ws/wss matching the page's
+ * http/https scheme, with `?token=` appended when one is configured.
+ */
+export function terminalWebSocketUrl(sessionId: string): string {
+  const proto = window.location.protocol === 'https:' ? 'wss:' : 'ws:'
+  const token = resolveWebToken()
+  const query = token ? `?token=${encodeURIComponent(token)}` : ''
+  return `${proto}//${window.location.host}/ws/terminal/${encodeURIComponent(sessionId)}${query}`
+}

coord/dashboard/webapp/src/api/generated.ts

@@ -0,0 +1,176 @@
+/**
+ * AUTO-GENERATED — DO NOT EDIT BY HAND.
+ *
+ * Generated by `scripts/codegen.py` from the dashboard's OpenAPI 3 spec
+ * (`coord.dashboard.server.openapi_spec()`, itself built by
+ * `coord/openapi.py` from `coord/models.py` / `coord/pipeline.py`) — #1550
+ * (originally #750). Regenerate after any field change:
+ *
+ *     .venv/bin/python scripts/codegen.py
+ *
+ * `tests/test_generated_types_fixture.py` fails CI if this file drifts from
+ * what the generator produces right now, so a stale checkout can't merge.
+ */
+
+export type AssignmentStatus =
+  | 'pending'
+  | 'running'
+  | 'done'
+  | 'failed'
+  | 'cancelled'
+  | 'advisory'
+  | 'merged'
+
+/**
+ * coord/models.py Assignment.type's real value set — #1550 found this had
+ * drifted: the hand-authored enum this replaces listed 'merge' and 'fix',
+ * neither of which is ever a literal `type=` value (coord/config.py's #1137
+ * audit note: a dedicated `type="merge"` was tried and reverted; `type="fix"`
+ * was deliberately never introduced — both share `type="work"` with their
+ * headless counterpart and are distinguished by `provider_name`/
+ * `review_of_assignment_id` instead, see `attention_threshold_for`) — while
+ * missing seven values that are real: 'audit' (coord/models.py docstring,
+ * #885 --audit-of), and the six interactive session types from
+ * coord/config.py's `INTERACTIVE_SESSION_TYPES` plus the two headless
+ * lightweight-worker types from `_DEFAULT_ATTENTION_THRESHOLDS`.
+ */
+export type AssignmentType =
+  | 'work'
+  | 'review'
+  | 'plan'
+  | 'smoke'
+  | 'conflict-fix'
+  | 'mock-author'
+  | 'test-author'
+  | 'audit'
+  | 'chat'
+  | 'troubleshoot'
+  | 'milestone-chat'
+  | 'refinement'
+  | 'new-issue-chat'
+  | 'test-chat'
+
+export type TestVerdict = 'passed' | 'failed' | 'skipped' | 'running'
+
+/**
+ * Actions supported by POST /api/pipeline/action.
+ *
+ * dispatch_review    — kick off an adversarial review assignment
+ * dispatch_smoke     — kick off a smoke-test assignment
+ * enqueue            — add to merge queue
+ * merge              — merge a queued PR (must be in "pending" state)
+ * post_findings      — post orphaned review findings to GitHub
+ * unstick            — cancel a stuck assignment and mark it failed
+ * retry              — (forthcoming) retry a failed work assignment
+ * dispatch_fix       — (forthcoming) dispatch a fix for a test failure / review request-changes
+ * test-verdict       — (forthcoming) record passed/failed/skipped test verdict
+ * record-review-verdict — (forthcoming) record an approved/changes-requested review verdict
+ */
+export type PipelineAction =
+  | 'dispatch_review'
+  | 'dispatch_smoke'
+  | 'enqueue'
+  | 'merge'
+  | 'post_findings'
+  | 'unstick'
+  | 'retry'
+  | 'dispatch_fix'
+  | 'test-verdict'
+  | 'record-review-verdict'
+
+export interface PipelineStage {
+  name: string
+  status: 'active' | 'completed' | 'skipped' | 'waiting'
+  is_current: boolean
+}
+
+export interface PipelineGate {
+  action: PipelineAction
+  label: string
+  endpoint: string
+}
+
+export interface PipelineView {
+  assignment_id: string
+  issue_number: number
+  issue_title: string
+  repo_name: string
+  machine_name: string
+  stages: PipelineStage[]
+  current_stage: string
+  available_gates: PipelineGate[]
+  progress_pct: number
+  review_findings_pending: boolean
+  review_verdict: 'approve' | 'request-changes' | null
+  review_verdict_original: string | null
+  review_verdict_override_reason: string | null
+  review_findings_body: string | null
+  test_verdict: TestVerdict | null
+  needs_attention: boolean
+  needs_attention_reason: string | null
+  needs_attention_detail: string | null
+  finished_at: number | null
+}
+
+export interface Assignment {
+  machine_name: string
+  repo_name: string
+  issue_number: number
+  issue_title: string
+  files_allowed: string[]
+  files_forbidden: string[]
+  briefing: string
+  assignment_id: string | null
+  status: AssignmentStatus
+  branch: string | null
+  pr_url: string | null
+  dispatched_at: number | null
+  finished_at: number | null
+  smoke_test: 'pass' | 'fail' | null
+  smoke_test_reason: string | null
+  type: AssignmentType
+  review_target: string | null
+  review_of_assignment_id: string | null
+  unreachable_count: number
+  model: string | null
+  plan: Record<string, unknown> | null
+  review_state: 'pending' | 'dispatched' | 'done' | null
+  review_dispatch_reason: string | null
+  required_gates: string[]
+  review_iteration: number
+  review_posted_at: number | null
+  test_state: TestVerdict | null
+  test_reason: string | null
+  test_head_sha: string | null
+  test_patch_id: string | null
+  test_base_sha: string | null
+  test_toolchain: string | null
+  review_verdict: 'approve' | 'request-changes' | null
+  review_verdict_original: string | null
+  review_verdict_override_reason: string | null
+  verdict_source: string | null
+  verdict_source_reason: string | null
+  review_head_sha: string | null
+  review_patch_id: string | null
+  review_scoped: boolean
+  review_scope_base_sha: string | null
+  cost_usd: number | null
+  smoke_tests: string[] | null
+  provider_name: string | null
+  input_tokens: number
+  output_tokens: number
+  cache_creation_tokens: number
+  cache_read_tokens: number
+  failure_reason: string | null
+  acceptance_state: string | null
+  acceptance_reason: string | null
+  acceptance_sha: string | null
+  acceptance_total: number | null
+  acceptance_passed: number | null
+  completion_summary: string | null
+  audit_goals_json: string | null
+  audit_bottom_line: string | null
+  audit_run_number: number | null
+  for_issue_number: number | null
+  driven_by: string | null
+}

coord/dashboard/webapp/src/components/ConnectionBadge.tsx

@@ -0,0 +1,52 @@
+/**
+ * Honest connection-state indicator (#1549) — live / reconnecting /
+ * stale-since-<time>. Never silently shows stale data as if it were live:
+ * the moment the SSE stream drops, this says so.
+ */
+import { useConnectionStatus } from '@/realtime/RealtimeProvider'
+import { cn } from '@/lib/utils'
+
+// Explicit options (not the bare `toLocaleTimeString()` default) so this
+// small badge doesn't grow seconds or an AM/PM suffix in locales where the
+// default format includes them -- hour:minute is all the precision a "how
+// stale is this" label needs.
+function formatTime(epochMs: number): string {
+  return new Date(epochMs).toLocaleTimeString(undefined, { hour: 'numeric', minute: '2-digit' })
+}
+
+export function ConnectionBadge() {
+  const { state, lastLiveAt } = useConnectionStatus()
+
+  let label: string
+  let dotClass: string
+  switch (state) {
+    case 'live':
+      label = 'Live'
+      dotClass = 'bg-green-500'
+      break
+    case 'reconnecting':
+      label = 'Reconnecting…'
+      dotClass = 'bg-yellow-500 animate-pulse'
+      break
+    case 'disconnected':
+      label = lastLiveAt ? `Stale since ${formatTime(lastLiveAt)}` : 'Disconnected'
+      dotClass = 'bg-destructive'
+      break
+    case 'connecting':
+    default:
+      label = 'Connecting…'
+      dotClass = 'bg-muted-foreground animate-pulse'
+      break
+  }
+
+  return (
+    <span
+      className="flex items-center gap-1.5 text-xs text-muted-foreground"
+      role="status"
+      aria-label={`Connection: ${label}`}
+    >
+      <span className={cn('h-2 w-2 shrink-0 rounded-full', dotClass)} aria-hidden="true" />
+      {label}
+    </span>
+  )
+}