code-auditor-mcp 3.7.0 → 3.8.1

package/dist/daemon/core.d.ts

@@ -0,0 +1,128 @@
+/**
+ * Spec 50 — `DaemonCore`: the daemon's heart. Owns the store and the pipeline
+ * (R1); the LSP and Unix-socket faces are adapters over it.
+ *
+ * The core reuses the Spec 41 incremental machinery wholesale: `hashAndStatFiles`
+ * / `diffFiles` / `splitFindings` / `mergeFindings` from `nextFileIncremental.ts`.
+ * The seed is a full `runAuditDispatch` (the same entry `code-audit audit` uses,
+ * so counts match — acceptance 10); a warm re-audit is a scoped dispatch merged
+ * per-analyzer, exactly the `next-file` warm path made continuous.
+ *
+ * Concurrency (R5) uses the Spec 41 lease: a `findings_ledger_runs` row with
+ * `status='running'`, PID + hostname + start-time, heartbeated. A second daemon
+ * that cannot bind the socket (Face B) exits; a crashed daemon's lease is
+ * reclaimed by the next start via `reclaimStaleRunning`.
+ */
+import { EventEmitter } from 'node:events';
+import { type NextFileSnapshot } from '../nextFileIncremental.js';
+import { type DaemonState, type DaemonDiagnosticsResult, type DaemonFindingsResult } from './types.js';
+export interface DaemonCoreOptions {
+    projectRoot: string;
+    configName?: string;
+    idleTimeoutMs: number;
+    /** Called whenever the observable state changes (indexing→ready, etc.). */
+    onState?: (state: DaemonState) => void;
+    /** Called whenever the findings set is updated (seed or warm re-audit). */
+    onFindings?: (snapshot: NextFileSnapshot) => void;
+}
+export declare class DaemonCore extends EventEmitter {
+    readonly projectRoot: string;
+    private readonly configName?;
+    private readonly idleTimeoutMs;
+    private status;
+    private snapshot;
+    private progress;
+    private seedStartedAt;
+    private phase;
+    private phaseCurrent;
+    private phaseTotal;
+    private phaseStartedAt;
+    private orphanStartedAt;
+    private seenOrphan;
+    private db;
+    private leaseRunId;
+    private heartbeat;
+    private idleTimer;
+    private watcher;
+    private watchDebounce;
+    private pendingWatchPaths;
+    private reindexing;
+    private lastActivityAt;
+    private activeConnections;
+    private shutdownRequested;
+    private config;
+    constructor(options: DaemonCoreOptions);
+    /** Called by each face when a client connects/disconnects (idle tracking). */
+    registerConnection(): void;
+    unregisterConnection(): void;
+    /** Faces call this on any client activity so the idle timer resets (R5). */
+    markActivity(): void;
+    getState(): DaemonState;
+    /**
+     * R3/R6 — derive `retryAfterMs` from observed progress across the seed's whole
+     * lifetime (files → reducers → derived → finalize), never a constant. Each
+     * phase is priced on its own observed rate; at a phase boundary the rate is
+     * unknown yet, so the value clamps conservatively instead of collapsing to
+     * "done" while work remains.
+     */
+    private deriveRetryAfterMs;
+    /**
+     * Files phase — the two-population split. Source files (parsed, ~11ms each)
+     * are priced at the source rate; orphan files (raw, mostly no visitor) at the
+     * orphan rate. Discovery classifies both up front, so the split is known
+     * before the first sample. During the source phase the orphan rate is not yet
+     * observed, so orphans are priced at the source rate (the honest fallback —
+     * conservative, never an underestimate); once the source phase completes, the
+     * orphan tail is priced on its own (much faster) rate.
+     */
+    private deriveFilesEta;
+    /** Reducer/derived/finalize phases — uniform unit, priced on the phase's own window. */
+    private derivePhaseEta;
+    private clampRetry;
+    /** Map pipeline + local progress events onto the phase machine (R3). */
+    private onSeedProgress;
+    private setPhase;
+    /**
+     * Ordering invariant (R3 accuracy guard): stage 1 yields source files before
+     * orphans. The two-population split above interprets `filesIndexed` as "source
+     * done up to `sourceTotal`, then orphans" — a future reorder that interleaved
+     * the two loops would silently corrupt the estimate. Assert it loudly: throw
+     * the moment a source file is reported after an orphan has been seen.
+     */
+    private assertSourceBeforeOrphan;
+    /** All current findings + R4 stale-file report. */
+    getFindings(): DaemonFindingsResult;
+    /** Per-file findings (diagnostics) + R4 staleness for those files. */
+    getDiagnostics(files: string[]): DaemonDiagnosticsResult;
+    /**
+     * True if a watcher-flagged path belongs to the audited corpus (R5). The
+     * watcher reports every change under the root — including the SQLite DB, WAL,
+     * and SHM files this process writes to `node_modules/.cache` — so the
+     * reconcile gate must filter to source extensions and never infra dirs, or a
+     * single persist would re-audit the corpus and loop.
+     */
+    private isSourcePath;
+    /**
+     * R4 — validate that the served findings are current. Cheap-first: compare the
+     * recorded mtime; only when it diverges (or the file is new/missing) is the
+     * content re-hashed. `files` narrows the check to a specific read; `undefined`
+     * checks the whole recorded set (count + newest mtime fast path, full hash on
+     * divergence).
+     */
+    checkStaleness(files?: string[]): string[];
+    /** Start: init parsers, claim the lease, seed, watch. Resolves once seed completes. */
+    start(): Promise<void>;
+    private claimLease;
+    private startIdleTimer;
+    private checkIdle;
+    private seed;
+    /** Persist the current findings to the ledger (durable snapshot for the CLI). */
+    private persistCurrent;
+    private startWatcher;
+    /** Warm re-audit of the files the watcher flagged. */
+    private reconcile;
+    private emitState;
+    private emitFindings;
+    shutdown(reason?: string): Promise<void>;
+}
+//# sourceMappingURL=core.d.ts.map

