mixdog 0.7.17 → 0.8.0

package/src/runtime/memory/lib/core-memory-store.mjs

@@ -0,0 +1,336 @@
+const __mixdogMemoryStderrWrite = process.stderr.write.bind(process.stderr);
+function __mixdogMemoryLog(...args) {
+  if (process.env.MIXDOG_QUIET_MEMORY_LOG) return true;
+  return __mixdogMemoryStderrWrite(...args);
+}
+
+// User-curated core memory store — native PG-backed via core_entries table.
+// Per-project entries distinguished by project_id column (NULL = COMMON).
+// addCore / editCore generate an embedding for each row and run a cosine-sim
+// lookup against existing rows in the same project pool: candidates at or
+// above SIM_RECALL go through an LLM "merge or distinct" judge — only the
+// LLM's verdict, not the embedding score, decides whether the prior row is
+// superseded in place. Below the threshold the row is INSERTed fresh.
+// cycle2 reads core_entries via the {{USER_CORE}} prompt slot to avoid
+// re-promoting entries that already overlap a user-curated row.
+
+import { getDatabase, embeddingToSql } from './memory.mjs'
+import { cachedEmbedTextBatch } from './memory-embed.mjs'
+import { callBridgeLlm } from './agent-ipc.mjs'
+import { resolveMaintenancePreset } from '../../shared/llm/index.mjs'
+import { checkedConnect } from './pg/adapter.mjs'
+
+const VALID_CAT = new Set([
+  'rule', 'constraint', 'decision', 'fact', 'goal', 'preference', 'task', 'issue',
+])
+
+// Embedding sim threshold for surfacing a candidate to the LLM judge. Wider
+// than cycle2's tier-1 (0.78) on purpose: LLM verdict is authoritative so
+// the recall side can afford broader recall.
+const SIM_RECALL = 0.65
+const CORE_DEDUP_TOP_K = 5
+
+export const CORE_SUMMARY_MAX = 120
+
+function trimOrNull(v) {
+  if (v == null) return null
+  const s = String(v).trim()
+  return s === '' ? null : s
+}
+
+function _getDb(dataDir) {
+  if (!dataDir) throw new Error('core-memory: dataDir required')
+  const db = getDatabase(dataDir)
+  if (!db) throw new Error('core-memory: database not open — call openDatabase first')
+  return db
+}
+
+async function _embedFor(db, element, summary) {
+  const text = `${element}\n${summary || ''}`.trim()
+  if (!text) return null
+  const [vec] = await cachedEmbedTextBatch(db, [text])
+  return Array.isArray(vec) ? vec : null
+}
+
+// Lazy repair of NULL embeddings on existing rows. Runs once per boot or
+// whenever a NULL slips back in via direct SQL. SELECT WHERE embedding IS NULL
+// returns 0 rows on a fully-populated table, so this is a fast no-op.
+function throwIfAborted(signal) {
+  if (signal?.aborted) throw signal.reason ?? new Error('aborted')
+}
+
+async function _backfillNullEmbeddings(db, options = {}) {
+  const signal = options?.signal
+  throwIfAborted(signal)
+  const r = await db.query(`SELECT id, element, summary FROM core_entries WHERE embedding IS NULL`)
+  if (r.rows.length === 0) return 0
+  let filled = 0
+  for (const row of r.rows) {
+    throwIfAborted(signal)
+    const vec = await _embedFor(db, row.element, row.summary)
+    throwIfAborted(signal)
+    if (!vec) continue
+    await db.query(
+      `UPDATE core_entries SET embedding = $1::halfvec WHERE id = $2 AND embedding IS NULL`,
+      [embeddingToSql(vec), row.id],
+    )
+    filled++
+  }
+  if (filled > 0) {
+    __mixdogMemoryLog(`[core-memory] backfilled ${filled} NULL embedding(s) on core_entries\n`)
+  }
+  return filled
+}
+
+export async function backfillCoreEmbeddings(dataDir, options = {}) {
+  const db = _getDb(dataDir)
+  return await _backfillNullEmbeddings(db, options)
+}
+
+// Boot-time invariant restoration: core_entries.id must always be the
+// contiguous sequence 1..N. SERIAL only ever increments, so deleting a row
+// leaves a permanent gap (e.g. 1,2,4,5 after deleting 3). This closes those
+// gaps by resequencing every row globally (across all project_id pools) to
+// 1..N in id order, then realigns the serial so the next INSERT continues from
+// N+1. Deterministic invariant restore — no heuristic, no fallback branch.
+export async function compactCoreIds(dataDir) {
+  const db = _getDb(dataDir)
+  // Fast no-op guard: a contiguous 1..N table has COUNT == MAX(id). This also
+  // covers the empty table (n=0, mx=0) — return before any write.
+  const g = await db.query(`SELECT COUNT(*) AS n, COALESCE(MAX(id),0) AS mx FROM core_entries`)
+  const n = Number(g.rows[0].n)
+  const mx = Number(g.rows[0].mx)
+  if (n === mx) return 0
+
+  // BEGIN transaction on ONE checked-out client — the pool wrapper db.query
+  // releases the client per call, so BEGIN/COMMIT must run on one client
+  // (same pattern as addCore).
+  const client = await checkedConnect(db._pool, 'memory')
+  try {
+    await client.query('BEGIN')
+    // (a) Vacate the low range so shifted ids can't collide with the 1..N
+    // target. Offset by current MAX(id): every id becomes id+mx, which is
+    // strictly greater than N (N <= mx), so the resequence below is safe.
+    await client.query(`UPDATE core_entries SET id = id + $1`, [mx])
+    // (b) Resequence ALL rows globally to 1..N preserving id order.
+    await client.query(`
+      WITH ordered AS (
+        SELECT id, ROW_NUMBER() OVER (ORDER BY id) AS rn FROM core_entries
+      )
+      UPDATE core_entries c SET id = o.rn FROM ordered o WHERE c.id = o.id`)
+    // (c) Realign the serial so the next INSERT continues from N+1. Guarded by
+    // the n===mx return above, so MAX(id) is always > 0 here — setval(...,0,true)
+    // is invalid and is never reached.
+    await client.query(
+      `SELECT setval(pg_get_serial_sequence('core_entries','id'),
+         (SELECT COALESCE(MAX(id),0) FROM core_entries), true)`)
+    await client.query('COMMIT')
+  } catch (err) {
+    try { await client.query('ROLLBACK') } catch {}
+    throw err
+  } finally {
+    client.release()
+  }
+  __mixdogMemoryLog(`[core-memory] compacted ${n} core id(s)\n`)
+  return n
+}
+
+async function _findTopKCore(db, projectId, embedding, excludeId, { forUpdate = false } = {}) {
+  if (!embedding) return []
+  const exclusion = excludeId == null ? '' : 'AND id != $3'
+  const sql = `
+    SELECT id, element, summary, category, 1 - (embedding <=> $1::halfvec) AS sim
+    FROM core_entries
+    WHERE embedding IS NOT NULL
+      AND project_id IS NOT DISTINCT FROM $2
+      ${exclusion}
+    ORDER BY embedding <=> $1::halfvec
+    LIMIT ${CORE_DEDUP_TOP_K}${forUpdate ? ' FOR UPDATE' : ''}`
+  const params = excludeId == null
+    ? [embeddingToSql(embedding), projectId]
+    : [embeddingToSql(embedding), projectId, excludeId]
+  const r = await db.query(sql, params)
+  return r.rows.filter(row => Number(row.sim) >= SIM_RECALL)
+}
+
+async function _resolveMergeTarget(candidates, incoming) {
+  for (const c of candidates) {
+    if (await _llmJudgeMerge(c, incoming)) return c
+  }
+  return null
+}
+
+// LLM judge for "is this incoming entry a restatement of the existing one?"
+// One-word reply: merge | distinct. Errors fall back to distinct so a flaky
+// LLM never silently absorbs a fresh registration into an unrelated row.
+async function _llmJudgeMerge(existing, incoming) {
+  const prompt =
+    `Two user-curated core memory entries below. Are they restating the same rule, fact, or preference (just different wording)? Reply ONE WORD: merge or distinct.\n\n` +
+    `EXISTING: ${existing.element} — ${String(existing.summary || '')}\n` +
+    `INCOMING: ${incoming.element} — ${String(incoming.summary || '')}`
+  try {
+    const raw = await callBridgeLlm({
+      role: 'cycle2-agent',
+      taskType: 'maintenance',
+      mode: 'core-merge-judge',
+      preset: resolveMaintenancePreset('memory'),
+      timeout: 30_000,
+      cwd: null,
+    }, prompt)
+    return String(raw ?? '').trim().toLowerCase().startsWith('merge')
+  } catch (err) {
+    __mixdogMemoryLog(`[core-memory] LLM merge judge failed: ${err.message}\n`)
+    return false
+  }
+}
+
+export async function listCore(dataDir, projectId = null) {
+  const db = _getDb(dataDir)
+  const cols = `id, element, summary, category, project_id, created_at, updated_at`
+  if (projectId === '*') {
+    const r = await db.query(`SELECT ${cols} FROM core_entries ORDER BY project_id NULLS FIRST, id ASC`)
+    return r.rows
+  }
+  if (projectId === null) {
+    const r = await db.query(`SELECT ${cols} FROM core_entries WHERE project_id IS NULL ORDER BY id ASC`)
+    return r.rows
+  }
+  const r = await db.query(`SELECT ${cols} FROM core_entries WHERE project_id = $1 ORDER BY id ASC`, [projectId])
+  return r.rows
+}
+
+export async function addCore(dataDir, { element, summary, category }, projectId) {
+  if (projectId === undefined) throw new Error('addCore: projectId required — pass null for COMMON pool, or slug string for scoped pool')
+  const el = trimOrNull(element)
+  const sm = trimOrNull(summary) ?? el
+  if (!el || !sm) throw new Error('add requires element and summary')
+  if (sm.length > CORE_SUMMARY_MAX) {
+    throw new Error(`core summary too long (${sm.length} chars, max ${CORE_SUMMARY_MAX}) — core memory must be 1 fact in 1-2 sentences; procedures, multi-step, or code belong in recap or docs. Compress and retry.`)
+  }
+  const cat = (trimOrNull(category) ?? 'fact').toLowerCase()
+  if (!VALID_CAT.has(cat)) {
+    throw new Error(`invalid category "${cat}". Valid: ${[...VALID_CAT].join(', ')}`)
+  }
+  const db = _getDb(dataDir)
+  const now = Date.now()
+  await _backfillNullEmbeddings(db)
+  const embedding = await _embedFor(db, el, sm)
+
+  const client = await checkedConnect(db._pool, 'memory')
+  try {
+    await client.query('BEGIN')
+    await client.query(`SET LOCAL lock_timeout = '5s'`)
+    const poolKey = `core:${projectId == null ? 'COMMON' : projectId}`
+    await client.query(`SELECT pg_advisory_xact_lock(hashtext($1))`, [poolKey])
+    const candidates = await _findTopKCore(client, projectId, embedding, null, { forUpdate: true })
+    const mergeTarget = await _resolveMergeTarget(candidates, { element: el, summary: sm })
+    if (mergeTarget) {
+      const r = await client.query(
+        `UPDATE core_entries
+         SET element = $1, summary = $2, category = $3, embedding = $4::halfvec, updated_at = $5
+         WHERE id = $6
+         RETURNING id, element, summary, category, project_id, created_at, updated_at`,
+        [el, sm, cat, embedding ? embeddingToSql(embedding) : null, now, mergeTarget.id],
+      )
+      await client.query('COMMIT')
+      const row = r.rows[0]
+      return { ...row, merged_with: mergeTarget.id, sim: Number(mergeTarget.sim).toFixed(3) }
+    }
+    let r
+    try {
+      r = await client.query(
+        `INSERT INTO core_entries(element, summary, category, project_id, embedding, created_at, updated_at)
+         VALUES ($1, $2, $3, $4, $5::halfvec, $6, $7)
+         RETURNING id, element, summary, category, project_id, created_at, updated_at`,
+        [el, sm, cat, projectId, embedding ? embeddingToSql(embedding) : null, now, now],
+      )
+    } catch (err) {
+      if (err.code === '23505') {
+        throw new Error(`core entry already exists: project=${projectId ?? 'COMMON'} element=${JSON.stringify(el.slice(0, 200))}`)
+      }
+      throw err
+    }
+    await client.query('COMMIT')
+    return r.rows[0]
+  } catch (err) {
+    try { await client.query('ROLLBACK') } catch {}
+    throw err
+  } finally {
+    client.release()
+  }
+}
+
+export async function editCore(dataDir, id, patch) {
+  const numId = Number(id)
+  if (!Number.isInteger(numId) || numId <= 0) throw new Error('integer id > 0 required')
+  const db = _getDb(dataDir)
+  const cur = (await db.query(`SELECT * FROM core_entries WHERE id = $1`, [numId])).rows[0]
+  if (!cur) throw new Error(`no entry with id=${numId}`)
+  const newElement = trimOrNull(patch.element) ?? cur.element
+  const newSummary = trimOrNull(patch.summary) ?? cur.summary
+  const newCategoryRaw = trimOrNull(patch.category)
+  const newCategory = newCategoryRaw ? newCategoryRaw.toLowerCase() : cur.category
+  if (!VALID_CAT.has(newCategory)) {
+    throw new Error(`invalid category "${newCategory}". Valid: ${[...VALID_CAT].join(', ')}`)
+  }
+  if (newElement === cur.element && newSummary === cur.summary && newCategory === cur.category) {
+    throw new Error('no change')
+  }
+  if (newSummary && newSummary.length > CORE_SUMMARY_MAX) {
+    throw new Error(`core summary too long (${newSummary.length} chars, max ${CORE_SUMMARY_MAX}) — core memory must be 1 fact in 1-2 sentences; procedures, multi-step, or code belong in recap or docs. Compress and retry.`)
+  }
+  const now = Date.now()
+  const textChanged = newElement !== cur.element || newSummary !== cur.summary
+  if (!textChanged) {
+    await db.query(
+      `UPDATE core_entries SET category = $1, updated_at = $2 WHERE id = $3`,
+      [newCategory, now, numId],
+    )
+    return { ...cur, element: newElement, summary: newSummary, category: newCategory, updated_at: now }
+  }
+
+  await _backfillNullEmbeddings(db)
+  const embedding = await _embedFor(db, newElement, newSummary)
+  const client = await checkedConnect(db._pool, 'memory')
+  try {
+    await client.query('BEGIN')
+    await client.query(`SET LOCAL lock_timeout = '5s'`)
+    const poolKey = `core:${cur.project_id == null ? 'COMMON' : cur.project_id}`
+    await client.query(`SELECT pg_advisory_xact_lock(hashtext($1))`, [poolKey])
+    const candidates = await _findTopKCore(client, cur.project_id, embedding, numId, { forUpdate: true })
+    const mergeTarget = await _resolveMergeTarget(candidates, { element: newElement, summary: newSummary })
+    if (mergeTarget) {
+      const r = await client.query(
+        `UPDATE core_entries
+         SET element = $1, summary = $2, category = $3, embedding = $4::halfvec, updated_at = $5
+         WHERE id = $6
+         RETURNING id, element, summary, category, project_id, created_at, updated_at`,
+        [newElement, newSummary, newCategory, embedding ? embeddingToSql(embedding) : null, now, mergeTarget.id],
+      )
+      await client.query(`DELETE FROM core_entries WHERE id = $1`, [numId])
+      await client.query('COMMIT')
+      const row = r.rows[0]
+      return { ...row, merged_from: numId, merged_with: mergeTarget.id, sim: Number(mergeTarget.sim).toFixed(3) }
+    }
+    await client.query(
+      `UPDATE core_entries SET element = $1, summary = $2, category = $3, embedding = $4::halfvec, updated_at = $5 WHERE id = $6`,
+      [newElement, newSummary, newCategory, embedding ? embeddingToSql(embedding) : null, now, numId],
+    )
+    await client.query('COMMIT')
+    return { ...cur, element: newElement, summary: newSummary, category: newCategory, updated_at: now }
+  } catch (err) {
+    try { await client.query('ROLLBACK') } catch {}
+    throw err
+  } finally {
+    client.release()
+  }
+}
+
+export async function deleteCore(dataDir, id) {
+  const numId = Number(id)
+  if (!Number.isInteger(numId) || numId <= 0) throw new Error('integer id > 0 required')
+  const db = _getDb(dataDir)
+  const r = await db.query(`DELETE FROM core_entries WHERE id = $1 RETURNING *`, [numId])
+  if (r.rows.length === 0) throw new Error(`no entry with id=${numId}`)
+  return r.rows[0]
+}

