nlm-memory 0.20.0 → 0.21.0

package/dist/core/integrity/check-invariants.js

@@ -13,9 +13,29 @@
  *       'replaces' edges (BFS, depth-capped at 100)
  *   I4  every session_edges endpoint exists in sessions
  *   I5  at most one active fact per (subject, predicate); every superseded_by
- *       references an existing facts.id
+ *       references an existing facts.id; superseded_by forms no cycle (I5c)
  *   I6  every non-null adapter_state.session_id references a sessions.id
+ *   I7  every fact_embeddings row has a live (active, non-retired) parent fact
+ *   I7b chunk-level ghost: every session_embedding_chunks row has a map entry
+ *       (I7b-1); every session_chunk_map row references an existing session
+ *       (I7b-2)
  */
+// Multi-valued predicates legitimately hold parallel active facts (e.g.
+// nlm-memory|stack = TypeScript AND SQLite, both simultaneously true).
+// Force-superseding one copy would destroy a true fact, which is the
+// #351-bug-3 trap. I5a skips subject|predicate groups whose predicate is
+// in this set and instead reports them as an informational count under
+// the id "I5a-mv". Entries MUST be members of PREDICATE_VOCABULARY
+// (src/core/classifier/prompt.ts): predicates are coerced to that closed
+// vocab before facts are written, so any other token here is inert. Add
+// predicates only when parallelism is a domain invariant, not when the
+// classifier merely failed to supersede (#358).
+const MULTI_VALUED_PREDICATES = new Set([
+    "stack",
+    "integration",
+    "dependency",
+]);
+const MV_IN = [...MULTI_VALUED_PREDICATES].map((p) => `'${p}'`).join(", ");
 // ─── SQL strings (portable) ──────────────────────────────────────────────────
 const SQL_I1 = `
   SELECT from_session AS bad_id
@@ -58,10 +78,23 @@ const SQL_I4_MISSING_TO = `
 // One row per conflicting (subject, predicate) group — the count is the number
 // of conflicts to resolve, not the number of facts involved. MIN(id) keeps the
 // projection aggregate-only so PostgreSQL's GROUP BY strictness accepts it.
