sensorium-mcp 3.1.0-refactor.17 → 3.1.0-refactor.18

package/dist/services/process.service.d.ts

@@ -30,28 +30,16 @@ export declare const clearTaskConsumed: (threadId: number) => void;
 /** Delete a worker's pending-task mailbox (and any in-flight .processing temp)
  *  so a retired worker can never be re-fed a late append. */
 export declare function deletePendingTaskMailbox(threadId: number): void;
-/**
- * Liveness + identity in one question: is `pid` alive AND (when `spawnedAtMs`
- * is given) still the process we spawned?
- *
- * Two-step check, neither of which ever spawns a child process:
- *   1. `process.kill(pid, 0)` — a plain syscall. ESRCH (any non-EPERM error) is
- *      a definitive "dead" and needs no broker (this also keeps dev mode
- *      without a supervisor fully functional for the common case).
- *   2. Otherwise the answer is NOT trustworthy on Windows — kill(0) succeeds
- *      for kernel-zombie PIDs held open by a lingering handle, and EPERM is
- *      what a parent sees for its own terminated child. Ask the supervisor's
- *      process broker, which answers from a native process snapshot and also
- *      verifies creation-time identity (PID-reuse guard).
- *
- * Broker unreachable → "cannot confirm → treat alive", exactly the audited-safe
- * degradation the deleted tasklist/Get-Process breakers had.
- */
-export declare function isProcessAlive(pid: number, spawnedAtMs?: number): Promise<boolean>;
+/** @param spawnedAtMs when the caller knows the process's spawn time (pid-file
+ *  startedAt), pass it: absence from a pid-table snapshot taken BEFORE the
+ *  spawn proves nothing, so such a process is treated as alive until a fresher
+ *  snapshot can actually testify. Without it, a freshly spawned child could be
+ *  declared dead against a stale snapshot → duplicate spawn. */
+export declare function isProcessAlive(pid: number, spawnedAtMs?: number): boolean;
 export declare function readPidFiles(): PidFileEntry[];
-export declare function findAliveThread(threadId: number): Promise<SpawnedThread | undefined>;
-export declare const isThreadRunning: (threadId: number) => Promise<boolean>;
-export declare function getActiveThreadIds(): Promise<number[]>;
+export declare function findAliveThread(threadId: number): SpawnedThread | undefined;
+export declare const isThreadRunning: (threadId: number) => boolean;
+export declare function getActiveThreadIds(): number[];
 export declare function ensureDirs(): void;
 /** Thread transcripts (logs/threads/*.json) are append-only debug artifacts with
  *  one file per thread per day. Nothing consumes them at runtime except the
@@ -64,15 +52,10 @@ export declare function ensureDirs(): void;
 export declare function pruneOldThreadLogs(): void;
 /**
  * Check liveness of a thread directly via its PID file, bypassing the
- * spawnedThreads[] in-memory cache. Returns the live PID together with its
- * recorded spawn identity (startedAt) so callers can make identity-checked
- * kill/alive calls, or undefined if no PID file exists or the process is dead
- * (stale file is deleted).
+ * spawnedThreads[] in-memory cache.  Returns the live PID, or undefined
+ * if no PID file exists or the process is dead (stale file is deleted).
  */
-export declare function findAliveThreadViaPidFile(threadId: number): Promise<{
-    pid: number;
-    startedAt?: number;
-} | undefined>;
+export declare function findAliveThreadViaPidFile(threadId: number): number | undefined;
 /**
  * Reconcile in-memory state (spawnedThreads[]) with the two authoritative
  * sources of truth at startup:
@@ -81,19 +64,58 @@ export declare function findAliveThreadViaPidFile(threadId: number): Promise<{
  *
  * Replaces the old restoreFromPidFiles() + cleanupStalePidFiles() pair.
  */