package/src/runtime/memory/lib/embedding-provider.mjs

@@ -0,0 +1,275 @@
+const __mixdogMemoryStderrWrite = process.stderr.write.bind(process.stderr);
+function __mixdogMemoryLog(...args) {
+  if (process.env.MIXDOG_QUIET_MEMORY_LOG) return true;
+  return __mixdogMemoryStderrWrite(...args);
+}
+
+/**
+ * embedding-provider.mjs — Embedding provider with worker_threads isolation.
+ */
+
+import { Worker } from 'worker_threads'
+import { join } from 'path'
+import { fileURLToPath } from 'url'
+import { writeProfilePoint } from './model-profile.mjs'
+
+const MODEL_ID = 'Xenova/bge-m3'
+
+// Static dims registry — bypasses first-boot measurement for registered models.
+// Validated against measured dims inside warmupEmbeddingProvider; mismatch throws.
+const KNOWN_MODEL_DIMS = { 'Xenova/bge-m3': 1024 }
+
+let worker = null
+let _restartCount = 0
+let _lastRestartMs = 0
+const MAX_RESTART_BACKOFF_MS = 30_000
+let cachedDims = null
+let _modelReady = false
+let _device = 'cpu'
+let _embedCallCount = 0
+let _msgId = 0
+const _pending = new Map()
+const EMBED_STEADY_SAMPLE_EVERY = 20
+const queryEmbeddingCache = new Map()
+const QUERY_EMBEDDING_CACHE_LIMIT = 1000
+
+const WORKER_PATH = join(fileURLToPath(import.meta.url), '..', 'embedding-worker.mjs')
+
+function cacheEmbedding(key, vector) {
+  if (queryEmbeddingCache.has(key)) queryEmbeddingCache.delete(key)
+  queryEmbeddingCache.set(key, vector)
+  if (queryEmbeddingCache.size > QUERY_EMBEDDING_CACHE_LIMIT) {
+    const oldestKey = queryEmbeddingCache.keys().next().value
+    if (oldestKey) queryEmbeddingCache.delete(oldestKey)
+  }
+}
+
+function getCachedEmbedding(key) {
+  if (!queryEmbeddingCache.has(key)) return null
+  const value = queryEmbeddingCache.get(key)
+  queryEmbeddingCache.delete(key)
+  queryEmbeddingCache.set(key, value)
+  return value
+}
+
+function ensureWorker() {
+  if (worker) return worker
+  const now = Date.now()
+  if (_restartCount > 0) {
+    const backoffMs = Math.min(1000 * Math.pow(2, _restartCount - 1), MAX_RESTART_BACKOFF_MS)
+    const elapsed = now - _lastRestartMs
+    if (elapsed < backoffMs) {
+      throw new Error(`embed worker in restart backoff (${Math.ceil((backoffMs - elapsed) / 1000)}s remaining)`)
+    }
+  }
+  _lastRestartMs = now
+  const execArgv = process.execArgv.filter((arg) => !String(arg).startsWith('--input-type'))
+  worker = new Worker(WORKER_PATH, { env: { ...process.env }, execArgv })
+  worker.on('message', (msg) => {
+    if (msg.type === 'profile') {
+      writeProfilePoint(msg.record)
+      return
+    }
+    if (msg.type === 'idle-dispose') {
+      cachedDims = null
+      _modelReady = false
+      _device = 'cpu'
+      __mixdogMemoryLog('[embed] idle timeout — model disposed\n')
+      writeProfilePoint({ phase: 'post-idle', model: MODEL_ID, device: msg.device, dtype: msg.dtype, note: 'idle dispose' })
+      return
+    }
+    const pending = _pending.get(msg.id)
+    if (!pending) return
+    _pending.delete(msg.id)
+    if (msg.type === 'error') {
+      pending.reject(new Error(msg.message))
+    } else {
+      pending.resolve(msg)
+    }
+  })
+  worker.on('error', (err) => {
+    __mixdogMemoryLog(`[embed] worker error: ${err?.message || err}\n`)
+    for (const [, p] of _pending) p.reject(err)
+    _pending.clear()
+    worker = null
+    _modelReady = false
+    _restartCount++
+  })
+  worker.on('exit', (code) => {
+    if (code !== 0) {
+      __mixdogMemoryLog(`[embed] worker exited with code ${code}\n`)
+      for (const [, p] of _pending) p.reject(new Error(`Worker exited with code ${code}`))
+      _pending.clear()
+      _restartCount++
+    } else {
+      _restartCount = 0
+    }
+    worker = null
+    _modelReady = false
+  })
+  return worker
+}
+
+const EMBED_WORKER_TIMEOUT_MS = 60_000
+
+function sendToWorker(action, extra = {}, timeoutMs = EMBED_WORKER_TIMEOUT_MS) {
+  const w = ensureWorker()
+  const id = ++_msgId
+  return new Promise((resolve, reject) => {
+    const timer = setTimeout(() => {
+      _pending.delete(id)
+      __mixdogMemoryLog(`[embed] worker ${action} timed out — terminating worker\n`)
+      if (worker) {
+        const stuck = worker
+        worker = null
+        _restartCount++
+        stuck.terminate().catch(() => {})
+      }
+      reject(new Error(`embed worker ${action} timed out after ${timeoutMs}ms`))
+    }, timeoutMs)
+    _pending.set(id, {
+      resolve: (v) => { clearTimeout(timer); resolve(v) },
+      reject: (e) => { clearTimeout(timer); reject(e) },
+    })
+    try {
+      w.postMessage({ id, action, ...extra })
+    } catch (postErr) {
+      clearTimeout(timer)
+      _pending.delete(id)
+      reject(postErr)
+    }
+  })
+}
+
+export function configureEmbedding(config = {}) {
+  cachedDims = null
+  _modelReady = false
+  _device = 'cpu'
+  queryEmbeddingCache.clear()
+  if (worker) {
+    sendToWorker('configure', { dtype: config.dtype }).catch((err) => {
+      // Silent .catch hid worker reconfigure failures (dtype mismatch,
+      // worker crash, IPC closed). At least one log line so cycle1 /
+      // cycle2 root-cause investigation can see the upstream failure
+      // instead of just the downstream `db write failed`.
+      __mixdogMemoryLog(`[embed] worker configure failed: ${err?.message || err}\n`)
+    })
+  }
+}
+
+export function primeEmbeddingDims(dims) {
+  const n = Number(dims)
+  if (Number.isFinite(n) && n > 0) cachedDims = n
+}
+
+export function getEmbeddingModelId() {
+  return MODEL_ID
+}
+
+export function getKnownDimsForCurrentModel() {
+  return KNOWN_MODEL_DIMS[MODEL_ID] ?? null
+}
+
+export function getEmbeddingDims() {
+  if (!cachedDims) throw new Error('embedding dims not yet measured — warmup required')
+  return cachedDims
+}
+
+export async function warmupEmbeddingProvider() {
+  if (_modelReady && cachedDims) return true
+  const result = await sendToWorker('warmup')
+  if (!result.dims) throw new Error('warmup returned no dims — model output missing')
+  const known = KNOWN_MODEL_DIMS[MODEL_ID]
+  if (known != null && known !== result.dims) {
+    throw new Error(
+      `embedding dims invariant violation: model=${MODEL_ID} expected=${known} measured=${result.dims}`,
+    )
+  }
+  cachedDims = result.dims
+  _modelReady = true
+  _device = result.device || 'cpu'
+  return true
+}
+
+export async function embedText(text) {
+  const clean = String(text ?? '').trim()
+  if (!clean) return []
+  const cacheKey = `${MODEL_ID}\n${clean}`
+  const cached = getCachedEmbedding(cacheKey)
+  if (cached) return [...cached]
+
+  const result = await sendToWorker('embed', { text: clean })
+  if (!result.dims) throw new Error(`embed result missing dims (model=${MODEL_ID})`)
+  const resultDims = result.dims
+  if (cachedDims && resultDims !== cachedDims) {
+    throw new Error(`embed vector dims mismatch: expected ${cachedDims}, got ${resultDims}`)
+  }
+  cachedDims = resultDims
+  _modelReady = true
+  _device = result.device || 'cpu'
+  const vector = result.vector
+  if (!Array.isArray(vector) || vector.length !== cachedDims) {
+    throw new Error(`embed vector length mismatch: expected ${cachedDims}, got ${vector?.length}`)
+  }
+  cacheEmbedding(cacheKey, vector)
+  _embedCallCount++
+  if (_embedCallCount % EMBED_STEADY_SAMPLE_EVERY === 0) {
+    writeProfilePoint({
+      phase: 'steady',
+      model: MODEL_ID,
+      device: _device,
+      dtype: result.dtype,
+      wallMs: result.wallMs,
+      note: `sample@${_embedCallCount}`,
+    })
+  }
+  return vector
+}
+
+/**
+ * Batch variant of embedText. Pre-warms the per-query cache so subsequent
+ * single-text calls hit instantly. Invariant-preserving: each cached entry
+ * follows the same MODEL_ID-keyed format as embedText, so cache hits look
+ * identical regardless of whether the vector was originally produced via
+ * single or batch path. Worker still serializes the single ONNX run, but
+ * one batched run replaces N sequential runs.
+ */
+export async function embedTexts(texts) {
+  if (!Array.isArray(texts)) throw new Error('embedTexts requires an array')
+  const cleaned = texts.map(t => String(t ?? '').trim())
+  const missing = []
+  for (const t of cleaned) {
+    if (!t) continue
+    const key = `${MODEL_ID}\n${t}`
+    if (!queryEmbeddingCache.has(key)) missing.push(t)
+  }
+  if (missing.length === 0) return cleaned.map(t => {
+    if (!t) return []
+    return [...queryEmbeddingCache.get(`${MODEL_ID}\n${t}`)]
+  })
+  const result = await sendToWorker('embed-batch', { texts: missing })
+  if (!result.dims) throw new Error(`embed-batch result missing dims (model=${MODEL_ID})`)
+  const resultDims = result.dims
+  if (cachedDims && resultDims !== cachedDims) {
+    throw new Error(`embed-batch vector dims mismatch: expected ${cachedDims}, got ${resultDims}`)
+  }
+  cachedDims = resultDims
+  _modelReady = true
+  _device = result.device || _device
+  if (!Array.isArray(result.vectors) || result.vectors.length !== missing.length) {
+    throw new Error(`embed-batch vectors count mismatch: expected ${missing.length}, got ${result.vectors?.length}`)
+  }
+  for (let i = 0; i < missing.length; i++) {
+    const vec = result.vectors[i]
+    if (!Array.isArray(vec) || vec.length !== cachedDims) {
+      throw new Error(`embed-batch vector length mismatch at idx ${i}: expected ${cachedDims}, got ${vec?.length}`)
+    }
+    cacheEmbedding(`${MODEL_ID}\n${missing[i]}`, vec)
+  }
+  _embedCallCount += missing.length
+  return cleaned.map(t => {
+    if (!t) return []
+    const cached = queryEmbeddingCache.get(`${MODEL_ID}\n${t}`)
+    return cached ? [...cached] : []
+  })
+}