catherd-cli 1.4.0 → 2.0.0-beta.20261022113309

package/src/entry/tui/effects.ts

@@ -1,381 +0,0 @@
-import type { HostContext } from "../../domain/host.ts";
-import { sessionKey } from "../../domain/host.ts";
-import { realpathSync, statSync, watch } from "node:fs";
-import { adapterFor } from "../../adapters/registry.ts";
-import "../../adapters/all.ts";
-import { agentFiles } from "../../domain/agents.ts";
-import { type Catalog, rungInfo } from "../../domain/catalog.ts";
-import { HARNESS_KEYS, type Profile, type ProfileDoc, type ProfilePatch } from "../../domain/profile.ts";
-import type { Validation } from "../../domain/profile-rules.ts";
-import type { Access } from "../../domain/record.ts";
-import { VERSION } from "../../infra/version.ts";
-import {
-  type CatalogModel,
-  catalogQuery,
-  loadCatalog,
-  type Refreshed,
-  refreshDiscovery,
-  saveTreatLike,
-} from "../../services/catalog-service.ts";
-import { cancel } from "../../services/dispatch-service.ts";
-import { type DoctorReport, doctor } from "../../services/doctor.ts";
-import { ageText } from "../../services/doctor-sources.ts";
-import { valuesUsed, type ValueUsed } from "../../services/provenance.ts";
-import { evidenceLine, evidenceOf, runEvidence } from "../../services/run-evidence.ts";
-import { type SyncReport, sourcesStatus, syncSources } from "../../services/source-sync.ts";
-import { type Suggestion, suggestStandIns } from "../../services/standins.ts";
-import type { Synced } from "../../services/agent-links.ts";
-import {
-  activate,
-  createProfile,
-  deleteProfile,
-  patchProfile,
-  type Saved,
-} from "../../services/profile-service.ts";
-import {
-  activeName,
-  configFile,
-  enforcementOf,
-  listProfiles,
-  profilesDir,
-  projectsFile,
-  readProfileDoc,
-  readProjects,
-  validateHere,
-} from "../../services/profile-store.ts";
-import { listRuns, type Run, runPaths } from "../../services/run-store.ts";
-import {
-  type MilestoneDetail,
-  milestoneDetail,
-  type RoleDetail,
-  roleDetail,
-  type SessionDetail,
-  sessionDetail,
-  type SessionRow,
-  sessionRows,
-} from "../../services/runs-page.ts";
-import { type RunSummary, summarizeRun } from "../../services/summary.ts";
-import { defaultDeps } from "../deps.ts";
-import { mcpHandshake } from "../mcp/handshake.ts";
-
-/** A save refused because the profile changed on disk since its preview read it carries this path. */
-export { CHANGED_ON_DISK } from "../../services/profile-service.ts";
-export type {
-  Milestone,
-  MilestoneDetail,
-  RoleDetail,
-  RoleRow,
-  SessionDetail,
-  SessionRow,
-  SessionRun,
-} from "../../services/runs-page.ts";
-
-/** One line of the run list. */
-export interface RunRow {
-  id: string;
-  title: string;
-  repo: string;
-  createdAt: string;
-  live: number;
-  roleRuns: number;
-  landed: number;
-  /** the budget's spent fraction, null without a cap */
-  budget: number | null;
-  /** the session that started it (the Runs tab opens it); null for a run from before 1.1 */
-  session: string | null;
-}
-
-/**
- * Everything the TUI reads or changes, behind one seam (spec §9.4 `effects.ts`: services injected).
- * The live set calls the services; tests and the storybook pass fakes.
- */
-export interface Effects {
-  host: HostContext;
-  version: string;
-  doctor(): Promise<DoctorReport>;
-  runs(): { rows: RunRow[]; warnings: string[] };
-  /** spec §4: the Runs tab's top level, the sessions */
-  sessions(): { rows: SessionRow[]; warnings: string[] };
-  /** a session's screen; `key` null is "earlier runs" */
-  session(key: string | null): SessionDetail;
-  /** a role's screen */
-  role(run: string, dispatchId: string): RoleDetail;
-  /** spec 1.1 §10: a milestone's screen, its digest */
-  milestone(run: string, name: string): MilestoneDetail;
-  /**
-   * calls `onChange` when a file under one of `dirs` changes (spec §4: the open screen redraws when a run file
-   * changes); null when they cannot be watched here, and the screen polls every second instead
-   */
-  watch(dirs: string[], onChange: () => void): (() => void) | null;
-  /** stops a live role; resolves to the line the toast shows */
-  cancel(run: string, name: string): Promise<string>;
-  profiles(): {
-    names: string[];
-    /** global */
-    active: string;
-    /** what this directory runs on */
-    here: string;
-    /** the bound repo, null outside one or unbound */
-    repo: string | null;
-  };
-  readProfile(name: string): ProfileDoc;
-  catalog(billing: Profile["billing"]): { catalog: Catalog; models: CatalogModel[] };
-  validate(p: Profile, c: Catalog): Validation;
-  enforcement(rung: string, access: Access): "enforced" | "advisory";
-  /** the harnesses a profile can isolate */
-  harnesses: readonly string[];
-  /** spec 1.3 §8: what a harness's native mode loads, and the API key its isolation needs, when it says */
-  isolation(harness: string): { note?: string; key?: string };
-  /** the native agents a profile links, by name */
-  agents(p: Profile): string[];
-  /**
-   * writes the staged treat-likes, then the profile patch, through the ProfileService (validation reads
-   * the treat-likes, so they go first); a refused patch leaves the treat-likes written. With `shown` (the
-   * profile as the save dialog's last preview read it), the patch is written only over that profile: when
-   * another process changed it meanwhile (while a treat-like waited for the catalog lock, say), nothing
-   * is written and the result's one error has the path CHANGED_ON_DISK
-   */
-  save(
-    name: string,
-    patch: ProfilePatch,
-    treatLikes: Record<string, string>,
-    shown?: ProfileDoc,
-  ): Promise<Saved>;
-  /**
-   * applies the scope the user confirmed: binds `repo` (this TUI's repo) to it, or with null makes it the
-   * global active profile; never a scope recomputed as it writes
-   */
-  activate(name: string, repo: string | null): Synced;
-  create(name: string, from?: string): Saved;
-  remove(name: string): Synced;
-  refreshCatalog(): Promise<Refreshed[]>;
-  /** spec 1.2 §9 (`r`): syncs the public sources (each at most every 12 hours) */
-  syncSources(): Promise<SyncReport>;
-  /** spec 1.2 §9: each source's name, age and last error, as the `r` dialog shows them */
-  sources(): { source: string; name: string; age: string; error: string | null }[];
-  /** spec 1.2 §6.3: the three nearest stand-ins for a rung, for the treat-like picker */
-  suggest(c: Catalog, rung: string): Suggestion[];
-  /** spec 1.2 §5.3, §8: a rung's values with confidence and source, and catherd's own runs on it */
-  rungDetail(c: Catalog, rung: string): { values: ValueUsed[]; evidence: string | null };
-}
-
-/** Spec 1.2 §9: each source's age and last error, from the sync's state. */
-export function sourceRows(now = Date.now()): ReturnType<Effects["sources"]> {
-  return sourcesStatus().sources.map((s) => ({
-    source: s.source,
-    name: s.name,
-    age: s.fetchedAt ? `${ageText(now - Date.parse(s.fetchedAt))} ago` : "never fetched",
-    error: s.error,
-  }));
-}
-
-/** Spec 1.2 §5.3, §8: what the rung detail shows; an unparseable rung has nothing to show. */
-export function rungDetailOf(c: Catalog, rung: string): ReturnType<Effects["rungDetail"]> {
-  try {
-    const canonical = rungInfo(c, rung).canonical;
-    return {
-      values: valuesUsed(c, canonical),
-      evidence: evidenceLine(evidenceOf(runEvidence(c), canonical)),
-    };
-  } catch {
-    return { values: [], evidence: null };
-  }
-}
-
-/** Spec 1.2 §6.3: a rung's nearest stand-ins; none for a rung that does not parse. */
-export function suggestFor(c: Catalog, rung: string): Suggestion[] {
-  try {
-    return suggestStandIns(c, rungInfo(c, rung).canonical);
-  } catch {
-    return [];
-  }
-}
-
-/** The word for `here`: the bound repo's profile, or the global active one. */
-export const hereWord = (p: { repo: string | null }): string => (p.repo ? "this repo" : "active");
-
-/**
- * What changes when a run changes: the mtimes of its record files and of its roles folder, plus the
- * profiles folder, config.json and projects.json (a saved budget cap or another active profile moves the
- * run's budget fraction).
- */
-export function stampOf(dir: string): string {
-  const p = runPaths(dir);
-  return [
-    p.runs,
-    p.routes,
-    p.jev,
-    p.agents,
-    p.state,
-    p.ledger,
-    p.roles,
-    profilesDir(),
-    configFile(),
-    projectsFile(),
-  ]
-    .map((f) => {
-      try {
-        return String(statSync(f).mtimeMs);
-      } catch {
-        return "-";
-      }
-    })
-    .join(" ");
-}
-
-/**
- * The run list, each row computed again only when its run's files changed or a role is live (spec §9.4:
- * runs data memoised by mtime). A live run's elapsed times move without any file changing.
- */
-export function memoRuns(compute: (run: Run) => RunRow, stamp: (dir: string) => string = stampOf) {
-  const cache = new Map<string, { stamp: string; row: RunRow }>();
-  return (runs: Run[]): RunRow[] =>
-    runs.map((r) => {
-      const s = stamp(r.dir);
-      const hit = cache.get(r.dir);
-      if (hit && hit.stamp === s && hit.row.live === 0) return hit.row;
-      const row = compute(r);
-      cache.set(r.dir, { stamp: s, row });
-      return row;
-    });
-}
-
-export function rowOf(s: RunSummary): RunRow {
-  return {
-    id: s.id,
-    title: s.title,
-    repo: s.repo,
-    createdAt: s.createdAt,
-    live: s.live.length,
-    roleRuns: s.totals.runs,
-    landed: s.milestones.length,
-    budget: s.budget?.fraction ?? null,
-    session: s.session ? sessionKey(s.session) : null,
-  };
-}
-
-/** How long a burst of file events is gathered into one redraw. */
-const WATCH_SETTLE_MS = 100;
-
-/** What `watchDirs` watches and times with; tests pass fakes. */
-export interface WatchPorts {
-  watch(dir: string, fire: () => void): { on(event: "error", f: () => void): unknown; close(): void };
-  setTimeout(f: () => void, ms: number): unknown;
-  clearTimeout(h: unknown): void;
-  /** the folder's real path: macOS reports FSEvents under it (/var is /private/var) */
-  realpath(dir: string): string;
-}
-
-const LIVE_WATCH: WatchPorts = {
-  watch: (dir, fire) => watch(dir, { recursive: true }, fire),
-  setTimeout: (f, ms) => setTimeout(f, ms),
-  clearTimeout: (h) => clearTimeout(h as ReturnType<typeof setTimeout>),
-  realpath: (dir) => realpathSync(dir),
-};
-
-/**
- * `fs.watch` on each run folder's real path, recursive; null when any of them cannot be watched. After the
- * returned stop, `onChange` is never called, even for an event already queued.
- */
-export function watchDirs(
-  dirs: string[],
-  onChange: () => void,
-  ports: Partial<WatchPorts> = {},
-): (() => void) | null {
-  const io = { ...LIVE_WATCH, ...ports };
-  const watchers: { close(): void }[] = [];
-  let timer: unknown = null;
-  let stopped = false;
-  const fire = () => {
-    if (stopped || timer !== null) return;
-    timer = io.setTimeout(() => {
-      timer = null;
-      if (!stopped) onChange();
-    }, WATCH_SETTLE_MS);
-  };
-  const stop = () => {
-    stopped = true;
-    if (timer !== null) io.clearTimeout(timer);
-    timer = null;
-    for (const w of watchers) w.close();
-  };
-  try {
-    for (const d of dirs) {
-      const w = io.watch(io.realpath(d), fire);
-      // a watcher that breaks later (the folder removed) just stops; the screen's slow poll still reads
-      w.on("error", () => w.close());
-      watchers.push(w);
-    }
-  } catch {
-    stop();
-    return null;
-  }
-  return stop;
-}
-
-/**
- * The live effects. `repo` is the git toplevel the TUI was opened in (null outside one): inside a repo
- * bound to a profile, `here` is that profile and activating binds the repo instead of the global profile.
- */
-export function liveEffects(
-  repo: string | null = null,
-  host: HostContext = { host: "unknown", session: null, conflict: null },
-): Effects {
-  const deps = defaultDeps(host);
-  const rows = memoRuns((r) => rowOf(summarizeRun(deps, r)));
-  const harnesses = HARNESS_KEYS.filter((h) => adapterFor(h));
-  const bound = () => (repo !== null && readProjects().bindings[repo] !== undefined ? repo : null);
-  return {
-    host,
-    version: VERSION,
-    doctor: () =>
-      doctor({ host, repo, bunVersion: Bun.version, version: VERSION, handshake: () => mcpHandshake() }),
-    runs() {
-      const { runs, corrupt } = listRuns();
-      return { rows: rows(runs), warnings: corrupt.map((c) => `skipped run ${c.id}: ${c.reason}`) };
-    },
-    sessions: () => sessionRows(deps),
-    session: (key) => sessionDetail(deps, key),
-    role: (run, dispatchId) => roleDetail(deps, run, dispatchId),
-    milestone: (run, name) => milestoneDetail(run, name),
-    watch: watchDirs,
-    async cancel(run, name) {
-      const r = await cancel(deps, run, name);
-      return `${r.record.name} ${r.record.status}`;
-    },
-    profiles: () => ({ names: listProfiles(), active: activeName(), here: activeName(repo), repo: bound() }),
-    readProfile: readProfileDoc,
-    catalog(billing) {
-      return {
-        catalog: loadCatalog({ timings: false }),
-        models: catalogQuery({ scoredOnly: false, limit: Number.MAX_SAFE_INTEGER }, billing).models,
-      };
-    },
-    validate: (p, c) => validateHere(p, c, undefined, host.host),
-    enforcement: enforcementOf,
-    harnesses,
-    isolation(h) {
-      const a = adapterFor(h);
-      return {
-        ...(a?.isolationNote ? { note: a.isolationNote } : {}),
-        ...(a?.isolationKey ? { key: a.isolationKey } : {}),
-      };
-    },
-    agents: (p) => agentFiles(p, VERSION).map((f) => f.name),
-    async save(name, patch, treatLikes, shown) {
-      for (const [rung, like] of Object.entries(treatLikes)) await saveTreatLike(rung, like);
-      return patchProfile(name, patch, {
-        host: host.host,
-        ...(shown === undefined ? {} : { expect: shown }),
-      });
-    },
-    activate: (name, scope) => activate(name, scope, host.host),
-    create: (name, from) => createProfile(name, from, host.host),
-    remove: deleteProfile,
-    refreshCatalog: () => refreshDiscovery(),
-    syncSources: () => syncSources(),
-    sources: () => sourceRows(),
-    suggest: suggestFor,
-    rungDetail: rungDetailOf,
-  };
-}