+// Multi-valued predicates are excluded here; they are counted by SQL_I5A_MULTI_VALUED.
 const SQL_I5_DUPLICATE_FACTS = `
   SELECT MIN(id) AS bad_id
   FROM facts
-  WHERE superseded_by IS NULL
+  WHERE superseded_by IS NULL AND retired_at IS NULL
+    AND predicate NOT IN (${MV_IN})
+  GROUP BY subject, predicate
+  HAVING COUNT(*) > 1
+  LIMIT 6
+`;
+// One row per (subject, predicate) group in the multi-valued exemption set that
+// holds more than one active fact. Count drives the informational I5a-mv report.
+const SQL_I5A_MULTI_VALUED = `
+  SELECT MIN(id) AS bad_id
+  FROM facts
+  WHERE superseded_by IS NULL AND retired_at IS NULL
+    AND predicate IN (${MV_IN})
   GROUP BY subject, predicate
   HAVING COUNT(*) > 1
   LIMIT 6
@@ -80,6 +113,67 @@ const SQL_I6 = `
     AND NOT EXISTS (SELECT 1 FROM sessions s WHERE s.id = a.session_id)
   LIMIT 6
 `;
+// An embedding row must have a live (active, non-retired) parent fact.
+// Superseded/retired facts leave the ANN index at write time (ingest collapse,
+// markSuperseded, retire, session cascade); a row here means a write path
+// skipped cleanup; the NLM #351 orphan class.
+//
+// SQLite: fact_embeddings is a vec0 virtual table; its shadow rowids table
+// (fact_embeddings_rowids, column: id) supports standard LEFT JOIN.
+const SQL_I7_GHOST_SQLITE = `
+  SELECT r.id AS bad_id
+  FROM fact_embeddings_rowids r
+  LEFT JOIN facts f ON f.id = r.id
+  WHERE f.id IS NULL OR f.superseded_by IS NOT NULL OR f.retired_at IS NOT NULL
+  LIMIT 6
+`;
+// PG: fact_embeddings is a regular table with fact_id as PK; the FK ON DELETE
+// CASCADE means f.id IS NULL cannot occur, but the condition is kept symmetric.
+const SQL_I7_GHOST_PG = `
+  SELECT fe.fact_id AS bad_id
+  FROM fact_embeddings fe
+  LEFT JOIN facts f ON f.id = fe.fact_id
+  WHERE f.id IS NULL OR f.superseded_by IS NOT NULL OR f.retired_at IS NOT NULL
+  LIMIT 6
+`;
+// I7b-1: chunk vectors with no map row (vec0 has no FK; interrupted deletes
+// orphan here). Uses the session_embedding_chunks_rowids shadow table for
+// full-scan access: vec0 tables do not support unfiltered SELECT without a
+// KNN predicate. For INTEGER PK vec0 tables the shadow column is chunk_id
+// (not id, which is null for non-text PKs).
+const SQL_I7B_1_GHOST_SQLITE = `
+  SELECT CAST(r.chunk_id AS TEXT) AS bad_id
+  FROM session_embedding_chunks_rowids r
+  LEFT JOIN session_chunk_map m ON m.chunk_id = r.chunk_id
+  WHERE m.chunk_id IS NULL
+  LIMIT 6
+`;
+// I7b-2: map rows pointing at missing sessions (SQLite; FK ON DELETE CASCADE
+// fires in normal operation but vec0 deletes are not atomic with the map).
+const SQL_I7B_2_ORPHAN_MAP_SQLITE = `
+  SELECT m.session_id AS bad_id
+  FROM session_chunk_map m
+  LEFT JOIN sessions s ON s.id = m.session_id
+  WHERE s.id IS NULL
+  LIMIT 6
+`;
+// PG: session_embedding_chunks.session_id and session_chunk_map both carry
+// FK ON DELETE CASCADE to sessions; both checks are FK-impossible in practice
+// and land as regression guards.
+const SQL_I7B_1_GHOST_PG = `
+  SELECT CAST(c.chunk_id AS TEXT) AS bad_id
+  FROM session_embedding_chunks c
+  LEFT JOIN session_chunk_map m ON m.chunk_id = c.chunk_id
+  WHERE m.chunk_id IS NULL
+  LIMIT 6
+`;
+const SQL_I7B_2_ORPHAN_MAP_PG = `
+  SELECT m.session_id AS bad_id
+  FROM session_chunk_map m
+  LEFT JOIN sessions s ON s.id = m.session_id
+  WHERE s.id IS NULL
+  LIMIT 6
+`;
 const MAX_CYCLE_DEPTH = 100;
 export function detectCycles(loadEdges) {
     const edges = loadEdges();
@@ -177,17 +271,48 @@ export function runChecksOnSqlite(db) {
         const count = sqliteCount(db, SQL_I5_DUPLICATE_FACTS);
         violations.push(buildViolation("I5a", "multiple active facts for same (subject, predicate)", i5DupSamples, count));
     }
+    // I5a-mv: informational count of multi-valued predicate groups (not violations).
+    const i5aMvCount = sqliteCount(db, SQL_I5A_MULTI_VALUED);
+    if (i5aMvCount > 0) {
+        violations.push(buildViolation("I5a-mv", `multi-valued predicate groups exempted from I5a (${[...MULTI_VALUED_PREDICATES].join(", ")})`, [], i5aMvCount));
+    }
     const i5DangleSamples = sqliteRows(db, SQL_I5_DANGLING_SUPERSEDED_BY);
     if (i5DangleSamples.length > 0) {
         const count = sqliteCount(db, SQL_I5_DANGLING_SUPERSEDED_BY);
         violations.push(buildViolation("I5b", "facts.superseded_by references non-existent facts.id", i5DangleSamples, count));
     }
+    // I5c — facts.superseded_by is a functional graph; a cycle traps every fact in
+    // it as recall-ineligible forever (both copies have a non-null superseded_by).
+    const i5cCycle = detectCycles(() => db
+        .prepare("SELECT id AS from_session, superseded_by AS to_session FROM facts WHERE superseded_by IS NOT NULL")
+        .all());
+    if (i5cCycle) {
+        violations.push({ ...i5cCycle, id: "I5c", description: "facts.superseded_by forms a cycle" });
+    }
     // I6
     const i6Samples = sqliteRows(db, SQL_I6);
     if (i6Samples.length > 0) {
         const count = sqliteCount(db, SQL_I6);
         violations.push(buildViolation("I6", "adapter_state.session_id references non-existent sessions.id", i6Samples, count));
     }
+    // I7
+    const i7Samples = sqliteRows(db, SQL_I7_GHOST_SQLITE);
+    if (i7Samples.length > 0) {
+        const count = sqliteCount(db, SQL_I7_GHOST_SQLITE);
+        violations.push(buildViolation("I7", "fact embedding without a live parent fact", i7Samples, count));
+    }
+    // I7b-1
+    const i7b1Samples = sqliteRows(db, SQL_I7B_1_GHOST_SQLITE);
+    if (i7b1Samples.length > 0) {
+        const count = sqliteCount(db, SQL_I7B_1_GHOST_SQLITE);
+        violations.push(buildViolation("I7b-1", "chunk embedding without a map entry", i7b1Samples, count));
+    }
+    // I7b-2
+    const i7b2Samples = sqliteRows(db, SQL_I7B_2_ORPHAN_MAP_SQLITE);
+    if (i7b2Samples.length > 0) {
+        const count = sqliteCount(db, SQL_I7B_2_ORPHAN_MAP_SQLITE);
+        violations.push(buildViolation("I7b-2", "session_chunk_map references non-existent session", i7b2Samples, count));
+    }
     return violations;
 }
 // ─── PostgreSQL runner ────────────────────────────────────────────────────────
@@ -247,16 +372,45 @@ export async function runChecksOnPg(pool) {
         const count = await pgCount(pool, SQL_I5_DUPLICATE_FACTS);
         violations.push(buildViolation("I5a", "multiple active facts for same (subject, predicate)", i5DupSamples, count));
     }
+    // I5a-mv: informational count of multi-valued predicate groups (not violations).
+    const i5aMvCount = await pgCount(pool, SQL_I5A_MULTI_VALUED);
+    if (i5aMvCount > 0) {
+        violations.push(buildViolation("I5a-mv", `multi-valued predicate groups exempted from I5a (${[...MULTI_VALUED_PREDICATES].join(", ")})`, [], i5aMvCount));
+    }
     if (i5DangleSamples.length > 0) {
         const count = await pgCount(pool, SQL_I5_DANGLING_SUPERSEDED_BY);
         violations.push(buildViolation("I5b", "facts.superseded_by references non-existent facts.id", i5DangleSamples, count));
     }
+    // I5c — fact supersedence cycle (see SQLite runner).
+    const factEdges = await pool.query("SELECT id AS from_session, superseded_by AS to_session FROM facts WHERE superseded_by IS NOT NULL");
+    const i5cCycle = detectCycles(() => factEdges.rows);
+    if (i5cCycle) {
+        violations.push({ ...i5cCycle, id: "I5c", description: "facts.superseded_by forms a cycle" });
+    }
     // I6
     const i6Samples = await pgRows(pool, SQL_I6);
     if (i6Samples.length > 0) {
         const count = await pgCount(pool, SQL_I6);
         violations.push(buildViolation("I6", "adapter_state.session_id references non-existent sessions.id", i6Samples, count));
     }
+    // I7
+    const i7Samples = await pgRows(pool, SQL_I7_GHOST_PG);
+    if (i7Samples.length > 0) {
+        const count = await pgCount(pool, SQL_I7_GHOST_PG);
+        violations.push(buildViolation("I7", "fact embedding without a live parent fact", i7Samples, count));
+    }
+    // I7b-1
+    const i7b1Samples = await pgRows(pool, SQL_I7B_1_GHOST_PG);
+    if (i7b1Samples.length > 0) {
+        const count = await pgCount(pool, SQL_I7B_1_GHOST_PG);
+        violations.push(buildViolation("I7b-1", "chunk embedding without a map entry", i7b1Samples, count));
+    }
+    // I7b-2
+    const i7b2Samples = await pgRows(pool, SQL_I7B_2_ORPHAN_MAP_PG);
+    if (i7b2Samples.length > 0) {
+        const count = await pgCount(pool, SQL_I7B_2_ORPHAN_MAP_PG);
+        violations.push(buildViolation("I7b-2", "session_chunk_map references non-existent session", i7b2Samples, count));
+    }
     return violations;
 }
 // ─── Cheap subset (I1 + I2 + I6) for scheduled watchdog ─────────────────────
@@ -278,15 +432,33 @@ export function runCheapChecksOnSqlite(db) {
     if (i6Samples.length > 0) {
         violations.push(buildViolation("I6", "adapter_state.session_id references non-existent sessions.id", i6Samples, sqliteCount(db, SQL_I6)));
     }
+    // I7: LEFT JOIN over fact_embeddings is index-only; within the cheap budget.
+    const i7Samples = sqliteRows(db, SQL_I7_GHOST_SQLITE);
+    if (i7Samples.length > 0) {
+        violations.push(buildViolation("I7", "fact embedding without a live parent fact", i7Samples, sqliteCount(db, SQL_I7_GHOST_SQLITE)));
+    }
+    // I7b-1
+    const i7b1CheapSamples = sqliteRows(db, SQL_I7B_1_GHOST_SQLITE);
+    if (i7b1CheapSamples.length > 0) {
+        violations.push(buildViolation("I7b-1", "chunk embedding without a map entry", i7b1CheapSamples, sqliteCount(db, SQL_I7B_1_GHOST_SQLITE)));
+    }
+    // I7b-2
+    const i7b2CheapSamples = sqliteRows(db, SQL_I7B_2_ORPHAN_MAP_SQLITE);
+    if (i7b2CheapSamples.length > 0) {
+        violations.push(buildViolation("I7b-2", "session_chunk_map references non-existent session", i7b2CheapSamples, sqliteCount(db, SQL_I7B_2_ORPHAN_MAP_SQLITE)));
+    }
     return violations;
 }
 export async function runCheapChecksOnPg(pool) {
     const violations = [];
-    const [i1, i2, i2r, i6] = await Promise.all([
+    const [i1, i2, i2r, i6, i7, i7b1, i7b2] = await Promise.all([
         pgRows(pool, SQL_I1),
         pgRows(pool, SQL_I2_ORPHANED),
         pgRows(pool, SQL_I2_ORPHANED_REPLACED),
         pgRows(pool, SQL_I6),
+        pgRows(pool, SQL_I7_GHOST_PG),
+        pgRows(pool, SQL_I7B_1_GHOST_PG),
+        pgRows(pool, SQL_I7B_2_ORPHAN_MAP_PG),
     ]);
     if (i1.length > 0) {
         violations.push(buildViolation("I1", "self-loop edges in session_edges", i1, await pgCount(pool, SQL_I1)));
@@ -300,6 +472,15 @@ export async function runCheapChecksOnPg(pool) {
     if (i6.length > 0) {
         violations.push(buildViolation("I6", "adapter_state.session_id references non-existent sessions.id", i6, await pgCount(pool, SQL_I6)));
     }
+    if (i7.length > 0) {
+        violations.push(buildViolation("I7", "fact embedding without a live parent fact", i7, await pgCount(pool, SQL_I7_GHOST_PG)));
+    }
+    if (i7b1.length > 0) {
+        violations.push(buildViolation("I7b-1", "chunk embedding without a map entry", i7b1, await pgCount(pool, SQL_I7B_1_GHOST_PG)));
+    }
+    if (i7b2.length > 0) {
+        violations.push(buildViolation("I7b-2", "session_chunk_map references non-existent session", i7b2, await pgCount(pool, SQL_I7B_2_ORPHAN_MAP_PG)));
+    }
     return violations;
 }
 export function applyFixOnSqlite(db) {
@@ -322,9 +503,24 @@ export function applyFixOnSqlite(db) {
         AND id NOT IN (SELECT to_session FROM session_edges WHERE kind = 'replaces')
     `)
         .run();