package/dist/daemon/core.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../src/daemon/core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAoB3C,OAAO,EAML,KAAK,gBAAgB,EACtB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAEL,KAAK,WAAW,EAChB,KAAK,uBAAuB,EAC5B,KAAK,oBAAoB,EAE1B,MAAM,YAAY,CAAC;AAkBpB,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,2EAA2E;IAC3E,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,IAAI,CAAC;IACvC,2EAA2E;IAC3E,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,gBAAgB,KAAK,IAAI,CAAC;CACnD;AAED,qBAAa,UAAW,SAAQ,YAAY;IAC1C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAS;IACrC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAS;IAEvC,OAAO,CAAC,MAAM,CAA4B;IAC1C,OAAO,CAAC,QAAQ,CAAiC;IACjD,OAAO,CAAC,QAAQ,CAAsE;IACtF,OAAO,CAAC,aAAa,CAAK;IAK1B,OAAO,CAAC,KAAK,CAAsB;IACnC,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,UAAU,CAAK;IACvB,OAAO,CAAC,cAAc,CAAK;IAC3B,OAAO,CAAC,eAAe,CAAK;IAC5B,OAAO,CAAC,UAAU,CAAS;IAE3B,OAAO,CAAC,EAAE,CAA4B;IACtC,OAAO,CAAC,UAAU,CAAuB;IACzC,OAAO,CAAC,SAAS,CAA+B;IAChD,OAAO,CAAC,SAAS,CAA+B;IAChD,OAAO,CAAC,OAAO,CAAyC;IACxD,OAAO,CAAC,aAAa,CAA+B;IACpD,OAAO,CAAC,iBAAiB,CAAqB;IAE9C,OAAO,CAAC,UAAU,CAAS;IAC3B,OAAO,CAAC,cAAc,CAAc;IACpC,OAAO,CAAC,iBAAiB,CAAK;IAC9B,OAAO,CAAC,iBAAiB,CAAS;IAClC,OAAO,CAAC,MAAM,CAA4B;IAE1C,YAAY,OAAO,EAAE,iBAAiB,EAKrC;IAED,8EAA8E;IAC9E,kBAAkB,IAAI,IAAI,CAGzB;IACD,oBAAoB,IAAI,IAAI,CAG3B;IAED,4EAA4E;IAC5E,YAAY,IAAI,IAAI,CAEnB;IAED,QAAQ,IAAI,WAAW,CAiBtB;IAED;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB;IAM1B;;;;;;;;OAQG;IACH,OAAO,CAAC,cAAc;IAsCtB,wFAAwF;IACxF,OAAO,CAAC,cAAc;IAkBtB,OAAO,CAAC,UAAU;IAIlB,wEAAwE;IACxE,OAAO,CAAC,cAAc;IA8BtB,OAAO,CAAC,QAAQ;IAShB;;;;;;OAMG;IACH,OAAO,CAAC,wBAAwB;IAahC,mDAAmD;IACnD,WAAW,IAAI,oBAAoB,CAOlC;IAED,sEAAsE;IACtE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,uBAAuB,CAYvD;IAED;;;;;;OAMG;IACH,OAAO,CAAC,YAAY;IAQpB;;;;;;OAMG;IACH,cAAc,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAoDzC;IAED,uFAAuF;IACjF,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAwB3B;IAED,OAAO,CAAC,UAAU;IA2ClB,OAAO,CAAC,cAAc;IAKtB,OAAO,CAAC,SAAS;YAQH,IAAI;IA+DlB,iFAAiF;IACjF,OAAO,CAAC,cAAc;IA+BtB,OAAO,CAAC,YAAY;IAwBpB,sDAAsD;YACxC,SAAS;IAwGvB,OAAO,CAAC,SAAS;IAKjB,OAAO,CAAC,YAAY;IAId,QAAQ,CAAC,MAAM,SAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAsBjD;CACF"}