@quolu/lattice 0.70.0 → 0.71.1

package/sensor/dist/db/synthesis-stage.js

@@ -0,0 +1,93 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SynthesisStage = exports.SYNTHESIZED_EDGE = void 0;
+const sqlite_adapter_1 = require("./sqlite-adapter");
+const queries_1 = require("./queries");
+const cooperative_yield_1 = require("../resolution/cooperative-yield");
+// Ownership is independent of provenance: Go method containment is structural.
+exports.SYNTHESIZED_EDGE = "CASE WHEN json_valid(metadata) THEN json_extract(metadata, '$.synthesizedBy') END IS NOT NULL";
+/** A private edge overlay: passes see base edges plus their new Go prerequisites. */
+class SynthesisStage {
+    db;
+    queries;
+    constructor(dbPath) {
+        this.db = (0, sqlite_adapter_1.createDatabase)(dbPath).db;
+        try {
+            this.db.pragma('busy_timeout = 5000');
+            this.db.pragma('foreign_keys = ON');
+            this.db.pragma('synchronous = NORMAL');
+            this.db.pragma('wal_autocheckpoint = 0');
+            this.db.exec(`
+        CREATE TEMP TABLE synthesis_inputs (file_path TEXT PRIMARY KEY);
+        -- Column list mirrors main.edges exactly (the view below UNIONs with
+        -- SELECT *): Lattice's confidence/resolved_by (v9) included.
+        CREATE TEMP TABLE synthesis_edges (
+          id INTEGER PRIMARY KEY, source TEXT, target TEXT, kind TEXT,
+          metadata TEXT, line INTEGER, col INTEGER, provenance TEXT,
+          confidence REAL, resolved_by TEXT
+        );
+        CREATE UNIQUE INDEX temp.synthesis_identity ON synthesis_edges
+          (source, target, kind, IFNULL(line, -1), IFNULL(col, -1));
+        CREATE INDEX temp.synthesis_source ON synthesis_edges(source, kind);
+        CREATE INDEX temp.synthesis_target ON synthesis_edges(target, kind);
+        CREATE TEMP VIEW edges AS
+          SELECT * FROM main.edges WHERE NOT COALESCE((${exports.SYNTHESIZED_EDGE}), 0)
+          UNION ALL SELECT * FROM synthesis_edges;
+        CREATE TEMP TRIGGER synthesis_insert INSTEAD OF INSERT ON edges BEGIN
+          INSERT OR IGNORE INTO synthesis_edges
+            (source, target, kind, metadata, line, col, provenance, confidence, resolved_by)
+          SELECT NEW.source, NEW.target, NEW.kind, NEW.metadata, NEW.line, NEW.col, NEW.provenance,
+            NEW.confidence, NEW.resolved_by
+          WHERE NOT EXISTS (
+            SELECT 1 FROM main.edges WHERE source = NEW.source AND target = NEW.target
+              AND kind = NEW.kind AND IFNULL(line, -1) = IFNULL(NEW.line, -1)
+              AND IFNULL(col, -1) = IFNULL(NEW.col, -1)
+              AND NOT COALESCE((${exports.SYNTHESIZED_EDGE}), 0)
+          );
+        END;
+      `);
+            this.queries = new queries_1.QueryBuilder(this.db);
+        }
+        catch (error) {
+            this.db.close();
+            throw error;
+        }
+    }
+    async publish(backpressure) {
+        await backpressure?.();
+        const yieldToLoop = (0, cooperative_yield_1.createYielder)();
+        // Keep the replacement atomic for other connections. Yield between bounded
+        // writes, but checkpoint only OUTSIDE this transaction (uncommitted frames
+        // cannot be folded). Pass execution/staging above never writes the main WAL.
+        this.db.exec('BEGIN IMMEDIATE');
+        try {
+            const remove = this.db.prepare(`DELETE FROM main.edges WHERE id IN (
+        SELECT id FROM main.edges WHERE ${exports.SYNTHESIZED_EDGE} LIMIT 2000
+      )`);
+            while (remove.run().changes > 0)
+                await yieldToLoop();
+            const insert = this.db.prepare(`INSERT OR IGNORE INTO main.edges
+        (source, target, kind, metadata, line, col, provenance, confidence, resolved_by)
+        SELECT source, target, kind, metadata, line, col, provenance, confidence, resolved_by
+        FROM synthesis_edges WHERE id > ? AND id <= ?`);
+            const max = this.db.prepare('SELECT MAX(id) AS id FROM synthesis_edges').get()?.id ?? 0;
+            for (let i = 0; i < max; i += 2000) {
+                insert.run(i, i + 2000);
+                await yieldToLoop();
+            }
+            this.db.exec(`DELETE FROM main.synthesis_inputs;
+        INSERT INTO main.synthesis_inputs SELECT * FROM temp.synthesis_inputs`);
+            this.db.exec('COMMIT');
+        }
+        catch (error) {
+            this.db.exec('ROLLBACK');
+            throw error;
+        }
+        await backpressure?.();
+    }
+    close() {
+        this.db.close();
+    }
+}
+exports.SynthesisStage = SynthesisStage;
+//# sourceMappingURL=synthesis-stage.js.map

package/sensor/dist/db/synthesis-stage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"synthesis-stage.js","sourceRoot":"","sources":["../../src/db/synthesis-stage.ts"],"names":[],"mappings":";;;AAAA,qDAAuE;AACvE,uCAAyC;AACzC,uEAAgE;AAEhE,+EAA+E;AAClE,QAAA,gBAAgB,GAAG,+FAA+F,CAAC;AAEhI,qFAAqF;AACrF,MAAa,cAAc;IAChB,EAAE,CAAiB;IACnB,OAAO,CAAe;IAE/B,YAAY,MAAc;QACxB,IAAI,CAAC,EAAE,GAAG,IAAA,+BAAc,EAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC;YACH,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC;YACtC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;YACpC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;YACvC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC;YACzC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC;;;;;;;;;;;;;;yDAcsC,wBAAgB;;;;;;;;;;;kCAWvC,wBAAgB;;;OAG3C,CAAC,CAAC;YACH,IAAI,CAAC,OAAO,GAAG,IAAI,sBAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;YAChB,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,YAAyC;QACrD,MAAM,YAAY,EAAE,EAAE,CAAC;QACvB,MAAM,WAAW,GAAG,IAAA,iCAAa,GAAE,CAAC;QACpC,2EAA2E;QAC3E,2EAA2E;QAC3E,6EAA6E;QAC7E,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;0CACK,wBAAgB;QAClD,CAAC,CAAC;YACJ,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,GAAG,CAAC;gBAAE,MAAM,WAAW,EAAE,CAAC;YACrD,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;sDAGiB,CAAC,CAAC;YAClD,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,2CAA2C,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;YACxF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;gBACnC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;gBACxB,MAAM,WAAW,EAAE,CAAC;YACtB,CAAC;YACD,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC;8EAC2D,CAAC,CAAC;YAC1E,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACzB,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,YAAY,EAAE,EAAE,CAAC;IACzB,CAAC;IAED,KAAK;QACH,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;IAClB,CAAC;CACF;AAjFD,wCAiFC"}