-export declare function reconcileState(db: Database, threadLifecycle: ThreadLifecycleService): Promise<void>;
+export declare function reconcileState(db: Database, threadLifecycle: ThreadLifecycleService): void;
+export interface ProcSnapshotEntry {
+    ppid: number;
+    startMs: number;
+}
+export type ProcSnapshot = Map<number, ProcSnapshotEntry>;
+interface OrphanLineageEntry {
+    ownerThreadId: number;
+    ownerPid: number;
+    ownerStartedAt?: number;
+    descendantStartMs: number;
+}
+export interface OrphanSweepTrackedThread {
+    threadId: number;
+    pid: number;
+    startedAt?: number;
+    alive: boolean;
+}
+export interface OrphanSweepResult {
+    /** Confirmed orphans that passed BOTH pid-reuse guards. */
+    orphans: {
+        pid: number;
+        ownerThreadId: number;
+        startMs: number;
+    }[];
+    /** Recorded descendants whose pid was recycled (start-time mismatch) — dropped, never killed. */
+    reusedPidsSkipped: number[];
+    /** Candidates rejected by the child-not-older-than-parent guard — never killed. */
+    olderThanParentSkipped: number[];
+    /** How many descendant lineage entries were (re)recorded this pass. */
+    recorded: number;
+}
+/**
+ * Pure core of the orphan sweep — no IO, no clock, fully deterministic so the
+ * pid-reuse guard and the snapshot-unavailable path can be tested directly.
+ * Mutates `lineage` in place (records new descendants, drops dead/recycled ones).
+ */
+export declare function computeOrphanSweep(params: {
+    snapshot: ProcSnapshot | null;
+    trackedThreads: OrphanSweepTrackedThread[];
+    lineage: Map<number, OrphanLineageEntry>;
+    protectedPids: Set<number>;
+    toleranceMs: number;
+}): OrphanSweepResult;
 /**
- * Kill the process tree rooted at `pid` via the supervisor's broker (native
- * TerminateProcess over the whole tree, identity-checked when `spawnedAtMs` is
- * given, outcome recorded in the broker's on-disk registry). Never spawns a
- * child process and never blocks the event loop.
- *
- * Broker unreachable → degraded best-effort: one native `process.kill(pid)`
- * (root only — Node cannot enumerate a tree without shelling out, and that
- * machinery is gone by design) followed by a conservative liveness re-check.
- * A survived kill keeps the PID file so the keeper/cleanup policy loops retry
- * and escalate — same contract as before.
+ * Run one orphan-descendant sweep on the existing worker-cleanup cadence. Takes a
+ * single process snapshot (no new timer, no second snapshot on the hot liveness
+ * path), records lineage for live threads, and logs — or, when ORPHAN_SWEEP_KILL
+ * is set, reaps — confirmed orphans. Best-effort and self-contained; any failure
+ * degrades to doing nothing.
  */
+export declare function sweepOrphanDescendants(): Promise<OrphanSweepResult>;
 export declare function killProcessTree(pid: number, threadId: number, caller?: string, spawnedAtMs?: number): Promise<void>;
 export {};
 //# sourceMappingURL=process.service.d.ts.map