+    // I7 fix: vec0 only supports single-value DELETE, so loop over bad fact_ids.
+    const ghostIds = db
+        .prepare(`
+      SELECT r.id AS bad_id
+      FROM fact_embeddings_rowids r
+      LEFT JOIN facts f ON f.id = r.id
+      WHERE f.id IS NULL OR f.superseded_by IS NOT NULL OR f.retired_at IS NOT NULL
+    `)
+        .all();
+    const delGhostEmb = db.prepare("DELETE FROM fact_embeddings WHERE fact_id = ?");
+    let deletedGhostEmbeddings = 0;
+    for (const { bad_id } of ghostIds) {
+        deletedGhostEmbeddings += delGhostEmb.run(bad_id).changes;
+    }
     return {
         deletedSelfLoops: deleteResult.changes,
         restoredToClosed: updateSuperseded.changes + updateReplaced.changes,
+        deletedGhostEmbeddings,
     };
 }
 export async function applyFixOnPg(pool) {
@@ -340,10 +536,20 @@ export async function applyFixOnPg(pool) {
     SET status = 'closed', updated_at = NOW()
     WHERE status = 'replaced'
       AND id NOT IN (SELECT to_session FROM session_edges WHERE kind = 'replaces')
+  `);
+    const ghostEmbResult = await pool.query(`
+    DELETE FROM fact_embeddings
+    WHERE fact_id IN (
+      SELECT fe.fact_id
+      FROM fact_embeddings fe
+      LEFT JOIN facts f ON f.id = fe.fact_id
+      WHERE f.id IS NULL OR f.superseded_by IS NOT NULL OR f.retired_at IS NOT NULL
+    )
   `);
     return {
         deletedSelfLoops: deleteResult.rowCount ?? 0,
         restoredToClosed: (updateSuperseded.rowCount ?? 0) + (updateReplaced.rowCount ?? 0),
+        deletedGhostEmbeddings: ghostEmbResult.rowCount ?? 0,
     };
 }
 //# sourceMappingURL=check-invariants.js.map

package/dist/core/integrity/check-invariants.js.map

@@ -1 +1 @@
-{"version":3,"file":"check-invariants.js","sourceRoot":"","sources":["../../../src/core/integrity/check-invariants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAYH,gFAAgF;AAEhF,MAAM,MAAM,GAAG;;;;;CAKd,CAAC;AAEF,MAAM,eAAe,GAAG;;;;;;;;;CASvB,CAAC;AAEF,MAAM,wBAAwB,GAAG;;;;;;;;;CAShC,CAAC;AAEF,MAAM,mBAAmB,GAAG;;;;;CAK3B,CAAC;AAEF,MAAM,iBAAiB,GAAG;;;;;CAKzB,CAAC;AAEF,+EAA+E;AAC/E,+EAA+E;AAC/E,4EAA4E;AAC5E,MAAM,sBAAsB,GAAG;;;;;;;CAO9B,CAAC;AAEF,MAAM,6BAA6B,GAAG;;;;;;CAMrC,CAAC;AAEF,MAAM,MAAM,GAAG;;;;;;CAMd,CAAC;AAMF,MAAM,eAAe,GAAG,GAAG,CAAC;AAE5B,MAAM,UAAU,YAAY,CAAC,SAAqB;IAChD,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;IAC1B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,KAAK,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,KAAK,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACxC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;;YAC3B,QAAQ,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QACpC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACjC,MAAM,KAAK,GAA2C,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QAEjC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAC5B,IAAI,IAAI,CAAC,KAAK,GAAG,eAAe;gBAAE,MAAM;YACxC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;oBAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtD,SAAS;YACX,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvB,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBAClD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,OAAO;QACL,EAAE,EAAE,IAAI;QACR,WAAW,EAAE,oCAAoC;QACjD,KAAK,EAAE,UAAU,CAAC,MAAM;QACxB,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,iFAAiF;AAEjF,SAAS,UAAU,CAAC,EAAqB,EAAE,GAAW;IACpD,OAAO,EAAE;SACN,OAAO,CAAyB,GAAG,CAAC;SACpC,GAAG,EAAE;SACL,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,WAAW,CAAC,EAAqB,EAAE,GAAW;IACrD,MAAM,QAAQ,GAAG,8BAA8B,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,GAAG,CAAC;IAC/E,OAAO,CAAC,EAAE,CAAC,OAAO,CAAoB,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,cAAc,CAAC,EAAU,EAAE,WAAmB,EAAE,OAAiB,EAAE,KAAa;IACvF,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,EAAqB;IACrD,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,KAAK;IACL,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACtC,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,kCAAkC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9F,CAAC;IAED,KAAK;IACL,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;IAClD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;QAC/C,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,6DAA6D,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACzH,CAAC;IACD,MAAM,iBAAiB,GAAG,UAAU,CAAC,EAAE,EAAE,wBAAwB,CAAC,CAAC;IACnE,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,wBAAwB,CAAC,CAAC;QACxD,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,yDAAyD,EAAE,iBAAiB,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9H,CAAC;IAED,KAAK;IACL,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,CAC3B,EAAE;SACC,OAAO,CACN,6FAA6F,CAC9F;SACA,GAAG,EAAE,CACT,CAAC;IACF,IAAI,EAAE;QAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAE5B,KAAK;IACL,MAAM,aAAa,GAAG,UAAU,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,UAAU,CAAC,EAAE,EAAE,iBAAiB,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,SAAS,GAAG,WAAW,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,WAAW,CAAC,EAAE,EAAE,iBAAiB,CAAC,CAAC;QACnD,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,2DAA2D,EAAE,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC;IACjI,CAAC;IAED,KAAK;IACL,MAAM,YAAY,GAAG,UAAU,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;IAC5D,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;QACtD,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,qDAAqD,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;IACrH,CAAC;IACD,MAAM,eAAe,GAAG,UAAU,CAAC,EAAE,EAAE,6BAA6B,CAAC,CAAC;IACtE,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,6BAA6B,CAAC,CAAC;QAC7D,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,sDAAsD,EAAE,eAAe,EAAE,KAAK,CAAC,CAAC,CAAC;IACzH,CAAC;IAED,KAAK;IACL,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACtC,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,8DAA8D,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1H,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,iFAAiF;AAEjF,KAAK,UAAU,MAAM,CAAC,IAAU,EAAE,GAAW;IAC3C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAqB,QAAQ,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAC1C,CAAC;AAED,KAAK,UAAU,OAAO,CAAC,IAAU,EAAE,GAAW;IAC5C,MAAM,QAAQ,GAAG,8BAA8B,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC;IACtF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAgB,QAAQ,CAAC,CAAC;IACzD,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAU;IAC5C,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,KAAK;IACL,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1C,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,kCAAkC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9F,CAAC;IAED,KAAK;IACL,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;QACnD,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,6DAA6D,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACzH,CAAC;IACD,MAAM,iBAAiB,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;IACvE,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;QAC5D,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,yDAAyD,EAAE,iBAAiB,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9H,CAAC;IAED,KAAK;IACL,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,KAAK,CACjC,6FAA6F,CAC9F,CAAC;IACF,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,EAAE;QAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAE5B,KAAK;IACL,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACrD,MAAM,CAAC,IAAI,EAAE,mBAAmB,CAAC;QACjC,MAAM,CAAC,IAAI,EAAE,iBAAiB,CAAC;KAChC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC7C,OAAO,CAAC,IAAI,EAAE,mBAAmB,CAAC;YAClC,OAAO,CAAC,IAAI,EAAE,iBAAiB,CAAC;SACjC,CAAC,CAAC;QACH,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,2DAA2D,EAAE,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC;IACjI,CAAC;IAED,KAAK;IACL,MAAM,CAAC,YAAY,EAAE,eAAe,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACxD,MAAM,CAAC,IAAI,EAAE,sBAAsB,CAAC;QACpC,MAAM,CAAC,IAAI,EAAE,6BAA6B,CAAC;KAC5C,CAAC,CAAC;IACH,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;QAC1D,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,qDAAqD,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;IACrH,CAAC;IACD,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,6BAA6B,CAAC,CAAC;QACjE,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,sDAAsD,EAAE,eAAe,EAAE,KAAK,CAAC,CAAC,CAAC;IACzH,CAAC;IAED,KAAK;IACL,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1C,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,8DAA8D,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1H,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,+EAA+E;AAE/E,MAAM,UAAU,sBAAsB,CAAC,EAAqB;IAC1D,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,kCAAkC,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAChH,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;IAClD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,6DAA6D,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;IACpJ,CAAC;IACD,MAAM,iBAAiB,GAAG,UAAU,CAAC,EAAE,EAAE,wBAAwB,CAAC,CAAC;IACnE,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,yDAAyD,EAAE,iBAAiB,EAAE,WAAW,CAAC,EAAE,EAAE,wBAAwB,CAAC,CAAC,CAAC,CAAC;IAClK,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,8DAA8D,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC5I,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAU;IACjD,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC1C,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;QACpB,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC;QAC7B,MAAM,CAAC,IAAI,EAAE,wBAAwB,CAAC;QACtC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;KACrB,CAAC,CAAC;IAEH,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,kCAAkC,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7G,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,6DAA6D,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;IACjJ,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,yDAAyD,EAAE,GAAG,EAAE,MAAM,OAAO,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC,CAAC,CAAC;IACxJ,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,8DAA8D,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACzI,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AASD,MAAM,UAAU,gBAAgB,CAAC,EAAqB;IACpD,MAAM,YAAY,GAAG,EAAE;SACpB,OAAO,CAAC,2DAA2D,CAAC;SACpE,GAAG,EAAE,CAAC;IAET,MAAM,gBAAgB,GAAG,EAAE;SACxB,OAAO,CAAC;;;;;KAKR,CAAC;SACD,GAAG,EAAE,CAAC;IAET,MAAM,cAAc,GAAG,EAAE;SACtB,OAAO,CAAC;;;;;KAKR,CAAC;SACD,GAAG,EAAE,CAAC;IAET,OAAO;QACL,gBAAgB,EAAE,YAAY,CAAC,OAAO;QACtC,gBAAgB,EAAE,gBAAgB,CAAC,OAAO,GAAG,cAAc,CAAC,OAAO;KACpE,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAU;IAC3C,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,KAAK,CACnC,2DAA2D,CAC5D,CAAC;IAEF,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC;;;;;GAKzC,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC;;;;;GAKvC,CAAC,CAAC;IAEH,OAAO;QACL,gBAAgB,EAAE,YAAY,CAAC,QAAQ,IAAI,CAAC;QAC5C,gBAAgB,EAAE,CAAC,gBAAgB,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,IAAI,CAAC,CAAC;KACpF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"check-invariants.js","sourceRoot":"","sources":["../../../src/core/integrity/check-invariants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAYH,wEAAwE;AACxE,uEAAuE;AACvE,qEAAqE;AACrE,yEAAyE;AACzE,uEAAuE;AACvE,mEAAmE;AACnE,yEAAyE;AACzE,wEAAwE;AACxE,uEAAuE;AACvE,gDAAgD;AAChD,MAAM,uBAAuB,GAAwB,IAAI,GAAG,CAAC;IAC3D,OAAO;IACP,aAAa;IACb,YAAY;CACb,CAAC,CAAC;AAEH,MAAM,KAAK,GAAG,CAAC,GAAG,uBAAuB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAE3E,gFAAgF;AAEhF,MAAM,MAAM,GAAG;;;;;CAKd,CAAC;AAEF,MAAM,eAAe,GAAG;;;;;;;;;CASvB,CAAC;AAEF,MAAM,wBAAwB,GAAG;;;;;;;;;CAShC,CAAC;AAEF,MAAM,mBAAmB,GAAG;;;;;CAK3B,CAAC;AAEF,MAAM,iBAAiB,GAAG;;;;;CAKzB,CAAC;AAEF,+EAA+E;AAC/E,+EAA+E;AAC/E,4EAA4E;AAC5E,uFAAuF;AACvF,MAAM,sBAAsB,GAAG;;;;4BAIH,KAAK;;;;CAIhC,CAAC;AAEF,gFAAgF;AAChF,iFAAiF;AACjF,MAAM,oBAAoB,GAAG;;;;wBAIL,KAAK;;;;CAI5B,CAAC;AAEF,MAAM,6BAA6B,GAAG;;;;;;CAMrC,CAAC;AAEF,MAAM,MAAM,GAAG;;;;;;CAMd,CAAC;AAEF,uEAAuE;AACvE,+EAA+E;AAC/E,0EAA0E;AAC1E,8CAA8C;AAC9C,EAAE;AACF,2EAA2E;AAC3E,oEAAoE;AACpE,MAAM,mBAAmB,GAAG;;;;;;CAM3B,CAAC;AAEF,8EAA8E;AAC9E,gFAAgF;AAChF,MAAM,eAAe,GAAG;;;;;;CAMvB,CAAC;AAEF,4EAA4E;AAC5E,0EAA0E;AAC1E,2EAA2E;AAC3E,0EAA0E;AAC1E,4CAA4C;AAC5C,MAAM,sBAAsB,GAAG;;;;;;CAM9B,CAAC;AAEF,6EAA6E;AAC7E,2EAA2E;AAC3E,MAAM,2BAA2B,GAAG;;;;;;CAMnC,CAAC;AAEF,2EAA2E;AAC3E,8EAA8E;AAC9E,iCAAiC;AACjC,MAAM,kBAAkB,GAAG;;;;;;CAM1B,CAAC;AAEF,MAAM,uBAAuB,GAAG;;;;;;CAM/B,CAAC;AAMF,MAAM,eAAe,GAAG,GAAG,CAAC;AAE5B,MAAM,UAAU,YAAY,CAAC,SAAqB;IAChD,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;IAC1B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,KAAK,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,KAAK,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACxC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;;YAC3B,QAAQ,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QACpC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACjC,MAAM,KAAK,GAA2C,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QAEjC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAC5B,IAAI,IAAI,CAAC,KAAK,GAAG,eAAe;gBAAE,MAAM;YACxC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;oBAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtD,SAAS;YACX,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvB,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBAClD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,OAAO;QACL,EAAE,EAAE,IAAI;QACR,WAAW,EAAE,oCAAoC;QACjD,KAAK,EAAE,UAAU,CAAC,MAAM;QACxB,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,iFAAiF;AAEjF,SAAS,UAAU,CAAC,EAAqB,EAAE,GAAW;IACpD,OAAO,EAAE;SACN,OAAO,CAAyB,GAAG,CAAC;SACpC,GAAG,EAAE;SACL,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,WAAW,CAAC,EAAqB,EAAE,GAAW;IACrD,MAAM,QAAQ,GAAG,8BAA8B,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,GAAG,CAAC;IAC/E,OAAO,CAAC,EAAE,CAAC,OAAO,CAAoB,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,cAAc,CAAC,EAAU,EAAE,WAAmB,EAAE,OAAiB,EAAE,KAAa;IACvF,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,EAAqB;IACrD,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,KAAK;IACL,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACtC,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,kCAAkC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9F,CAAC;IAED,KAAK;IACL,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;IAClD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;QAC/C,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,6DAA6D,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACzH,CAAC;IACD,MAAM,iBAAiB,GAAG,UAAU,CAAC,EAAE,EAAE,wBAAwB,CAAC,CAAC;IACnE,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,wBAAwB,CAAC,CAAC;QACxD,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,yDAAyD,EAAE,iBAAiB,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9H,CAAC;IAED,KAAK;IACL,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,CAC3B,EAAE;SACC,OAAO,CACN,6FAA6F,CAC9F;SACA,GAAG,EAAE,CACT,CAAC;IACF,IAAI,EAAE;QAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAE5B,KAAK;IACL,MAAM,aAAa,GAAG,UAAU,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,UAAU,CAAC,EAAE,EAAE,iBAAiB,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,SAAS,GAAG,WAAW,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,WAAW,CAAC,EAAE,EAAE,iBAAiB,CAAC,CAAC;QACnD,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,2DAA2D,EAAE,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC;IACjI,CAAC;IAED,KAAK;IACL,MAAM,YAAY,GAAG,UAAU,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;IAC5D,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;QACtD,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,qDAAqD,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;IACrH,CAAC;IACD,iFAAiF;IACjF,MAAM,UAAU,GAAG,WAAW,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAC;IACzD,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACnB,UAAU,CAAC,IAAI,CAAC,cAAc,CAC5B,QAAQ,EACR,oDAAoD,CAAC,GAAG,uBAAuB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAC9F,EAAE,EACF,UAAU,CACX,CAAC,CAAC;IACL,CAAC;IACD,MAAM,eAAe,GAAG,UAAU,CAAC,EAAE,EAAE,6BAA6B,CAAC,CAAC;IACtE,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,6BAA6B,CAAC,CAAC;QAC7D,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,sDAAsD,EAAE,eAAe,EAAE,KAAK,CAAC,CAAC,CAAC;IACzH,CAAC;IAED,+EAA+E;IAC/E,+EAA+E;IAC/E,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,EAAE,CACjC,EAAE;SACC,OAAO,CACN,mGAAmG,CACpG;SACA,GAAG,EAAE,CACT,CAAC;IACF,IAAI,QAAQ,EAAE,CAAC;QACb,UAAU,CAAC,IAAI,CAAC,EAAE,GAAG,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,mCAAmC,EAAE,CAAC,CAAC;IAChG,CAAC;IAED,KAAK;IACL,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACtC,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,8DAA8D,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1H,CAAC;IAED,KAAK;IACL,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;QACnD,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,2CAA2C,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACvG,CAAC;IAED,QAAQ;IACR,MAAM,WAAW,GAAG,UAAU,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;IAC3D,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;QACtD,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,qCAAqC,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;IACtG,CAAC;IAED,QAAQ;IACR,MAAM,WAAW,GAAG,UAAU,CAAC,EAAE,EAAE,2BAA2B,CAAC,CAAC;IAChE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,2BAA2B,CAAC,CAAC;QAC3D,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,mDAAmD,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;IACpH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,iFAAiF;AAEjF,KAAK,UAAU,MAAM,CAAC,IAAU,EAAE,GAAW;IAC3C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAqB,QAAQ,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAC1C,CAAC;AAED,KAAK,UAAU,OAAO,CAAC,IAAU,EAAE,GAAW;IAC5C,MAAM,QAAQ,GAAG,8BAA8B,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC;IACtF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAgB,QAAQ,CAAC,CAAC;IACzD,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAU;IAC5C,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,KAAK;IACL,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1C,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,kCAAkC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9F,CAAC;IAED,KAAK;IACL,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;QACnD,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,6DAA6D,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACzH,CAAC;IACD,MAAM,iBAAiB,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;IACvE,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;QAC5D,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,yDAAyD,EAAE,iBAAiB,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9H,CAAC;IAED,KAAK;IACL,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,KAAK,CACjC,6FAA6F,CAC9F,CAAC;IACF,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,EAAE;QAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAE5B,KAAK;IACL,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACrD,MAAM,CAAC,IAAI,EAAE,mBAAmB,CAAC;QACjC,MAAM,CAAC,IAAI,EAAE,iBAAiB,CAAC;KAChC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC7C,OAAO,CAAC,IAAI,EAAE,mBAAmB,CAAC;YAClC,OAAO,CAAC,IAAI,EAAE,iBAAiB,CAAC;SACjC,CAAC,CAAC;QACH,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,2DAA2D,EAAE,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC;IACjI,CAAC;IAED,KAAK;IACL,MAAM,CAAC,YAAY,EAAE,eAAe,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACxD,MAAM,CAAC,IAAI,EAAE,sBAAsB,CAAC;QACpC,MAAM,CAAC,IAAI,EAAE,6BAA6B,CAAC;KAC5C,CAAC,CAAC;IACH,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;QAC1D,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,qDAAqD,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;IACrH,CAAC;IACD,iFAAiF;IACjF,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC7D,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACnB,UAAU,CAAC,IAAI,CAAC,cAAc,CAC5B,QAAQ,EACR,oDAAoD,CAAC,GAAG,uBAAuB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAC9F,EAAE,EACF,UAAU,CACX,CAAC,CAAC;IACL,CAAC;IACD,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,6BAA6B,CAAC,CAAC;QACjE,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,sDAAsD,EAAE,eAAe,EAAE,KAAK,CAAC,CAAC,CAAC;IACzH,CAAC;IAED,qDAAqD;IACrD,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,KAAK,CAChC,mGAAmG,CACpG,CAAC;IACF,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,QAAQ,EAAE,CAAC;QACb,UAAU,CAAC,IAAI,CAAC,EAAE,GAAG,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,mCAAmC,EAAE,CAAC,CAAC;IAChG,CAAC;IAED,KAAK;IACL,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1C,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,8DAA8D,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1H,CAAC;IAED,KAAK;IACL,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;QACnD,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,2CAA2C,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACvG,CAAC;IAED,QAAQ;IACR,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IAC3D,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QACtD,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,qCAAqC,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;IACtG,CAAC;IAED,QAAQ;IACR,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;IAChE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;QAC3D,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,mDAAmD,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;IACpH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,+EAA+E;AAE/E,MAAM,UAAU,sBAAsB,CAAC,EAAqB;IAC1D,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,kCAAkC,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAChH,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;IAClD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,6DAA6D,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;IACpJ,CAAC;IACD,MAAM,iBAAiB,GAAG,UAAU,CAAC,EAAE,EAAE,wBAAwB,CAAC,CAAC;IACnE,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,yDAAyD,EAAE,iBAAiB,EAAE,WAAW,CAAC,EAAE,EAAE,wBAAwB,CAAC,CAAC,CAAC,CAAC;IAClK,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,8DAA8D,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC5I,CAAC;IAED,6EAA6E;IAC7E,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,2CAA2C,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACtI,CAAC;IAED,QAAQ;IACR,MAAM,gBAAgB,GAAG,UAAU,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;IAChE,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,qCAAqC,EAAE,gBAAgB,EAAE,WAAW,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAC7I,CAAC;IAED,QAAQ;IACR,MAAM,gBAAgB,GAAG,UAAU,CAAC,EAAE,EAAE,2BAA2B,CAAC,CAAC;IACrE,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,mDAAmD,EAAE,gBAAgB,EAAE,WAAW,CAAC,EAAE,EAAE,2BAA2B,CAAC,CAAC,CAAC,CAAC;IAChK,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAU;IACjD,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC1D,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;QACpB,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC;QAC7B,MAAM,CAAC,IAAI,EAAE,wBAAwB,CAAC;QACtC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;QACpB,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC;QAC7B,MAAM,CAAC,IAAI,EAAE,kBAAkB,CAAC;QAChC,MAAM,CAAC,IAAI,EAAE,uBAAuB,CAAC;KACtC,CAAC,CAAC;IAEH,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,kCAAkC,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7G,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,6DAA6D,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;IACjJ,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,yDAAyD,EAAE,GAAG,EAAE,MAAM,OAAO,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC,CAAC,CAAC;IACxJ,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,8DAA8D,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACzI,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,2CAA2C,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;IAC/H,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,qCAAqC,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC;IACjI,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,mDAAmD,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC,CAAC,CAAC;IACpJ,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAUD,MAAM,UAAU,gBAAgB,CAAC,EAAqB;IACpD,MAAM,YAAY,GAAG,EAAE;SACpB,OAAO,CAAC,2DAA2D,CAAC;SACpE,GAAG,EAAE,CAAC;IAET,MAAM,gBAAgB,GAAG,EAAE;SACxB,OAAO,CAAC;;;;;KAKR,CAAC;SACD,GAAG,EAAE,CAAC;IAET,MAAM,cAAc,GAAG,EAAE;SACtB,OAAO,CAAC;;;;;KAKR,CAAC;SACD,GAAG,EAAE,CAAC;IAET,6EAA6E;IAC7E,MAAM,QAAQ,GAAG,EAAE;SAChB,OAAO,CAAyB;;;;;KAKhC,CAAC;SACD,GAAG,EAAE,CAAC;IACT,MAAM,WAAW,GAAG,EAAE,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC;IAChF,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAC/B,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAClC,sBAAsB,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;IAC5D,CAAC;IAED,OAAO;QACL,gBAAgB,EAAE,YAAY,CAAC,OAAO;QACtC,gBAAgB,EAAE,gBAAgB,CAAC,OAAO,GAAG,cAAc,CAAC,OAAO;QACnE,sBAAsB;KACvB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAU;IAC3C,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,KAAK,CACnC,2DAA2D,CAC5D,CAAC;IAEF,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC;;;;;GAKzC,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC;;;;;GAKvC,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC;;;;;;;;GAQvC,CAAC,CAAC;IAEH,OAAO;QACL,gBAAgB,EAAE,YAAY,CAAC,QAAQ,IAAI,CAAC;QAC5C,gBAAgB,EAAE,CAAC,gBAAgB,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,IAAI,CAAC,CAAC;QACnF,sBAAsB,EAAE,cAAc,CAAC,QAAQ,IAAI,CAAC;KACrD,CAAC;AACJ,CAAC"}

package/dist/core/metrics/corpus-stats.d.ts

@@ -0,0 +1,49 @@
+export interface CorpusStats {
+    readonly dbBytes: number;
+    readonly sessions: number;
+    readonly bodyBytes: number;
+    readonly cappedBodies: number;
+    readonly entities: number;
+    readonly hapaxEntities: number;
+    readonly factsActive: number;
+    readonly factsSuperseded: number;
+    readonly factsRetired: number;
+    readonly markers: number;
+    readonly exemplars: number;
+}
+export interface CorpusStatsDeps {
+    getDbBytes(): number;
+    getSessions(): number;
+    getBodyStats(): {
+        bodyBytes: number;
+        cappedBodies: number;
+    } | Promise<{
+        bodyBytes: number;
+        cappedBodies: number;
+    }>;
+    getEntityStats(): {
+        entities: number;
+        hapaxEntities: number;
+    };
+    getFactStats(): {
+        factsActive: number;
+        factsSuperseded: number;
+        factsRetired: number;
+    };
+    getMarkers(): number;
+    getExemplars(): number;
+}
+export declare function computeCorpusStats(deps: CorpusStatsDeps): Promise<CorpusStats>;
+interface SqliteLike {
+    prepare(sql: string): {
+        get(...params: unknown[]): unknown;
+    };
+}
+export declare function sqliteCorpusStatsDeps(db: SqliteLike, dbPath: string): CorpusStatsDeps;
+export interface CorpusThresholds {
+    readonly warnBytes: number;
+    readonly alertBytes: number;
+}
+export declare function parseCorpusThresholds(env: Record<string, string | undefined>): CorpusThresholds;
+export declare function thresholdState(dbBytes: number, thresholds: CorpusThresholds): "ok" | "warn" | "alert";
+export {};

package/dist/core/metrics/corpus-stats.js

@@ -0,0 +1,111 @@
+import { statSync } from "node:fs";
+export async function computeCorpusStats(deps) {
+    const dbBytes = deps.getDbBytes();
+    const sessions = deps.getSessions();
+    const { bodyBytes, cappedBodies } = await deps.getBodyStats();
+    const { entities, hapaxEntities } = deps.getEntityStats();
+    const { factsActive, factsSuperseded, factsRetired } = deps.getFactStats();
+    const markers = deps.getMarkers();
+    const exemplars = deps.getExemplars();
+    return {
+        dbBytes,
+        sessions,
+        bodyBytes,
+        cappedBodies,
+        entities,
+        hapaxEntities,
+        factsActive,
+        factsSuperseded,
+        factsRetired,
+        markers,
+        exemplars,
+    };
+}
+export function sqliteCorpusStatsDeps(db, dbPath) {
+    return {
+        getDbBytes() {
+            return statSync(dbPath).size;
+        },
+        getSessions() {
+            const row = db.prepare("SELECT COUNT(*) AS n FROM sessions").get();
+            return row.n;
+        },
+        async getBodyStats() {
+            // better-sqlite3 is synchronous, and one SUM(LENGTH(body)) over the whole
+            // table scans every overflow page (~600ms at 463MB, seconds at the alert
+            // threshold) on the serving event loop. Chunk by rowid windows and yield
+            // between chunks so each stall stays ~tens of ms.
+            const CHUNK_ROWS = 500;
+            const maxRow = db.prepare("SELECT COALESCE(MAX(rowid), 0) AS m FROM sessions").get();
+            let bodyBytes = 0;
+            let cappedBodies = 0;
+            for (let lo = 0; lo < maxRow.m; lo += CHUNK_ROWS) {
+                const row = db
+                    .prepare(`SELECT
+               COALESCE(SUM(LENGTH(body)), 0) AS bodyBytes,
+               COUNT(CASE WHEN LENGTH(body) >= 200000 THEN 1 END) AS cappedBodies
+             FROM sessions
+             WHERE rowid > ? AND rowid <= ? AND body IS NOT NULL`)
+                    .get(lo, lo + CHUNK_ROWS);
+                bodyBytes += row.bodyBytes;
+                cappedBodies += row.cappedBodies;
+                await new Promise((resolveYield) => setImmediate(resolveYield));
+            }
+            return { bodyBytes, cappedBodies };
+        },
+        getEntityStats() {
+            const row = db
+                .prepare(`SELECT
+             COUNT(*) AS entities,
+             COUNT(CASE WHEN session_count = 1 THEN 1 END) AS hapaxEntities
+           FROM entities`)
+                .get();
+            return { entities: row.entities, hapaxEntities: row.hapaxEntities };
+        },
+        getFactStats() {
+            const row = db
+                .prepare(`SELECT
+             COUNT(CASE WHEN retired_at IS NULL AND superseded_by IS NULL THEN 1 END) AS factsActive,
+             COUNT(CASE WHEN retired_at IS NULL AND superseded_by IS NOT NULL THEN 1 END) AS factsSuperseded,
+             COUNT(CASE WHEN retired_at IS NOT NULL THEN 1 END) AS factsRetired
+           FROM facts`)
+                .get();
+            return {
+                factsActive: row.factsActive,
+                factsSuperseded: row.factsSuperseded,
+                factsRetired: row.factsRetired,
+            };
+        },
+        getMarkers() {
+            const row = db.prepare("SELECT COUNT(*) AS n FROM markers").get();
+            return row.n;
+        },
+        getExemplars() {
+            const row = db.prepare("SELECT COUNT(*) AS n FROM code_exemplars").get();
+            return row.n;
+        },
+    };
+}
+const WARN_DEFAULT = 1_000_000_000;
+const ALERT_DEFAULT = 2_000_000_000;
+export function parseCorpusThresholds(env) {
+    const warnRaw = env["NLM_CORPUS_WARN_BYTES"];
+    const alertRaw = env["NLM_CORPUS_ALERT_BYTES"];
+    const warnParsed = Number(warnRaw);
+    const warnBytes = warnRaw === undefined || !Number.isFinite(warnParsed) || warnParsed <= 0
+        ? WARN_DEFAULT
+        : warnParsed;
+    const alertParsed = Number(alertRaw);
+    const alertBytes = alertRaw === undefined || !Number.isFinite(alertParsed) || alertParsed <= 0
+        ? ALERT_DEFAULT
+        : alertParsed;
+    return { warnBytes, alertBytes };
+}
+export function thresholdState(dbBytes, thresholds) {
+    if (dbBytes >= thresholds.alertBytes)
+        return "alert";
+    if (dbBytes >= thresholds.warnBytes)
+        return "warn";
+    return "ok";
+}
+//# sourceMappingURL=corpus-stats.js.map

package/dist/core/metrics/corpus-stats.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corpus-stats.js","sourceRoot":"","sources":["../../../src/core/metrics/corpus-stats.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AA4BnC,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAqB;IAC5D,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACpC,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,GAAG,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;IAC9D,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;IAC1D,MAAM,EAAE,WAAW,EAAE,eAAe,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;IAC3E,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;IACtC,OAAO;QACL,OAAO;QACP,QAAQ;QACR,SAAS;QACT,YAAY;QACZ,QAAQ;QACR,aAAa;QACb,WAAW;QACX,eAAe;QACf,YAAY;QACZ,OAAO;QACP,SAAS;KACV,CAAC;AACJ,CAAC;AAMD,MAAM,UAAU,qBAAqB,CAAC,EAAc,EAAE,MAAc;IAClE,OAAO;QACL,UAAU;YACR,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC;QAC/B,CAAC;QACD,WAAW;YACT,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC,GAAG,EAAmB,CAAC;YACpF,OAAO,GAAG,CAAC,CAAC,CAAC;QACf,CAAC;QACD,KAAK,CAAC,YAAY;YAChB,0EAA0E;YAC1E,yEAAyE;YACzE,yEAAyE;YACzE,kDAAkD;YAClD,MAAM,UAAU,GAAG,GAAG,CAAC;YACvB,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC,GAAG,EAEjF,CAAC;YACF,IAAI,SAAS,GAAG,CAAC,CAAC;YAClB,IAAI,YAAY,GAAG,CAAC,CAAC;YACrB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,CAAC,EAAE,EAAE,IAAI,UAAU,EAAE,CAAC;gBACjD,MAAM,GAAG,GAAG,EAAE;qBACX,OAAO,CACN;;;;iEAIqD,CACtD;qBACA,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,UAAU,CAAgD,CAAC;gBAC3E,SAAS,IAAI,GAAG,CAAC,SAAS,CAAC;gBAC3B,YAAY,IAAI,GAAG,CAAC,YAAY,CAAC;gBACjC,MAAM,IAAI,OAAO,CAAO,CAAC,YAAY,EAAE,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC;YACxE,CAAC;YACD,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC;QACrC,CAAC;QACD,cAAc;YACZ,MAAM,GAAG,GAAG,EAAE;iBACX,OAAO,CACN;;;yBAGe,CAChB;iBACA,GAAG,EAAiD,CAAC;YACxD,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,CAAC;QACtE,CAAC;QACD,YAAY;YACV,MAAM,GAAG,GAAG,EAAE;iBACX,OAAO,CACN;;;;sBAIY,CACb;iBACA,GAAG,EAA4E,CAAC;YACnF,OAAO;gBACL,WAAW,EAAE,GAAG,CAAC,WAAW;gBAC5B,eAAe,EAAE,GAAG,CAAC,eAAe;gBACpC,YAAY,EAAE,GAAG,CAAC,YAAY;aAC/B,CAAC;QACJ,CAAC;QACD,UAAU;YACR,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC,GAAG,EAAmB,CAAC;YACnF,OAAO,GAAG,CAAC,CAAC,CAAC;QACf,CAAC;QACD,YAAY;YACV,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC,GAAG,EAAmB,CAAC;YAC1F,OAAO,GAAG,CAAC,CAAC,CAAC;QACf,CAAC;KACF,CAAC;AACJ,CAAC;AAOD,MAAM,YAAY,GAAG,aAAa,CAAC;AACnC,MAAM,aAAa,GAAG,aAAa,CAAC;AAEpC,MAAM,UAAU,qBAAqB,CAAC,GAAuC;IAC3E,MAAM,OAAO,GAAG,GAAG,CAAC,uBAAuB,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,GAAG,CAAC,wBAAwB,CAAC,CAAC;IAE/C,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,SAAS,GACb,OAAO,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,IAAI,CAAC;QACtE,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,UAAU,CAAC;IAEjB,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,UAAU,GACd,QAAQ,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,WAAW,IAAI,CAAC;QACzE,CAAC,CAAC,aAAa;QACf,CAAC,CAAC,WAAW,CAAC;IAElB,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,OAAe,EACf,UAA4B;IAE5B,IAAI,OAAO,IAAI,UAAU,CAAC,UAAU;QAAE,OAAO,OAAO,CAAC;IACrD,IAAI,OAAO,IAAI,UAAU,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IACnD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/core/metrics/re-derivation.d.ts

@@ -0,0 +1,48 @@
+/**
+ * re_derivation_rate: how often the same decision is re-made across sessions
+ * that share a topic but were never linked. A high rate means recall is failing
+ * to surface the prior decision, so the operator (or an agent) re-derives it.
+ *
+ * A pair counts as a re-derivation when the two sessions share at least one
+ * entity, sit more than GAP_DAYS apart, have decision text overlapping at or
+ * above JACCARD_FLOOR, and have no `continues`/`supersedes` edge linking them.
+ */
+export interface ReDerivationSession {
+    readonly id: string;
+    readonly startedAt: string;
+    readonly entities: ReadonlyArray<string>;
+    readonly decisions: ReadonlyArray<string>;
+}
+export interface ReDerivationEdge {
+    readonly from_session: string;
+    readonly to_session: string;
+    readonly kind: string;
+}
+export interface ReDerivationDeps {
+    listSessionsWithin(windowDays: number): Promise<ReadonlyArray<ReDerivationSession>>;
+    listEdges(): Promise<ReadonlyArray<ReDerivationEdge>>;
+}
+export interface ReDerivationPair {
+    readonly a: string;
+    readonly b: string;
+    readonly sharedEntities: ReadonlyArray<string>;
+    readonly jaccard: number;
+}
+export interface ReDerivationReport {
+    readonly rate: number;
+    readonly pairs: ReadonlyArray<ReDerivationPair>;
+    /** Denominator: entity-sharing session pairs eligible for the rate. */
+    readonly eligible: number;
+}
+interface SqliteLike {
+    prepare(sql: string): {
+        all(...params: unknown[]): unknown[];
+    };
+}
+/**
+ * SQLite-backed deps for the CLI readout. Reads sessions started within the
+ * window along with their entity links and decision markers, plus all edges.
+ */
+export declare function sqliteReDerivationDeps(db: SqliteLike): ReDerivationDeps;
+export declare function computeReDerivationRate(deps: ReDerivationDeps, windowDays: number): Promise<ReDerivationReport>;
+export {};