package/sensor/dist/db/wal-valve.d.ts

@@ -42,8 +42,33 @@
  * the next pass covers everything, the WAL wraps on the following commit,
  * and the pause is the disk's honest catch-up cost — the correct terminal
  * mode when hardware genuinely can't keep up with the append rate.
+ *
+ * Fail-closed (#1539): if parked backfills cannot progress (a reader pinning
+ * frames) while the WAL is past the hard/file caps, the valve throws
+ * {@link WalValveAbortError} instead of releasing the writer. The previous
+ * "futility latch" disabled parking for 60s after consecutive give-ups so a
+ * pinned reader would not churn checkpoint workers — but that also let the
+ * WAL grow without a bound (observed 64 GiB on a kernel-scale daemon catch-up
+ * with the query pool holding read marks). Aborting with a clear error is the
+ * safe terminal mode; the caller closes readers / retries once the pin clears.
  */
 import type { DatabaseConnection } from './index';
+/**
+ * Thrown when the valve cannot checkpoint past its documented caps while a
+ * reader pins WAL frames (#1539). Callers (index/sync) should surface this and
+ * stop writing rather than risk unbounded disk growth.
+ */
+export declare class WalValveAbortError extends Error {
+    readonly code: "WAL_VALVE_ABORT";
+    readonly walBytes: number;
+    readonly fileCapBytes: number;
+    readonly hardBytes: number;
+    constructor(message: string, sizes: {
+        walBytes: number;
+        fileCapBytes: number;
+        hardBytes: number;
+    });
+}
 /**
  * Resolve the valve's soft threshold from the `LATTICE_SENSOR_WAL_VALVE_MB`
  * override; non-numeric / non-positive values fall back to the default.
@@ -66,17 +91,10 @@ export declare class WalCheckpointValve {
     private readonly hardBytes;
     private readonly fileCapBytes;
     /**
-     * Futility latch: consecutive backfill give-ups (a reader pinning the WAL)
-     * disable further writer pauses for a cooldown, so a pinned phase degrades
-     * to the pre-valve behavior (unbounded WAL, folded when the pinner exits)
-     * instead of burning a 20-pass checkpoint attempt — each pass a worker
-     * thread + fresh connection — at EVERY over-cap boundary. That churn is
-     * what turned a pinned kernel-scale resolution from slow into OOM-killed
-     * (§7a.1 run 1: 22GB WAL, exit 137 at an envelope the pre-fix build
-     * survived).
+     * Consecutive parked-backfill give-ups. Used only for diagnostics in the
+     * abort message — parking is never disabled (#1539 fail-closed).
      */
     private consecutiveGiveUps;
-    private futileUntil;
     constructor(db: DatabaseConnection, softMb?: number, intervalMs?: number, log?: (msg: string) => void);
     private readonly log;
     private mb;