package/dist/services/process.service.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"process.service.d.ts","sourceRoot":"","sources":["../../src/services/process.service.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAEzD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAuB5E,eAAO,MAAM,iBAAiB,QAAkC,CAAC;AACjE,eAAO,MAAM,gBAAgB,QAAW,CAAC;AACzC,eAAO,MAAM,gBAAgB,QAAW,CAAC;AACzC,eAAO,MAAM,eAAe,QAA4B,CAAC;AACzD,eAAO,MAAM,gBAAgB,QAAW,CAAC;AAEzC,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,UAAU,CAAC,EAAE,QAAQ,GAAG,QAAQ,CAAC;CAClC;AAED,UAAU,YAAY;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACjC,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,eAAO,MAAM,cAAc,EAAE,aAAa,EAAO,CAAC;AAYlD,eAAO,MAAM,gBAAgB,GAAI,UAAU,MAAM,KAAG,IAEnD,CAAC;AACF,eAAO,MAAM,eAAe,GAAI,UAAU,MAAM,KAAG,OAA4C,CAAC;AAChG,eAAO,MAAM,iBAAiB,GAAI,UAAU,MAAM,KAAG,IAEpD,CAAC;AAEF;6DAC6D;AAC7D,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAQ/D;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAaxF;AAED,wBAAgB,YAAY,IAAI,YAAY,EAAE,CAiC7C;AAED,wBAAsB,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,CA2B1F;AAED,eAAO,MAAM,eAAe,GAAU,UAAU,MAAM,KAAG,OAAO,CAAC,OAAO,CACvB,CAAC;AAElD,wBAAsB,kBAAkB,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAW5D;AAED,wBAAgB,UAAU,IAAI,IAAI,CAMjC;AAED;;;;;;;uCAOuC;AACvC,wBAAgB,kBAAkB,IAAI,IAAI,CAsBzC;AAED;;;;;;GAMG;AACH,wBAAsB,yBAAyB,CAC7C,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAAC,CAY1D;AAED;;;;;;;GAOG;AACH,wBAAsB,cAAc,CAClC,EAAE,EAAE,QAAQ,EACZ,eAAe,EAAE,sBAAsB,GACtC,OAAO,CAAC,IAAI,CAAC,CA4Hf;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,eAAe,CACnC,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,MAAM,EAChB,MAAM,CAAC,EAAE,MAAM,EACf,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,IAAI,CAAC,CAgEf"}
+{"version":3,"file":"process.service.d.ts","sourceRoot":"","sources":["../../src/services/process.service.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAEzD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAsB5E,eAAO,MAAM,iBAAiB,QAAkC,CAAC;AACjE,eAAO,MAAM,gBAAgB,QAAW,CAAC;AACzC,eAAO,MAAM,gBAAgB,QAAW,CAAC;AACzC,eAAO,MAAM,eAAe,QAA4B,CAAC;AACzD,eAAO,MAAM,gBAAgB,QAAW,CAAC;AAEzC,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,UAAU,CAAC,EAAE,QAAQ,GAAG,QAAQ,CAAC;CAClC;AAED,UAAU,YAAY;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACjC,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,eAAO,MAAM,cAAc,EAAE,aAAa,EAAO,CAAC;AAYlD,eAAO,MAAM,gBAAgB,GAAI,UAAU,MAAM,KAAG,IAEnD,CAAC;AACF,eAAO,MAAM,eAAe,GAAI,UAAU,MAAM,KAAG,OAA4C,CAAC;AAChG,eAAO,MAAM,iBAAiB,GAAI,UAAU,MAAM,KAAG,IAEpD,CAAC;AAEF;6DAC6D;AAC7D,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAQ/D;AAED;;;;gEAIgE;AAChE,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,OAAO,CAuBzE;AAySD,wBAAgB,YAAY,IAAI,YAAY,EAAE,CAiC7C;AAED,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CA8B3E;AAED,eAAO,MAAM,eAAe,GAAI,UAAU,MAAM,KAAG,OACV,CAAC;AAE1C,wBAAgB,kBAAkB,IAAI,MAAM,EAAE,CAW7C;AAED,wBAAgB,UAAU,IAAI,IAAI,CAMjC;AAED;;;;;;;uCAOuC;AACvC,wBAAgB,kBAAkB,IAAI,IAAI,CAsBzC;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAY9E;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,eAAe,EAAE,sBAAsB,GAAG,IAAI,CAoH1F;AAqCD,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AACD,MAAM,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;AAE1D,UAAU,kBAAkB;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AA+CD,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,iBAAiB;IAChC,2DAA2D;IAC3D,OAAO,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACnE,iGAAiG;IACjG,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,mFAAmF;IACnF,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC,uEAAuE;IACvE,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IACzC,QAAQ,EAAE,YAAY,GAAG,IAAI,CAAC;IAC9B,cAAc,EAAE,wBAAwB,EAAE,CAAC;IAC3C,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IACzC,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC;CACrB,GAAG,iBAAiB,CAgFpB;AASD;;;;;;GAMG;AACH,wBAAsB,sBAAsB,IAAI,OAAO,CAAC,iBAAiB,CAAC,CAwDzE;AAUD,wBAAgB,eAAe,CAC7B,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,MAAM,EAChB,MAAM,CAAC,EAAE,MAAM,EACf,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,IAAI,CAAC,CA+Hf"}