WorkspaceProcessCensus typedef

WorkspaceProcessCensus = ({List<int> residents, List<({String command, int pid})> stores})

One account of everything a harness can still find working under a workspace: the STORE processes named by their own --config/--root, and the PIDs whose working directory is inside it.

Two arms because neither alone is complete — a Dolt server names its data dir and carries no useful cwd, a detached bd child names nothing and carries only a cwd — and because a teardown that reports residue owes the reader which kind it found.

Implementation

typedef WorkspaceProcessCensus = ({
  List<({int pid, String command})> stores,
  List<int> residents,
});