@@ -109,9 +127,11 @@ export declare class WalCheckpointValve {
     /**
      * With the writer parked on the returned promise, loop passive passes until
      * one reports the entire WAL backfilled (typically the second: the first
-     * drains the pass that was already running against a stale snapshot). Gives
-     * up after a bounded number of passes — e.g. a reader pinning the WAL —
-     * because unbounded WAL growth degrades; a wedged writer never recovers.
+     * drains the pass that was already running against a stale snapshot). After
+     * a bounded number of passes without a full backfill — e.g. a reader
+     * pinning the WAL — throws {@link WalValveAbortError} when still past the
+     * hard/file caps (#1539 fail-closed). Soft give-up under those caps is
+     * reserved for foldNow on a modest backlog that could not complete.
      */
     private backfillFully;
     private fire;

package/sensor/dist/db/wal-valve.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"wal-valve.d.ts","sourceRoot":"","sources":["../../src/db/wal-valve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAalD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM,CAc1F;AAED,qBAAa,kBAAkB;IA6B3B,OAAO,CAAC,QAAQ,CAAC,EAAE;IAEnB,OAAO,CAAC,QAAQ,CAAC,UAAU;IA9B7B,OAAO,CAAC,KAAK,CAA+C;IAC5D,OAAO,CAAC,QAAQ,CAA8B;IAC9C,uFAAuF;IACvF,OAAO,CAAC,KAAK,CAA8B;IAC3C;;;;OAIG;IACH,OAAO,CAAC,sBAAsB,CAAK;IACnC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;IACnC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;IACnC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAS;IAEtC;;;;;;;;;OASG;IACH,OAAO,CAAC,kBAAkB,CAAK;IAC/B,OAAO,CAAC,WAAW,CAAK;gBAGL,EAAE,EAAE,kBAAkB,EACvC,MAAM,GAAE,MAAmE,EAC1D,UAAU,GAAE,MAA0B,EACvD,GAAG,GAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAe;IAavC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAwB;IAE5C,OAAO,CAAC,EAAE;IAIV,0FAA0F;IAC1F,OAAO,CAAC,WAAW;IAInB,+EAA+E;IAC/E,KAAK,IAAI,IAAI;IAkBb,6EAA6E;IAC7E,IAAI,IAAI,IAAI;IAOZ,6FAA6F;IAC7F,KAAK,IAAI,IAAI;IAIb;;;;;OAKG;IACH,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI;IAqBpC,uDAAuD;IACjD,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAO5B;;;;;;;OAOG;IACG,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;IAQ9B;;;;;;OAMG;YACW,aAAa;IAkC3B,OAAO,CAAC,IAAI;CA8Bb"}
+{"version":3,"file":"wal-valve.d.ts","sourceRoot":"","sources":["../../src/db/wal-valve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAElD;;;;GAIG;AACH,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,QAAQ,CAAC,IAAI,EAAG,iBAAiB,CAAU;IAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;gBAEf,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE;CAOlG;AAaD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM,CAc1F;AAED,qBAAa,kBAAkB;IAsB3B,OAAO,CAAC,QAAQ,CAAC,EAAE;IAEnB,OAAO,CAAC,QAAQ,CAAC,UAAU;IAvB7B,OAAO,CAAC,KAAK,CAA+C;IAC5D,OAAO,CAAC,QAAQ,CAA8B;IAC9C,uFAAuF;IACvF,OAAO,CAAC,KAAK,CAA8B;IAC3C;;;;OAIG;IACH,OAAO,CAAC,sBAAsB,CAAK;IACnC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;IACnC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;IACnC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAS;IAEtC;;;OAGG;IACH,OAAO,CAAC,kBAAkB,CAAK;gBAGZ,EAAE,EAAE,kBAAkB,EACvC,MAAM,GAAE,MAAmE,EAC1D,UAAU,GAAE,MAA0B,EACvD,GAAG,GAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAe;IAavC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAwB;IAE5C,OAAO,CAAC,EAAE;IAIV,0FAA0F;IAC1F,OAAO,CAAC,WAAW;IAInB,+EAA+E;IAC/E,KAAK,IAAI,IAAI;IAkBb,6EAA6E;IAC7E,IAAI,IAAI,IAAI;IAOZ,6FAA6F;IAC7F,KAAK,IAAI,IAAI;IAIb;;;;;OAKG;IACH,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI;IAoBpC,uDAAuD;IACjD,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAO5B;;;;;;;OAOG;IACG,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;IAQ9B;;;;;;;;OAQG;YACW,aAAa;IAgE3B,OAAO,CAAC,IAAI;CA8Bb"}

package/sensor/dist/db/wal-valve.js

@@ -43,10 +43,38 @@
  * the next pass covers everything, the WAL wraps on the following commit,
  * and the pause is the disk's honest catch-up cost — the correct terminal
  * mode when hardware genuinely can't keep up with the append rate.
+ *
+ * Fail-closed (#1539): if parked backfills cannot progress (a reader pinning
+ * frames) while the WAL is past the hard/file caps, the valve throws
+ * {@link WalValveAbortError} instead of releasing the writer. The previous
+ * "futility latch" disabled parking for 60s after consecutive give-ups so a
+ * pinned reader would not churn checkpoint workers — but that also let the
+ * WAL grow without a bound (observed 64 GiB on a kernel-scale daemon catch-up
+ * with the query pool holding read marks). Aborting with a clear error is the
+ * safe terminal mode; the caller closes readers / retries once the pin clears.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.WalCheckpointValve = void 0;
+exports.WalCheckpointValve = exports.WalValveAbortError = void 0;
 exports.resolveWalValveMb = resolveWalValveMb;
+/**
+ * Thrown when the valve cannot checkpoint past its documented caps while a
+ * reader pins WAL frames (#1539). Callers (index/sync) should surface this and
+ * stop writing rather than risk unbounded disk growth.
+ */
+class WalValveAbortError extends Error {
+    code = 'WAL_VALVE_ABORT';
+    walBytes;
+    fileCapBytes;
+    hardBytes;
+    constructor(message, sizes) {
+        super(message);
+        this.name = 'WalValveAbortError';
+        this.walBytes = sizes.walBytes;
+        this.fileCapBytes = sizes.fileCapBytes;
+        this.hardBytes = sizes.hardBytes;
+    }
+}
+exports.WalValveAbortError = WalValveAbortError;
 /** Soft WAL-growth threshold (MB) that triggers an off-thread passive checkpoint. */
 const DEFAULT_WAL_VALVE_MB = 256;
 /** Hard cap = this × soft threshold; past it the writer pauses for a full backfill. */
@@ -94,17 +122,10 @@ class WalCheckpointValve {
     hardBytes;
     fileCapBytes;
     /**
-     * Futility latch: consecutive backfill give-ups (a reader pinning the WAL)
-     * disable further writer pauses for a cooldown, so a pinned phase degrades
-     * to the pre-valve behavior (unbounded WAL, folded when the pinner exits)
-     * instead of burning a 20-pass checkpoint attempt — each pass a worker
-     * thread + fresh connection — at EVERY over-cap boundary. That churn is
-     * what turned a pinned kernel-scale resolution from slow into OOM-killed
-     * (§7a.1 run 1: 22GB WAL, exit 137 at an envelope the pre-fix build
-     * survived).
+     * Consecutive parked-backfill give-ups. Used only for diagnostics in the
+     * abort message — parking is never disabled (#1539 fail-closed).
      */
     consecutiveGiveUps = 0;
-    futileUntil = 0;
     constructor(db, softMb = resolveWalValveMb(process.env.LATTICE_SENSOR_WAL_VALVE_MB), intervalMs = CHECK_INTERVAL_MS, log = () => { }) {
         this.db = db;
         this.intervalMs = intervalMs;
@@ -166,8 +187,6 @@ class WalCheckpointValve {
     backpressure() {
         if (this.pause)
             return this.pause;
-        if (Date.now() < this.futileUntil)
-            return null; // pinned reader — parking is churn, not progress
         // Two independent triggers:
         //  - growth: un-backfilled BACKLOG past the hard cap (the original valve).
         //  - file size: a WAL can stay fully backfilled and still grow without
@@ -214,17 +233,29 @@ class WalCheckpointValve {
     /**
      * With the writer parked on the returned promise, loop passive passes until
      * one reports the entire WAL backfilled (typically the second: the first
-     * drains the pass that was already running against a stale snapshot). Gives
-     * up after a bounded number of passes — e.g. a reader pinning the WAL —
-     * because unbounded WAL growth degrades; a wedged writer never recovers.
+     * drains the pass that was already running against a stale snapshot). After
+     * a bounded number of passes without a full backfill — e.g. a reader
+     * pinning the WAL — throws {@link WalValveAbortError} when still past the
+     * hard/file caps (#1539 fail-closed). Soft give-up under those caps is
+     * reserved for foldNow on a modest backlog that could not complete.
      */
     async backfillFully() {
         for (let i = 0; i < MAX_PAUSED_BACKFILL_PASSES; i++) {
             if (this.inflight)
                 await this.inflight; // fold in the stale in-flight pass first
             const res = await this.db.checkpointWalPassive();
-            if (!res)
-                return; // checkpoint machinery unavailable — don't spin
+            if (!res) {
+                // Machinery unavailable: fail closed past the documented caps (#1539),
+                // otherwise soft-return so a non-WAL / closing connection does not abort.
+                const walBytes = this.db.getWalSizeBytes();
+                const growth = this.growthBytes();
+                if (walBytes > this.fileCapBytes || growth > this.hardBytes) {
+                    throw new WalValveAbortError(`WAL checkpoint machinery unavailable while over the documented cap ` +
+                        `(wal=${this.mb(walBytes)}, fileCap=${this.mb(this.fileCapBytes)}). ` +
+                        `Aborting to avoid unbounded disk growth.`, { walBytes, fileCapBytes: this.fileCapBytes, hardBytes: this.hardBytes });
+                }
+                return;
+            }
             this.log(`backfill pass ${i + 1}: busy=${res.busy} log=${res.log} checkpointed=${res.checkpointed} wal=${this.mb(this.db.getWalSizeBytes())}`);
             if (res.busy === 0 && res.log === res.checkpointed) {
                 // Backfill complete AND we are at a parked barrier (backfillFully only
@@ -238,21 +269,33 @@ class WalCheckpointValve {
                     this.log(`truncate: busy=${trunc.busy} wal=${this.mb(this.db.getWalSizeBytes())}`);
                 this.sizeAtLastFullBackfill = this.db.getWalSizeBytes();
                 this.consecutiveGiveUps = 0;
-                this.futileUntil = 0;
                 return;
             }
         }
         this.consecutiveGiveUps++;
-        if (this.consecutiveGiveUps >= 2) {
-            this.futileUntil = Date.now() + 60_000;
-        }
-        const msg = `backfill gave up after ${MAX_PAUSED_BACKFILL_PASSES} passes (streak ${this.consecutiveGiveUps}${this.futileUntil ? ', parking disabled 60s' : ''}) — a reader is pinning the WAL`;
+        const walBytes = this.db.getWalSizeBytes();
+        const growth = this.growthBytes();
+        const msg = `backfill gave up after ${MAX_PAUSED_BACKFILL_PASSES} passes ` +
+            `(streak ${this.consecutiveGiveUps}) — a reader is pinning the WAL ` +
+            `(wal=${this.mb(walBytes)} growth=${this.mb(growth)} ` +
+            `hard=${this.mb(this.hardBytes)} fileCap=${this.mb(this.fileCapBytes)})`;
         this.log(msg);
         // Give-ups are rare and load-bearing for §7a.1-class diagnosis — surface
         // them on any timing-instrumented run, not just valve-debug ones.
         if (process.env.LATTICE_SENSOR_SYNTH_TIMINGS && !process.env.LATTICE_SENSOR_WAL_VALVE_DEBUG) {
             console.error(`[wal-valve] ${msg}`);
         }
+        // Fail closed (#1539): never release the writer past the documented caps
+        // when checkpoints cannot progress. The old futility latch disabled
+        // parking for 60s and allowed unbounded growth (64 GiB observed).
+        if (walBytes > this.fileCapBytes || growth > this.hardBytes) {
+            throw new WalValveAbortError(`WAL checkpoint cannot progress while a reader pins frames ` +
+                `(wal=${this.mb(walBytes)}, growth=${this.mb(growth)}, ` +
+                `fileCap=${this.mb(this.fileCapBytes)}, hard=${this.mb(this.hardBytes)}, ` +
+                `give-ups=${this.consecutiveGiveUps}). Aborting to avoid unbounded disk growth. ` +
+                `Close concurrent readers (for example the MCP query pool) and retry, ` +
+                `or raise LATTICE_SENSOR_WAL_VALVE_MB if the threshold is too tight for this project.`, { walBytes, fileCapBytes: this.fileCapBytes, hardBytes: this.hardBytes });
+        }
     }
     fire() {
         this.log(`fire: wal=${this.mb(this.db.getWalSizeBytes())} baseline=${this.mb(this.sizeAtLastFullBackfill)}`);

package/sensor/dist/db/wal-valve.js.map

@@ -1 +1 @@
-{"version":3,"file":"wal-valve.js","sourceRoot":"","sources":["../../src/db/wal-valve.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;;;AAmBH,8CAcC;AA7BD,qFAAqF;AACrF,MAAM,oBAAoB,GAAG,GAAG,CAAC;AACjC,uFAAuF;AACvF,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAC9B,qFAAqF;AACrF,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAC9B,gGAAgG;AAChG,MAAM,0BAA0B,GAAG,EAAE,CAAC;AACtC,sDAAsD;AACtD,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAE/B;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,MAA0B,EAAE,WAAoB;IAChF,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,EAAE,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QACzB,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,uEAAuE;IACvE,wEAAwE;IACxE,0EAA0E;IAC1E,yEAAyE;IACzE,wEAAwE;IACxE,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACjD,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,oBAAoB,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACrG,CAAC;IACD,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED,MAAa,kBAAkB;IA6BV;IAEA;IA9BX,KAAK,GAA0C,IAAI,CAAC;IACpD,QAAQ,GAAyB,IAAI,CAAC;IAC9C,uFAAuF;IAC/E,KAAK,GAAyB,IAAI,CAAC;IAC3C;;;;OAIG;IACK,sBAAsB,GAAG,CAAC,CAAC;IAClB,SAAS,CAAS;IAClB,SAAS,CAAS;IAClB,YAAY,CAAS;IAEtC;;;;;;;;;OASG;IACK,kBAAkB,GAAG,CAAC,CAAC;IACvB,WAAW,GAAG,CAAC,CAAC;IAExB,YACmB,EAAsB,EACvC,SAAiB,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,2BAA2B,CAAC,EAC1D,aAAqB,iBAAiB,EACvD,MAA6B,GAAG,EAAE,GAAE,CAAC;QAHpB,OAAE,GAAF,EAAE,CAAoB;QAEtB,eAAU,GAAV,UAAU,CAA4B;QAGvD,IAAI,CAAC,SAAS,GAAG,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;QACtC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,GAAG,mBAAmB,CAAC;QACtD,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,SAAS,GAAG,mBAAmB,CAAC;QACzD,8EAA8E;QAC9E,yEAAyE;QACzE,yEAAyE;QACzE,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,8BAA8B;YACnD,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;YAC1C,CAAC,CAAC,GAAG,CAAC;IACV,CAAC;IAEgB,GAAG,CAAwB;IAEpC,EAAE,CAAC,CAAS;QAClB,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IAC5C,CAAC;IAED,0FAA0F;IAClF,WAAW;QACjB,OAAO,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,GAAG,IAAI,CAAC,sBAAsB,CAAC;IACjE,CAAC;IAED,+EAA+E;IAC/E,KAAK;QACH,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO;QACvB,sEAAsE;QACtE,uEAAuE;QACvE,kCAAkC;QAClC,IAAI,OAAO,CAAC,GAAG,CAAC,4BAA4B,IAAI,OAAO,CAAC,GAAG,CAAC,8BAA8B,EAAE,CAAC;YAC3F,OAAO,CAAC,KAAK,CAAC,0BAA0B,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/I,CAAC;QACD,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,IAAI,CAAC,GAAG,CAAC,cAAc,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,aAAa,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,WAAW,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YACvL,CAAC;YACD,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACpB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IACvB,CAAC;IAED,6EAA6E;IAC7E,IAAI;QACF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC;IAED,6FAA6F;IAC7F,KAAK;QACH,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACxF,CAAC;IAED;;;;;OAKG;IACH,YAAY;QACV,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC;QAClC,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC,CAAC,iDAAiD;QACjG,4BAA4B;QAC5B,2EAA2E;QAC3E,uEAAuE;QACvE,sEAAsE;QACtE,uEAAuE;QACvE,8DAA8D;QAC9D,uEAAuE;QACvE,sEAAsE;QACtE,IAAI,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,IAAI,IAAI,CAAC,YAAY;YAAE,OAAO,IAAI,CAAC;QACxG,IAAI,CAAC,GAAG,CAAC,qBAAqB,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,qCAAqC,CAAC,CAAC;QACxJ,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE;YAC7C,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;YAClB,IAAI,CAAC,GAAG,CAAC,+BAA+B,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC3J,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAED,uDAAuD;IACvD,KAAK,CAAC,KAAK;QACT,OAAO,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,CAAC,KAAK,CAAC;YACjC,IAAI,IAAI,CAAC,QAAQ;gBAAE,MAAM,IAAI,CAAC,QAAQ,CAAC;QACzC,CAAC;IACH,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,OAAO;QACX,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC;YAAE,OAAO;QACpC,IAAI,CAAC,GAAG,CAAC,gBAAgB,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAChH,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,IAAI,CAAC,KAAK,CAAC;IACnB,CAAC;IAED;;;;;;OAMG;IACK,KAAK,CAAC,aAAa;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,0BAA0B,EAAE,CAAC,EAAE,EAAE,CAAC;YACpD,IAAI,IAAI,CAAC,QAAQ;gBAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,yCAAyC;YACjF,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,oBAAoB,EAAE,CAAC;YACjD,IAAI,CAAC,GAAG;gBAAE,OAAO,CAAC,gDAAgD;YAClE,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,IAAI,QAAQ,GAAG,CAAC,GAAG,iBAAiB,GAAG,CAAC,YAAY,QAAQ,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC;YAC/I,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,YAAY,EAAE,CAAC;gBACnD,uEAAuE;gBACvE,qEAAqE;gBACrE,qEAAqE;gBACrE,mEAAmE;gBACnE,oEAAoE;gBACpE,qEAAqE;gBACrE,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,qBAAqB,EAAE,CAAC;gBACpD,IAAI,KAAK;oBAAE,IAAI,CAAC,GAAG,CAAC,kBAAkB,KAAK,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC9F,IAAI,CAAC,sBAAsB,GAAG,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC;gBACxD,IAAI,CAAC,kBAAkB,GAAG,CAAC,CAAC;gBAC5B,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC;gBACrB,OAAO;YACT,CAAC;QACH,CAAC;QACD,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,kBAAkB,IAAI,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC;QACzC,CAAC;QACD,MAAM,GAAG,GAAG,0BAA0B,0BAA0B,mBAAmB,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE,iCAAiC,CAAC;QAC/L,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,yEAAyE;QACzE,kEAAkE;QAClE,IAAI,OAAO,CAAC,GAAG,CAAC,4BAA4B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,8BAA8B,EAAE,CAAC;YAC5F,OAAO,CAAC,KAAK,CAAC,eAAe,GAAG,EAAE,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IAEO,IAAI;QACV,IAAI,CAAC,GAAG,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC7G,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE;aACd,oBAAoB,EAAE;aACtB,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;YACZ,IAAI,CAAC,GAAG,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,IAAI,QAAQ,GAAG,CAAC,GAAG,iBAAiB,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,8BAA8B,QAAQ,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC;YAC/K,sEAAsE;YACtE,qEAAqE;YACrE,mEAAmE;YACnE,oEAAoE;YACpE,kEAAkE;YAClE,kEAAkE;YAClE,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,YAAY,EAAE,CAAC;gBAC1D,IAAI,CAAC,sBAAsB,GAAG,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC;gBACxD,iEAAiE;gBACjE,mEAAmE;gBACnE,kEAAkE;gBAClE,kEAAkE;gBAClE,oEAAoE;gBACpE,uDAAuD;gBACvD,6DAA6D;gBAC7D,mCAAmC;YACrC,CAAC;QACH,CAAC,CAAC;aACD,KAAK,CAAC,GAAG,EAAE,GAAqB,CAAC,CAAC;aAClC,OAAO,CAAC,GAAG,EAAE;YACZ,IAAI,IAAI,CAAC,QAAQ,KAAK,CAAC;gBAAE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QAChD,CAAC,CAAC,CAAC;QACL,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC;IACpB,CAAC;CACF;AAlND,gDAkNC"}
+{"version":3,"file":"wal-valve.js","sourceRoot":"","sources":["../../src/db/wal-valve.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;;;AAuCH,8CAcC;AAjDD;;;;GAIG;AACH,MAAa,kBAAmB,SAAQ,KAAK;IAClC,IAAI,GAAG,iBAA0B,CAAC;IAClC,QAAQ,CAAS;IACjB,YAAY,CAAS;IACrB,SAAS,CAAS;IAE3B,YAAY,OAAe,EAAE,KAAoE;QAC/F,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;QACjC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;QAC/B,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC;QACvC,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IACnC,CAAC;CACF;AAbD,gDAaC;AAED,qFAAqF;AACrF,MAAM,oBAAoB,GAAG,GAAG,CAAC;AACjC,uFAAuF;AACvF,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAC9B,qFAAqF;AACrF,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAC9B,gGAAgG;AAChG,MAAM,0BAA0B,GAAG,EAAE,CAAC;AACtC,sDAAsD;AACtD,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAE/B;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,MAA0B,EAAE,WAAoB;IAChF,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,EAAE,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QACzB,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,uEAAuE;IACvE,wEAAwE;IACxE,0EAA0E;IAC1E,yEAAyE;IACzE,wEAAwE;IACxE,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACjD,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,oBAAoB,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACrG,CAAC;IACD,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED,MAAa,kBAAkB;IAsBV;IAEA;IAvBX,KAAK,GAA0C,IAAI,CAAC;IACpD,QAAQ,GAAyB,IAAI,CAAC;IAC9C,uFAAuF;IAC/E,KAAK,GAAyB,IAAI,CAAC;IAC3C;;;;OAIG;IACK,sBAAsB,GAAG,CAAC,CAAC;IAClB,SAAS,CAAS;IAClB,SAAS,CAAS;IAClB,YAAY,CAAS;IAEtC;;;OAGG;IACK,kBAAkB,GAAG,CAAC,CAAC;IAE/B,YACmB,EAAsB,EACvC,SAAiB,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,2BAA2B,CAAC,EAC1D,aAAqB,iBAAiB,EACvD,MAA6B,GAAG,EAAE,GAAE,CAAC;QAHpB,OAAE,GAAF,EAAE,CAAoB;QAEtB,eAAU,GAAV,UAAU,CAA4B;QAGvD,IAAI,CAAC,SAAS,GAAG,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;QACtC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,GAAG,mBAAmB,CAAC;QACtD,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,SAAS,GAAG,mBAAmB,CAAC;QACzD,8EAA8E;QAC9E,yEAAyE;QACzE,yEAAyE;QACzE,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,8BAA8B;YACnD,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;YAC1C,CAAC,CAAC,GAAG,CAAC;IACV,CAAC;IAEgB,GAAG,CAAwB;IAEpC,EAAE,CAAC,CAAS;QAClB,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IAC5C,CAAC;IAED,0FAA0F;IAClF,WAAW;QACjB,OAAO,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,GAAG,IAAI,CAAC,sBAAsB,CAAC;IACjE,CAAC;IAED,+EAA+E;IAC/E,KAAK;QACH,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO;QACvB,sEAAsE;QACtE,uEAAuE;QACvE,kCAAkC;QAClC,IAAI,OAAO,CAAC,GAAG,CAAC,4BAA4B,IAAI,OAAO,CAAC,GAAG,CAAC,8BAA8B,EAAE,CAAC;YAC3F,OAAO,CAAC,KAAK,CAAC,0BAA0B,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/I,CAAC;QACD,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,IAAI,CAAC,GAAG,CAAC,cAAc,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,aAAa,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,WAAW,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YACvL,CAAC;YACD,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACpB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IACvB,CAAC;IAED,6EAA6E;IAC7E,IAAI;QACF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC;IAED,6FAA6F;IAC7F,KAAK;QACH,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACxF,CAAC;IAED;;;;;OAKG;IACH,YAAY;QACV,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC;QAClC,4BAA4B;QAC5B,2EAA2E;QAC3E,uEAAuE;QACvE,sEAAsE;QACtE,uEAAuE;QACvE,8DAA8D;QAC9D,uEAAuE;QACvE,sEAAsE;QACtE,IAAI,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,IAAI,IAAI,CAAC,YAAY;YAAE,OAAO,IAAI,CAAC;QACxG,IAAI,CAAC,GAAG,CAAC,qBAAqB,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,qCAAqC,CAAC,CAAC;QACxJ,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE;YAC7C,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;YAClB,IAAI,CAAC,GAAG,CAAC,+BAA+B,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC3J,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAED,uDAAuD;IACvD,KAAK,CAAC,KAAK;QACT,OAAO,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,CAAC,KAAK,CAAC;YACjC,IAAI,IAAI,CAAC,QAAQ;gBAAE,MAAM,IAAI,CAAC,QAAQ,CAAC;QACzC,CAAC;IACH,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,OAAO;QACX,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC;YAAE,OAAO;QACpC,IAAI,CAAC,GAAG,CAAC,gBAAgB,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAChH,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,IAAI,CAAC,KAAK,CAAC;IACnB,CAAC;IAED;;;;;;;;OAQG;IACK,KAAK,CAAC,aAAa;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,0BAA0B,EAAE,CAAC,EAAE,EAAE,CAAC;YACpD,IAAI,IAAI,CAAC,QAAQ;gBAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,yCAAyC;YACjF,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,oBAAoB,EAAE,CAAC;YACjD,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,uEAAuE;gBACvE,0EAA0E;gBAC1E,MAAM,QAAQ,GAAG,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC;gBAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;gBAClC,IAAI,QAAQ,GAAG,IAAI,CAAC,YAAY,IAAI,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;oBAC5D,MAAM,IAAI,kBAAkB,CAC1B,qEAAqE;wBACnE,QAAQ,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK;wBACrE,0CAA0C,EAC5C,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CACzE,CAAC;gBACJ,CAAC;gBACD,OAAO;YACT,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,IAAI,QAAQ,GAAG,CAAC,GAAG,iBAAiB,GAAG,CAAC,YAAY,QAAQ,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC;YAC/I,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,YAAY,EAAE,CAAC;gBACnD,uEAAuE;gBACvE,qEAAqE;gBACrE,qEAAqE;gBACrE,mEAAmE;gBACnE,oEAAoE;gBACpE,qEAAqE;gBACrE,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,qBAAqB,EAAE,CAAC;gBACpD,IAAI,KAAK;oBAAE,IAAI,CAAC,GAAG,CAAC,kBAAkB,KAAK,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC9F,IAAI,CAAC,sBAAsB,GAAG,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC;gBACxD,IAAI,CAAC,kBAAkB,GAAG,CAAC,CAAC;gBAC5B,OAAO;YACT,CAAC;QACH,CAAC;QACD,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAClC,MAAM,GAAG,GACP,0BAA0B,0BAA0B,UAAU;YAC9D,WAAW,IAAI,CAAC,kBAAkB,kCAAkC;YACpE,QAAQ,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG;YACtD,QAAQ,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;QAC3E,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,yEAAyE;QACzE,kEAAkE;QAClE,IAAI,OAAO,CAAC,GAAG,CAAC,4BAA4B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,8BAA8B,EAAE,CAAC;YAC5F,OAAO,CAAC,KAAK,CAAC,eAAe,GAAG,EAAE,CAAC,CAAC;QACtC,CAAC;QACD,yEAAyE;QACzE,oEAAoE;QACpE,kEAAkE;QAClE,IAAI,QAAQ,GAAG,IAAI,CAAC,YAAY,IAAI,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAC5D,MAAM,IAAI,kBAAkB,CAC1B,4DAA4D;gBAC1D,QAAQ,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI;gBACxD,WAAW,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI;gBAC1E,YAAY,IAAI,CAAC,kBAAkB,8CAA8C;gBACjF,uEAAuE;gBACvE,sFAAsF,EACxF,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CACzE,CAAC;QACJ,CAAC;IACH,CAAC;IAEO,IAAI;QACV,IAAI,CAAC,GAAG,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC7G,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE;aACd,oBAAoB,EAAE;aACtB,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;YACZ,IAAI,CAAC,GAAG,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,IAAI,QAAQ,GAAG,CAAC,GAAG,iBAAiB,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,8BAA8B,QAAQ,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC;YAC/K,sEAAsE;YACtE,qEAAqE;YACrE,mEAAmE;YACnE,oEAAoE;YACpE,kEAAkE;YAClE,kEAAkE;YAClE,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,YAAY,EAAE,CAAC;gBAC1D,IAAI,CAAC,sBAAsB,GAAG,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC;gBACxD,iEAAiE;gBACjE,mEAAmE;gBACnE,kEAAkE;gBAClE,kEAAkE;gBAClE,oEAAoE;gBACpE,uDAAuD;gBACvD,6DAA6D;gBAC7D,mCAAmC;YACrC,CAAC;QACH,CAAC,CAAC;aACD,KAAK,CAAC,GAAG,EAAE,GAAqB,CAAC,CAAC;aAClC,OAAO,CAAC,GAAG,EAAE;YACZ,IAAI,IAAI,CAAC,QAAQ,KAAK,CAAC;gBAAE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QAChD,CAAC,CAAC,CAAC;QACL,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC;IACpB,CAAC;CACF;AA1OD,gDA0OC"}

package/sensor/dist/db/wsl-shared-index.d.ts

@@ -0,0 +1,53 @@
+/**
+ * Windows + WSL sharing one index on a Windows drive (issue #995).
+ *
+ * A repo under `/mnt/<drive>/` can be used from both sides: Windows-native
+ * LatticeSensor and WSL LatticeSensor then open the same `.lattice/sensor/sensor.db`
+ * across the 9p/DrvFs bridge, where SQLite's file locking and its `-shm`
+ * shared memory don't hold between the two OSes. WSL's connection fails with a
+ * bare "disk I/O error" (SQLITE_IOERR). A private WSL index on the same drive
+ * works fine, so a fresh WSL project there already gets its own
+ * `.lattice/sensor-wsl` (`latticeSensorRelativeDirFor`). An index already in `.lattice/sensor` —
+ * built by Windows first, or by WSL before that default — is kept as it is,
+ * and when it fails this way the SQLite adapter rewrites the error into the
+ * `LATTICE_SENSOR_DIR=.lattice/sensor-wsl` instruction instead of letting it reach the
+ * user as an unexplained I/O failure.
+ */
+/**
+ * Is `err` a SQLite I/O error? node:sqlite reports the EXTENDED result code on
+ * `errcode` (SQLITE_IOERR_LOCK = 3850, SQLITE_IOERR_SHMMAP = 5130, ...), whose
+ * low byte is the primary code. An error without one (re-wrapped somewhere
+ * along the way) is matched by SQLite's message for the whole family.
+ */
+export declare function isSqliteIoError(err: unknown): boolean;
+/**
+ * A SQLite I/O error on an index that Windows LatticeSensor most likely shares.
+ * Keeps the original as `cause` and carries its SQLite codes, so a caller that
+ * branches on them sees the same values as before the rewrite.
+ */
+export declare class WslSharedIndexError extends Error {
+    readonly code: unknown;
+    readonly errcode: unknown;
+    readonly errstr: unknown;
+    constructor(original: Error, dataDir: string);
+}
+/**
+ * Inputs that can be overridden in tests so the decision is deterministic
+ * without touching `/proc/version` (see `WatchProbe`).
+ */
+export interface WslSharedIndexProbe {
+    /** Defaults to `detectWsl()` (through `isWslWindowsDrive`). */
+    isWsl?: boolean;
+}
+/**
+ * The error to throw in place of `err`: a {@link WslSharedIndexError} when a
+ * SQLite I/O error hit the default-named index of a project on a Windows drive
+ * under WSL, else `null` (throw `err` unchanged).
+ *
+ * Only the default `.lattice/sensor` counts: it is the directory Windows LatticeSensor
+ * opens too. A WSL that already has its own directory (`.lattice/sensor-wsl`, or
+ * any `LATTICE_SENSOR_DIR`) hit some other I/O failure, and pointing it at
+ * `LATTICE_SENSOR_DIR` would mislead.
+ */
+export declare function toWslSharedIndexError(err: unknown, dbPath: string, probe?: WslSharedIndexProbe): WslSharedIndexError | null;
+//# sourceMappingURL=wsl-shared-index.d.ts.map

package/sensor/dist/db/wsl-shared-index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wsl-shared-index.d.ts","sourceRoot":"","sources":["../../src/db/wsl-shared-index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AASH;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAKrD;AAED;;;;GAIG;AACH,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;gBAEb,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM;CAiB7C;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,+DAA+D;IAC/D,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,OAAO,EACZ,MAAM,EAAE,MAAM,EACd,KAAK,GAAE,mBAAwB,GAC9B,mBAAmB,GAAG,IAAI,CAS5B"}

package/sensor/dist/db/wsl-shared-index.js

@@ -0,0 +1,121 @@
+"use strict";
+/**
+ * Windows + WSL sharing one index on a Windows drive (issue #995).
+ *
+ * A repo under `/mnt/<drive>/` can be used from both sides: Windows-native
+ * LatticeSensor and WSL LatticeSensor then open the same `.lattice/sensor/sensor.db`
+ * across the 9p/DrvFs bridge, where SQLite's file locking and its `-shm`
+ * shared memory don't hold between the two OSes. WSL's connection fails with a
+ * bare "disk I/O error" (SQLITE_IOERR). A private WSL index on the same drive
+ * works fine, so a fresh WSL project there already gets its own
+ * `.lattice/sensor-wsl` (`latticeSensorRelativeDirFor`). An index already in `.lattice/sensor` —
+ * built by Windows first, or by WSL before that default — is kept as it is,
+ * and when it fails this way the SQLite adapter rewrites the error into the
+ * `LATTICE_SENSOR_DIR=.lattice/sensor-wsl` instruction instead of letting it reach the
+ * user as an unexplained I/O failure.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.WslSharedIndexError = void 0;
+exports.isSqliteIoError = isSqliteIoError;
+exports.toWslSharedIndexError = toWslSharedIndexError;
+const path = __importStar(require("path"));
+const directory_1 = require("../directory");
+const watch_policy_1 = require("../sync/watch-policy");
+/** SQLite's primary result code for an I/O failure; extended codes keep it in the low byte. */
+const SQLITE_IOERR = 10;
+/**
+ * Is `err` a SQLite I/O error? node:sqlite reports the EXTENDED result code on
+ * `errcode` (SQLITE_IOERR_LOCK = 3850, SQLITE_IOERR_SHMMAP = 5130, ...), whose
+ * low byte is the primary code. An error without one (re-wrapped somewhere
+ * along the way) is matched by SQLite's message for the whole family.
+ */
+function isSqliteIoError(err) {
+    if (!err || typeof err !== 'object')
+        return false;
+    const { errcode, message } = err;
+    if (typeof errcode === 'number')
+        return (errcode & 0xff) === SQLITE_IOERR;
+    return typeof message === 'string' && /disk I\/O error/i.test(message);
+}
+/**
+ * A SQLite I/O error on an index that Windows LatticeSensor most likely shares.
+ * Keeps the original as `cause` and carries its SQLite codes, so a caller that
+ * branches on them sees the same values as before the rewrite.
+ */
+class WslSharedIndexError extends Error {
+    code;
+    errcode;
+    errstr;
+    constructor(original, dataDir) {
+        super(`${original.message} on the LatticeSensor index at ${dataDir}\n` +
+            "This project is on a Windows drive, where SQLite's file locking doesn't work across " +
+            'the Windows/WSL boundary, so this usually means LatticeSensor on Windows is using the same ' +
+            "index. Windows and WSL can't share one index on a Windows drive; give WSL its own:\n" +
+            `  1. Set LATTICE_SENSOR_DIR=${directory_1.WSL_LATTICE_SENSOR_DIR} in the WSL environment (your shell profile, ` +
+            'or the env of the MCP server your agent starts).\n' +
+            `  2. Run "lattice sensor init" in WSL to build that index. Windows keeps using ${directory_1.DEFAULT_LATTICE_SENSOR_DIR}.`, { cause: original });
+        this.name = 'WslSharedIndexError';
+        const codes = original;
+        this.code = codes.code;
+        this.errcode = codes.errcode;
+        this.errstr = codes.errstr;
+    }
+}
+exports.WslSharedIndexError = WslSharedIndexError;
+/**
+ * The error to throw in place of `err`: a {@link WslSharedIndexError} when a
+ * SQLite I/O error hit the default-named index of a project on a Windows drive
+ * under WSL, else `null` (throw `err` unchanged).
+ *
+ * Only the default `.lattice/sensor` counts: it is the directory Windows LatticeSensor
+ * opens too. A WSL that already has its own directory (`.lattice/sensor-wsl`, or
+ * any `LATTICE_SENSOR_DIR`) hit some other I/O failure, and pointing it at
+ * `LATTICE_SENSOR_DIR` would mislead.
+ */
+function toWslSharedIndexError(err, dbPath, probe = {}) {
+    if (err instanceof WslSharedIndexError)
+        return err;
+    if (!(err instanceof Error) || !isSqliteIoError(err))
+        return null;
+    const dataDir = path.dirname(dbPath);
+    if (path.basename(dataDir) !== directory_1.DEFAULT_LATTICE_SENSOR_DIR)
+        return null;
+    const onWslWindowsDrive = probe.isWsl === undefined
+        ? (0, watch_policy_1.isWslWindowsDrive)(dbPath)
+        : probe.isWsl && (0, watch_policy_1.isWindowsDriveMount)(dbPath);
+    return onWslWindowsDrive ? new WslSharedIndexError(err, dataDir) : null;
+}
+//# sourceMappingURL=wsl-shared-index.js.map

package/sensor/dist/db/wsl-shared-index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wsl-shared-index.js","sourceRoot":"","sources":["../../src/db/wsl-shared-index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;GAcG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAeH,0CAKC;AAkDD,sDAaC;AAjFD,2CAA6B;AAC7B,4CAAkF;AAClF,uDAA8E;AAE9E,+FAA+F;AAC/F,MAAM,YAAY,GAAG,EAAE,CAAC;AAExB;;;;;GAKG;AACH,SAAgB,eAAe,CAAC,GAAY;IAC1C,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAClD,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,GAA+C,CAAC;IAC7E,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,KAAK,YAAY,CAAC;IAC1E,OAAO,OAAO,OAAO,KAAK,QAAQ,IAAI,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACzE,CAAC;AAED;;;;GAIG;AACH,MAAa,mBAAoB,SAAQ,KAAK;IACnC,IAAI,CAAU;IACd,OAAO,CAAU;IACjB,MAAM,CAAU;IAEzB,YAAY,QAAe,EAAE,OAAe;QAC1C,KAAK,CACH,GAAG,QAAQ,CAAC,OAAO,kCAAkC,OAAO,IAAI;YAC9D,sFAAsF;YACtF,6FAA6F;YAC7F,sFAAsF;YACtF,+BAA+B,kCAAsB,+CAA+C;YACpG,oDAAoD;YACpD,kFAAkF,sCAA0B,GAAG,EACjH,EAAE,KAAK,EAAE,QAAQ,EAAE,CACpB,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;QAClC,MAAM,KAAK,GAAG,QAA2E,CAAC;QAC1F,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;QAC7B,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC7B,CAAC;CACF;AAtBD,kDAsBC;AAWD;;;;;;;;;GASG;AACH,SAAgB,qBAAqB,CACnC,GAAY,EACZ,MAAc,EACd,QAA6B,EAAE;IAE/B,IAAI,GAAG,YAAY,mBAAmB;QAAE,OAAO,GAAG,CAAC;IACnD,IAAI,CAAC,CAAC,GAAG,YAAY,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,sCAA0B;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,iBAAiB,GAAG,KAAK,CAAC,KAAK,KAAK,SAAS;QACjD,CAAC,CAAC,IAAA,gCAAiB,EAAC,MAAM,CAAC;QAC3B,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,IAAA,kCAAmB,EAAC,MAAM,CAAC,CAAC;IAC/C,OAAO,iBAAiB,CAAC,CAAC,CAAC,IAAI,mBAAmB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1E,CAAC"}