@undefineds.co/xpod 0.3.57 → 0.3.61

package/dist/storage/rdf/Rdf3xIndex.jsonld

@@ -63,6 +63,14 @@
           "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_rebuildFromCurrentQuads",
           "memberFieldName": "rebuildFromCurrentQuads"
         },
+        {
+          "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_rebuildAllProjectionTables",
+          "memberFieldName": "rebuildAllProjectionTables"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_refreshDirtyProjectionTables",
+          "memberFieldName": "refreshDirtyProjectionTables"
+        },
         {
           "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_factsDataVersion",
           "memberFieldName": "factsDataVersion"
@@ -139,6 +147,10 @@
           "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_initializeSchema",
           "memberFieldName": "initializeSchema"
         },
+        {
+          "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_initializeDirtyTrackingTriggers",
+          "memberFieldName": "initializeDirtyTrackingTriggers"
+        },
         {
           "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_dropMaterializedFactCopies",
           "memberFieldName": "dropMaterializedFactCopies"
@@ -151,6 +163,10 @@
           "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_clearRdf3xTables",
           "memberFieldName": "clearRdf3xTables"
         },
+        {
+          "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_clearDirtyProjectionTables",
+          "memberFieldName": "clearDirtyProjectionTables"
+        },
         {
           "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_prepareSchemaVersion",
           "memberFieldName": "prepareSchemaVersion"
@@ -175,18 +191,38 @@
           "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_setMetadataValue",
           "memberFieldName": "setMetadataValue"
         },
+        {
+          "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_dirtyProjectionStats",
+          "memberFieldName": "dirtyProjectionStats"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_countDirtyProjectionQuads",
+          "memberFieldName": "countDirtyProjectionQuads"
+        },
         {
           "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_rebuildPairProjection",
           "memberFieldName": "rebuildPairProjection"
         },
+        {
+          "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_refreshDirtyPairProjection",
+          "memberFieldName": "refreshDirtyPairProjection"
+        },
         {
           "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_rebuildTermProjection",
           "memberFieldName": "rebuildTermProjection"
         },
+        {
+          "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_refreshDirtyTermProjection",
+          "memberFieldName": "refreshDirtyTermProjection"
+        },
         {
           "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_rebuildGraphProjection",
           "memberFieldName": "rebuildGraphProjection"
         },
+        {
+          "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_refreshDirtyGraphProjection",
+          "memberFieldName": "refreshDirtyGraphProjection"
+        },
         {
           "@id": "undefineds:dist/storage/rdf/Rdf3xIndex.jsonld#Rdf3xIndex__member_compileScanSql",
           "memberFieldName": "compileScanSql"

package/dist/storage/rdf/Rdf3xSchema.d.ts

@@ -1,5 +1,8 @@
 import type { SqliteDatabase } from '../SqliteRuntime';
 export declare const RDF3X_GRAPH_PROJECTION_TABLE = "rdf3x_stat_g";
+export declare const RDF3X_DIRTY_GRAPH_TABLE = "rdf3x_dirty_graphs";
+export declare const RDF3X_DIRTY_PAIR_TABLE = "rdf3x_dirty_pairs";
+export declare const RDF3X_DIRTY_TERM_TABLE = "rdf3x_dirty_terms";
 export declare const RDF3X_PAIR_PROJECTION_TABLE_BY_NAME: {
     readonly SP: "rdf3x_stat_sp";
     readonly SO: "rdf3x_stat_so";
@@ -13,8 +16,9 @@ export declare const RDF3X_TERM_PROJECTION_TABLE_BY_NAME: {
     readonly P: "rdf3x_stat_p";
     readonly O: "rdf3x_stat_o";
 };
-export declare const RDF3X_DERIVED_TABLES: readonly ["rdf3x_metadata", "rdf3x_stat_g", ...("rdf3x_stat_sp" | "rdf3x_stat_so" | "rdf3x_stat_ps" | "rdf3x_stat_po" | "rdf3x_stat_os" | "rdf3x_stat_op" | "rdf3x_stat_s" | "rdf3x_stat_p" | "rdf3x_stat_o")[]];
+export declare const RDF3X_DERIVED_TABLES: readonly ["rdf3x_metadata", "rdf3x_stat_g", ...("rdf3x_stat_sp" | "rdf3x_stat_so" | "rdf3x_stat_ps" | "rdf3x_stat_po" | "rdf3x_stat_os" | "rdf3x_stat_op" | "rdf3x_stat_s" | "rdf3x_stat_p" | "rdf3x_stat_o")[], "rdf3x_dirty_graphs", "rdf3x_dirty_pairs", "rdf3x_dirty_terms"];
 export declare const RDF3X_MATERIALIZED_FACT_COPY_TABLES: readonly ["rdf3x_triple_membership", "rdf3x_spo", "rdf3x_sop", "rdf3x_pso", "rdf3x_pos", "rdf3x_osp", "rdf3x_ops"];
 export declare const RDF3X_DERIVED_INDEXES: readonly ["rdf3x_membership_gspo", "rdf3x_membership_spo", "rdf3x_membership_source"];
+export declare const RDF3X_DIRTY_TRIGGERS: readonly ["rdf3x_dirty_quads_insert", "rdf3x_dirty_quads_delete", "rdf3x_dirty_quads_update"];
 export declare function dropRdf3xMaterializedFactCopies(db: SqliteDatabase): void;
 export declare function dropRdf3xDerivedSchemaObjects(db: SqliteDatabase): void;

package/dist/storage/rdf/Rdf3xSchema.js

@@ -1,9 +1,12 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.RDF3X_DERIVED_INDEXES = exports.RDF3X_MATERIALIZED_FACT_COPY_TABLES = exports.RDF3X_DERIVED_TABLES = exports.RDF3X_TERM_PROJECTION_TABLE_BY_NAME = exports.RDF3X_PAIR_PROJECTION_TABLE_BY_NAME = exports.RDF3X_GRAPH_PROJECTION_TABLE = void 0;
+exports.RDF3X_DIRTY_TRIGGERS = exports.RDF3X_DERIVED_INDEXES = exports.RDF3X_MATERIALIZED_FACT_COPY_TABLES = exports.RDF3X_DERIVED_TABLES = exports.RDF3X_TERM_PROJECTION_TABLE_BY_NAME = exports.RDF3X_PAIR_PROJECTION_TABLE_BY_NAME = exports.RDF3X_DIRTY_TERM_TABLE = exports.RDF3X_DIRTY_PAIR_TABLE = exports.RDF3X_DIRTY_GRAPH_TABLE = exports.RDF3X_GRAPH_PROJECTION_TABLE = void 0;
 exports.dropRdf3xMaterializedFactCopies = dropRdf3xMaterializedFactCopies;
 exports.dropRdf3xDerivedSchemaObjects = dropRdf3xDerivedSchemaObjects;
 exports.RDF3X_GRAPH_PROJECTION_TABLE = 'rdf3x_stat_g';
+exports.RDF3X_DIRTY_GRAPH_TABLE = 'rdf3x_dirty_graphs';
+exports.RDF3X_DIRTY_PAIR_TABLE = 'rdf3x_dirty_pairs';
+exports.RDF3X_DIRTY_TERM_TABLE = 'rdf3x_dirty_terms';
 exports.RDF3X_PAIR_PROJECTION_TABLE_BY_NAME = {
     SP: 'rdf3x_stat_sp',
     SO: 'rdf3x_stat_so',
@@ -22,6 +25,9 @@ exports.RDF3X_DERIVED_TABLES = [
     exports.RDF3X_GRAPH_PROJECTION_TABLE,
     ...Object.values(exports.RDF3X_PAIR_PROJECTION_TABLE_BY_NAME),
     ...Object.values(exports.RDF3X_TERM_PROJECTION_TABLE_BY_NAME),
+    exports.RDF3X_DIRTY_GRAPH_TABLE,
+    exports.RDF3X_DIRTY_PAIR_TABLE,
+    exports.RDF3X_DIRTY_TERM_TABLE,
 ];
 exports.RDF3X_MATERIALIZED_FACT_COPY_TABLES = [
     'rdf3x_triple_membership',
@@ -37,13 +43,21 @@ exports.RDF3X_DERIVED_INDEXES = [
     'rdf3x_membership_spo',
     'rdf3x_membership_source',
 ];
+exports.RDF3X_DIRTY_TRIGGERS = [
+    'rdf3x_dirty_quads_insert',
+    'rdf3x_dirty_quads_delete',
+    'rdf3x_dirty_quads_update',
+];
 function dropRdf3xMaterializedFactCopies(db) {
     dropRdf3xObjects(db, exports.RDF3X_MATERIALIZED_FACT_COPY_TABLES, exports.RDF3X_DERIVED_INDEXES);
 }
 function dropRdf3xDerivedSchemaObjects(db) {
-    dropRdf3xObjects(db, [...exports.RDF3X_DERIVED_TABLES, ...exports.RDF3X_MATERIALIZED_FACT_COPY_TABLES], exports.RDF3X_DERIVED_INDEXES);
+    dropRdf3xObjects(db, [...exports.RDF3X_DERIVED_TABLES, ...exports.RDF3X_MATERIALIZED_FACT_COPY_TABLES], exports.RDF3X_DERIVED_INDEXES, exports.RDF3X_DIRTY_TRIGGERS);
 }
-function dropRdf3xObjects(db, names, indexes) {
+function dropRdf3xObjects(db, names, indexes, triggers = []) {
+    if (triggers.length > 0) {
+        db.exec(triggers.map((trigger) => `DROP TRIGGER IF EXISTS ${trigger};`).join('\n'));
+    }
     db.exec(indexes.map((index) => `DROP INDEX IF EXISTS ${index};`).join('\n'));
     if (names.length === 0) {
         return;

package/dist/storage/rdf/Rdf3xSchema.js.map

@@ -1 +1 @@
-{"version":3,"file":"Rdf3xSchema.js","sourceRoot":"","sources":["../../../src/storage/rdf/Rdf3xSchema.ts"],"names":[],"mappings":";;;AA0CA,0EAEC;AAED,sEAMC;AAlDY,QAAA,4BAA4B,GAAG,cAAc,CAAC;AAE9C,QAAA,mCAAmC,GAAG;IACjD,EAAE,EAAE,eAAe;IACnB,EAAE,EAAE,eAAe;IACnB,EAAE,EAAE,eAAe;IACnB,EAAE,EAAE,eAAe;IACnB,EAAE,EAAE,eAAe;IACnB,EAAE,EAAE,eAAe;CACX,CAAC;AAEE,QAAA,mCAAmC,GAAG;IACjD,CAAC,EAAE,cAAc;IACjB,CAAC,EAAE,cAAc;IACjB,CAAC,EAAE,cAAc;CACT,CAAC;AAEE,QAAA,oBAAoB,GAAG;IAClC,gBAAgB;IAChB,oCAA4B;IAC5B,GAAG,MAAM,CAAC,MAAM,CAAC,2CAAmC,CAAC;IACrD,GAAG,MAAM,CAAC,MAAM,CAAC,2CAAmC,CAAC;CAC7C,CAAC;AAEE,QAAA,mCAAmC,GAAG;IACjD,yBAAyB;IACzB,WAAW;IACX,WAAW;IACX,WAAW;IACX,WAAW;IACX,WAAW;IACX,WAAW;CACH,CAAC;AAEE,QAAA,qBAAqB,GAAG;IACnC,uBAAuB;IACvB,sBAAsB;IACtB,yBAAyB;CACjB,CAAC;AAEX,SAAgB,+BAA+B,CAAC,EAAkB;IAChE,gBAAgB,CAAC,EAAE,EAAE,2CAAmC,EAAE,6BAAqB,CAAC,CAAC;AACnF,CAAC;AAED,SAAgB,6BAA6B,CAAC,EAAkB;IAC9D,gBAAgB,CACd,EAAE,EACF,CAAC,GAAG,4BAAoB,EAAE,GAAG,2CAAmC,CAAC,EACjE,6BAAqB,CACtB,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,EAAkB,EAClB,KAAwB,EACxB,OAA0B;IAE1B,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,wBAAwB,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;IACT,CAAC;IAED,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAiC;;;qBAGrC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;GACjD,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;IAEjB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxB,EAAE,CAAC,IAAI,CAAC,uBAAuB,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;QAC9C,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAChC,EAAE,CAAC,IAAI,CAAC,wBAAwB,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;AACH,CAAC","sourcesContent":["import type { SqliteDatabase } from '../SqliteRuntime';\n\nexport const RDF3X_GRAPH_PROJECTION_TABLE = 'rdf3x_stat_g';\n\nexport const RDF3X_PAIR_PROJECTION_TABLE_BY_NAME = {\n  SP: 'rdf3x_stat_sp',\n  SO: 'rdf3x_stat_so',\n  PS: 'rdf3x_stat_ps',\n  PO: 'rdf3x_stat_po',\n  OS: 'rdf3x_stat_os',\n  OP: 'rdf3x_stat_op',\n} as const;\n\nexport const RDF3X_TERM_PROJECTION_TABLE_BY_NAME = {\n  S: 'rdf3x_stat_s',\n  P: 'rdf3x_stat_p',\n  O: 'rdf3x_stat_o',\n} as const;\n\nexport const RDF3X_DERIVED_TABLES = [\n  'rdf3x_metadata',\n  RDF3X_GRAPH_PROJECTION_TABLE,\n  ...Object.values(RDF3X_PAIR_PROJECTION_TABLE_BY_NAME),\n  ...Object.values(RDF3X_TERM_PROJECTION_TABLE_BY_NAME),\n] as const;\n\nexport const RDF3X_MATERIALIZED_FACT_COPY_TABLES = [\n  'rdf3x_triple_membership',\n  'rdf3x_spo',\n  'rdf3x_sop',\n  'rdf3x_pso',\n  'rdf3x_pos',\n  'rdf3x_osp',\n  'rdf3x_ops',\n] as const;\n\nexport const RDF3X_DERIVED_INDEXES = [\n  'rdf3x_membership_gspo',\n  'rdf3x_membership_spo',\n  'rdf3x_membership_source',\n] as const;\n\nexport function dropRdf3xMaterializedFactCopies(db: SqliteDatabase): void {\n  dropRdf3xObjects(db, RDF3X_MATERIALIZED_FACT_COPY_TABLES, RDF3X_DERIVED_INDEXES);\n}\n\nexport function dropRdf3xDerivedSchemaObjects(db: SqliteDatabase): void {\n  dropRdf3xObjects(\n    db,\n    [...RDF3X_DERIVED_TABLES, ...RDF3X_MATERIALIZED_FACT_COPY_TABLES],\n    RDF3X_DERIVED_INDEXES,\n  );\n}\n\nfunction dropRdf3xObjects(\n  db: SqliteDatabase,\n  names: readonly string[],\n  indexes: readonly string[],\n): void {\n  db.exec(indexes.map((index) => `DROP INDEX IF EXISTS ${index};`).join('\\n'));\n  if (names.length === 0) {\n    return;\n  }\n\n  const rows = db.prepare<{ name: string; type: string }>(`\n    SELECT name, type\n    FROM sqlite_schema\n    WHERE name IN (${names.map(() => '?').join(', ')})\n  `).all(...names);\n\n  for (const row of rows) {\n    if (row.type === 'view') {\n      db.exec(`DROP VIEW IF EXISTS ${row.name};`);\n    } else if (row.type === 'table') {\n      db.exec(`DROP TABLE IF EXISTS ${row.name};`);\n    }\n  }\n}\n"]}
+{"version":3,"file":"Rdf3xSchema.js","sourceRoot":"","sources":["../../../src/storage/rdf/Rdf3xSchema.ts"],"names":[],"mappings":";;;AAsDA,0EAEC;AAED,sEAOC;AA/DY,QAAA,4BAA4B,GAAG,cAAc,CAAC;AAC9C,QAAA,uBAAuB,GAAG,oBAAoB,CAAC;AAC/C,QAAA,sBAAsB,GAAG,mBAAmB,CAAC;AAC7C,QAAA,sBAAsB,GAAG,mBAAmB,CAAC;AAE7C,QAAA,mCAAmC,GAAG;IACjD,EAAE,EAAE,eAAe;IACnB,EAAE,EAAE,eAAe;IACnB,EAAE,EAAE,eAAe;IACnB,EAAE,EAAE,eAAe;IACnB,EAAE,EAAE,eAAe;IACnB,EAAE,EAAE,eAAe;CACX,CAAC;AAEE,QAAA,mCAAmC,GAAG;IACjD,CAAC,EAAE,cAAc;IACjB,CAAC,EAAE,cAAc;IACjB,CAAC,EAAE,cAAc;CACT,CAAC;AAEE,QAAA,oBAAoB,GAAG;IAClC,gBAAgB;IAChB,oCAA4B;IAC5B,GAAG,MAAM,CAAC,MAAM,CAAC,2CAAmC,CAAC;IACrD,GAAG,MAAM,CAAC,MAAM,CAAC,2CAAmC,CAAC;IACrD,+BAAuB;IACvB,8BAAsB;IACtB,8BAAsB;CACd,CAAC;AAEE,QAAA,mCAAmC,GAAG;IACjD,yBAAyB;IACzB,WAAW;IACX,WAAW;IACX,WAAW;IACX,WAAW;IACX,WAAW;IACX,WAAW;CACH,CAAC;AAEE,QAAA,qBAAqB,GAAG;IACnC,uBAAuB;IACvB,sBAAsB;IACtB,yBAAyB;CACjB,CAAC;AAEE,QAAA,oBAAoB,GAAG;IAClC,0BAA0B;IAC1B,0BAA0B;IAC1B,0BAA0B;CAClB,CAAC;AAEX,SAAgB,+BAA+B,CAAC,EAAkB;IAChE,gBAAgB,CAAC,EAAE,EAAE,2CAAmC,EAAE,6BAAqB,CAAC,CAAC;AACnF,CAAC;AAED,SAAgB,6BAA6B,CAAC,EAAkB;IAC9D,gBAAgB,CACd,EAAE,EACF,CAAC,GAAG,4BAAoB,EAAE,GAAG,2CAAmC,CAAC,EACjE,6BAAqB,EACrB,4BAAoB,CACrB,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,EAAkB,EAClB,KAAwB,EACxB,OAA0B,EAC1B,WAA8B,EAAE;IAEhC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,0BAA0B,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,wBAAwB,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;IACT,CAAC;IAED,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAiC;;;qBAGrC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;GACjD,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;IAEjB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxB,EAAE,CAAC,IAAI,CAAC,uBAAuB,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;QAC9C,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAChC,EAAE,CAAC,IAAI,CAAC,wBAAwB,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;AACH,CAAC","sourcesContent":["import type { SqliteDatabase } from '../SqliteRuntime';\n\nexport const RDF3X_GRAPH_PROJECTION_TABLE = 'rdf3x_stat_g';\nexport const RDF3X_DIRTY_GRAPH_TABLE = 'rdf3x_dirty_graphs';\nexport const RDF3X_DIRTY_PAIR_TABLE = 'rdf3x_dirty_pairs';\nexport const RDF3X_DIRTY_TERM_TABLE = 'rdf3x_dirty_terms';\n\nexport const RDF3X_PAIR_PROJECTION_TABLE_BY_NAME = {\n  SP: 'rdf3x_stat_sp',\n  SO: 'rdf3x_stat_so',\n  PS: 'rdf3x_stat_ps',\n  PO: 'rdf3x_stat_po',\n  OS: 'rdf3x_stat_os',\n  OP: 'rdf3x_stat_op',\n} as const;\n\nexport const RDF3X_TERM_PROJECTION_TABLE_BY_NAME = {\n  S: 'rdf3x_stat_s',\n  P: 'rdf3x_stat_p',\n  O: 'rdf3x_stat_o',\n} as const;\n\nexport const RDF3X_DERIVED_TABLES = [\n  'rdf3x_metadata',\n  RDF3X_GRAPH_PROJECTION_TABLE,\n  ...Object.values(RDF3X_PAIR_PROJECTION_TABLE_BY_NAME),\n  ...Object.values(RDF3X_TERM_PROJECTION_TABLE_BY_NAME),\n  RDF3X_DIRTY_GRAPH_TABLE,\n  RDF3X_DIRTY_PAIR_TABLE,\n  RDF3X_DIRTY_TERM_TABLE,\n] as const;\n\nexport const RDF3X_MATERIALIZED_FACT_COPY_TABLES = [\n  'rdf3x_triple_membership',\n  'rdf3x_spo',\n  'rdf3x_sop',\n  'rdf3x_pso',\n  'rdf3x_pos',\n  'rdf3x_osp',\n  'rdf3x_ops',\n] as const;\n\nexport const RDF3X_DERIVED_INDEXES = [\n  'rdf3x_membership_gspo',\n  'rdf3x_membership_spo',\n  'rdf3x_membership_source',\n] as const;\n\nexport const RDF3X_DIRTY_TRIGGERS = [\n  'rdf3x_dirty_quads_insert',\n  'rdf3x_dirty_quads_delete',\n  'rdf3x_dirty_quads_update',\n] as const;\n\nexport function dropRdf3xMaterializedFactCopies(db: SqliteDatabase): void {\n  dropRdf3xObjects(db, RDF3X_MATERIALIZED_FACT_COPY_TABLES, RDF3X_DERIVED_INDEXES);\n}\n\nexport function dropRdf3xDerivedSchemaObjects(db: SqliteDatabase): void {\n  dropRdf3xObjects(\n    db,\n    [...RDF3X_DERIVED_TABLES, ...RDF3X_MATERIALIZED_FACT_COPY_TABLES],\n    RDF3X_DERIVED_INDEXES,\n    RDF3X_DIRTY_TRIGGERS,\n  );\n}\n\nfunction dropRdf3xObjects(\n  db: SqliteDatabase,\n  names: readonly string[],\n  indexes: readonly string[],\n  triggers: readonly string[] = [],\n): void {\n  if (triggers.length > 0) {\n    db.exec(triggers.map((trigger) => `DROP TRIGGER IF EXISTS ${trigger};`).join('\\n'));\n  }\n  db.exec(indexes.map((index) => `DROP INDEX IF EXISTS ${index};`).join('\\n'));\n  if (names.length === 0) {\n    return;\n  }\n\n  const rows = db.prepare<{ name: string; type: string }>(`\n    SELECT name, type\n    FROM sqlite_schema\n    WHERE name IN (${names.map(() => '?').join(', ')})\n  `).all(...names);\n\n  for (const row of rows) {\n    if (row.type === 'view') {\n      db.exec(`DROP VIEW IF EXISTS ${row.name};`);\n    } else if (row.type === 'table') {\n      db.exec(`DROP TABLE IF EXISTS ${row.name};`);\n    }\n  }\n}\n"]}

package/dist/storage/rdf/RdfAccessScope.d.ts

@@ -0,0 +1,22 @@
+import type { RdfQuery, RdfQueryCacheScope } from './types';
+export declare const RdfAccessMode: {
+    readonly READ: "read";
+    readonly APPEND: "append";
+    readonly DELETE: "delete";
+    readonly WRITE: "write";
+};
+export type RdfAccessMode = typeof RdfAccessMode[keyof typeof RdfAccessMode];
+export interface RdfAccessScope {
+    basePath: string;
+    mode: RdfAccessMode;
+    principal?: string;
+    allowedGraphUrls?: string[];
+    deniedGraphUrls?: string[];
+    deniedGraphPrefixes?: string[];
+    version?: string;
+}
+export declare function isRestrictiveRdfAccessScope(scope?: RdfAccessScope): boolean;
+export declare function rdfAccessCacheScope(scope?: RdfAccessScope): RdfQueryCacheScope | undefined;
+export declare function applyRdfAccessScope(query: RdfQuery, scope?: RdfAccessScope): RdfQuery;
+export declare function filterRdfAccessGraphs(graphs: Iterable<string>, scope?: RdfAccessScope): Set<string>;
+export declare function rdfAccessGraphAllowed(graph: string, scope: RdfAccessScope): boolean;

package/dist/storage/rdf/RdfAccessScope.js

@@ -0,0 +1,345 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RdfAccessMode = void 0;
+exports.isRestrictiveRdfAccessScope = isRestrictiveRdfAccessScope;
+exports.rdfAccessCacheScope = rdfAccessCacheScope;
+exports.applyRdfAccessScope = applyRdfAccessScope;
+exports.filterRdfAccessGraphs = filterRdfAccessGraphs;
+exports.rdfAccessGraphAllowed = rdfAccessGraphAllowed;
+const n3_1 = require("n3");
+const types_1 = require("../quint/types");
+exports.RdfAccessMode = {
+    READ: 'read',
+    APPEND: 'append',
+    DELETE: 'delete',
+    WRITE: 'write',
+};
+function isRestrictiveRdfAccessScope(scope) {
+    return Boolean(scope
+        && ((scope.allowedGraphUrls?.length ?? 0) > 0
+            || (scope.deniedGraphUrls?.length ?? 0) > 0
+            || (scope.deniedGraphPrefixes?.length ?? 0) > 0));
+}
+function rdfAccessCacheScope(scope) {
+    if (!scope) {
+        return undefined;
+    }
+    return {
+        mode: scope.mode,
+        principal: scope.principal ?? 'anonymous',
+        basePath: scope.basePath,
+        permissionVersion: scope.version ?? 'unversioned',
+        allowedGraphUrls: scope.allowedGraphUrls,
+        deniedGraphUrls: scope.deniedGraphUrls,
+        deniedGraphPrefixes: scope.deniedGraphPrefixes,
+    };
+}
+function applyRdfAccessScope(query, scope) {
+    const cacheScope = rdfAccessCacheScope(scope);
+    if (!scope) {
+        return query;
+    }
+    const state = {
+        impossibleGraph: n3_1.DataFactory.namedNode('urn:xpod:rdf-access-denied'),
+    };
+    const scoped = applyScopeToQuery(query, scope, state);
+    return {
+        ...scoped,
+        cache: {
+            ...scoped.cache,
+            scope: mergeRdfQueryCacheScopes(scoped.cache?.scope, cacheScope),
+        },
+    };
+}
+function mergeRdfQueryCacheScopes(existing, access) {
+    if (!existing) {
+        return access;
+    }
+    if (!access) {
+        return existing;
+    }
+    return [existing, access];
+}
+function filterRdfAccessGraphs(graphs, scope) {
+    if (!scope) {
+        return new Set(graphs);
+    }
+    const filtered = new Set();
+    for (const graph of graphs) {
+        if (rdfAccessGraphAllowed(graph, scope)) {
+            filtered.add(graph);
+        }
+    }
+    return filtered;
+}
+function rdfAccessGraphAllowed(graph, scope) {
+    if (!graph.startsWith(scope.basePath)) {
+        return false;
+    }
+    if (scope.allowedGraphUrls?.length && !scope.allowedGraphUrls.includes(graph)) {
+        return false;
+    }
+    if (scope.deniedGraphUrls?.includes(graph)) {
+        return false;
+    }
+    return !(scope.deniedGraphPrefixes ?? []).some((prefix) => graph.startsWith(prefix));
+}
+function applyScopeToQuery(query, scope, state) {
+    const rootFilters = [...(query.filters ?? [])];
+    const patterns = (query.patterns ?? []).map((pattern) => scopePattern(pattern, rootFilters, scope, state));
+    return {
+        ...query,
+        patterns,
+        filters: rootFilters.length > 0 ? rootFilters : undefined,
+        unions: query.unions?.map((group) => scopeUnionGroup(group, scope, state)),
+        minus: query.minus?.map((group) => scopeMinusGroup(group, scope, state)),
+        exists: query.exists?.map((group) => scopeExistsGroup(group, scope, state)),
+        optional: query.optional?.map((group) => scopeOptionalGroup(group, scope, state)),
+        textSearch: query.textSearch?.map((pattern) => scopeTextSearch(pattern, scope)),
+        vectorSearch: query.vectorSearch?.map((pattern) => scopeVectorSearch(pattern, scope)),
+    };
+}
+function scopeTextSearch(pattern, scope) {
+    return {
+        ...pattern,
+        scope: scopeSearchSources(pattern.scope, scope),
+    };
+}
+function scopeVectorSearch(pattern, scope) {
+    return {
+        ...pattern,
+        scope: scopeSearchSources(pattern.scope, scope),
+    };
+}
+function scopeUnionGroup(group, scope, state) {
+    return {
+        branches: group.branches.map((branch) => scopeUnionBranch(branch, scope, state)),
+    };
+}
+function scopeUnionBranch(branch, scope, state) {
+    const filters = [...(branch.filters ?? [])];
+    return {
+        ...branch,
+        patterns: branch.patterns.map((pattern) => scopePattern(pattern, filters, scope, state)),
+        filters: filters.length > 0 ? filters : undefined,
+        unions: branch.unions?.map((group) => scopeUnionGroup(group, scope, state)),
+        optional: branch.optional?.map((group) => scopeOptionalGroup(group, scope, state)),
+    };
+}
+function scopeMinusGroup(group, scope, state) {
+    const filters = [...(group.filters ?? [])];
+    return {
+        ...group,
+        patterns: group.patterns.map((pattern) => scopePattern(pattern, filters, scope, state)),
+        filters: filters.length > 0 ? filters : undefined,
+        unions: group.unions?.map((union) => scopeUnionGroup(union, scope, state)),
+    };
+}
+function scopeExistsGroup(group, scope, state) {
+    const filters = [...(group.filters ?? [])];
+    return {
+        ...group,
+        patterns: group.patterns.map((pattern) => scopePattern(pattern, filters, scope, state)),
+        filters: filters.length > 0 ? filters : undefined,
+        unions: group.unions?.map((union) => scopeUnionGroup(union, scope, state)),
+    };
+}
+function scopeOptionalGroup(group, scope, state) {
+    if (Array.isArray(group)) {
+        const ignoredFilters = [];
+        return group.map((pattern) => scopePattern(pattern, ignoredFilters, scope, state));
+    }
+    const filters = [...(group.filters ?? [])];
+    return {
+        ...group,
+        patterns: group.patterns.map((pattern) => scopePattern(pattern, filters, scope, state)),
+        filters: filters.length > 0 ? filters : undefined,
+        unions: group.unions?.map((union) => scopeUnionGroup(union, scope, state)),
+        optional: group.optional?.map((optional) => scopeOptionalGroup(optional, scope, state)),
+        minus: group.minus?.map((minus) => scopeMinusGroup(minus, scope, state)),
+        exists: group.exists?.map((exists) => scopeExistsGroup(exists, scope, state)),
+    };
+}
+function scopePattern(pattern, filters, scope, state) {
+    const graph = pattern.graph ?? { $startsWith: scope.basePath };
+    if (isVariable(graph)) {
+        addGraphAccessFilters(filters, graph.variable, scope);
+        return pattern.graph ? pattern : { ...pattern, graph };
+    }
+    if ((0, types_1.isTerm)(graph)) {
+        return rdfAccessGraphAllowed(graph.value, scope)
+            ? pattern
+            : { ...pattern, graph: state.impossibleGraph };
+    }
+    return {
+        ...pattern,
+        graph: scopeGraphOperators(graph, scope, state.impossibleGraph),
+    };
+}
+function scopeGraphOperators(graph, scope, impossibleGraph) {
+    const operators = { ...graph };
+    const prefix = intersectSourcePrefix(typeof operators.$startsWith === 'string' ? operators.$startsWith : undefined, scope.basePath);
+    if (prefix === false) {
+        return impossibleGraph;
+    }
+    if (prefix) {
+        operators.$startsWith = prefix;
+    }
+    if (scope.allowedGraphUrls?.length) {
+        const allowedTerms = scope.allowedGraphUrls
+            .filter((url) => graphOperatorsMayMatch(operators, url))
+            .map((url) => n3_1.DataFactory.namedNode(url));
+        if (allowedTerms.length === 0) {
+            return impossibleGraph;
+        }
+        operators.$in = intersectTermArrays(operators.$in, allowedTerms);
+        if (operators.$in.length === 0) {
+            return impossibleGraph;
+        }
+    }
+    if (scope.deniedGraphUrls?.length) {
+        const deniedTerms = scope.deniedGraphUrls.map((url) => n3_1.DataFactory.namedNode(url));
+        operators.$notIn = unionTermArrays(operators.$notIn, deniedTerms);
+    }
+    return operators;
+}
+function graphOperatorsMayMatch(graph, graphUrl) {
+    if (isVariable(graph)) {
+        return true;
+    }
+    if ((0, types_1.isTerm)(graph)) {
+        return graph.value === graphUrl;
+    }
+    const operators = graph;
+    if (operators.$startsWith !== undefined && typeof operators.$startsWith === 'string' && !graphUrl.startsWith(operators.$startsWith)) {
+        return false;
+    }
+    if (Array.isArray(operators.$in) && !operators.$in.some((value) => (0, types_1.isTerm)(value) && value.value === graphUrl)) {
+        return false;
+    }
+    if (Array.isArray(operators.$notIn) && operators.$notIn.some((value) => (0, types_1.isTerm)(value) && value.value === graphUrl)) {
+        return false;
+    }
+    return true;
+}
+function addGraphAccessFilters(filters, variable, scope) {
+    filters.push({
+        variable,
+        operator: '$startsWith',
+        value: scope.basePath,
+    });
+    if (scope.allowedGraphUrls?.length) {
+        filters.push({
+            variable,
+            operator: '$in',
+            values: scope.allowedGraphUrls.map((url) => n3_1.DataFactory.namedNode(url)),
+        });
+    }
+    if (scope.deniedGraphUrls?.length) {
+        filters.push({
+            variable,
+            operator: '$notIn',
+            values: scope.deniedGraphUrls.map((url) => n3_1.DataFactory.namedNode(url)),
+        });
+    }
+    for (const prefix of scope.deniedGraphPrefixes ?? []) {
+        filters.push({
+            variable,
+            operator: '$notStartsWith',
+            value: prefix,
+        });
+    }
+}
+function isVariable(value) {
+    return Boolean(value && typeof value === 'object' && 'variable' in value);
+}
+function intersectTermArrays(existing, incoming) {
+    if (!Array.isArray(existing)) {
+        return incoming;
+    }
+    const incomingValues = new Set(incoming.map((term) => term.value));
+    return existing.filter((value) => (0, types_1.isTerm)(value) && incomingValues.has(value.value));
+}
+function unionTermArrays(existing, incoming) {
+    const byValue = new Map();
+    if (Array.isArray(existing)) {
+        for (const value of existing) {
+            if ((0, types_1.isTerm)(value)) {
+                byValue.set(value.value, value);
+            }
+        }
+    }
+    for (const term of incoming) {
+        byValue.set(term.value, term);
+    }
+    return [...byValue.values()];
+}
+function scopeSearchSources(existing, scope) {
+    const prefix = intersectSourcePrefix(existing?.sourcePrefix, scope.basePath);
+    const deniedPrefixes = unionStringArrays(existing?.deniedSourcePrefixes, scope.deniedGraphPrefixes);
+    const deniedSources = unionStringArrays(existing?.deniedSources, scope.deniedGraphUrls);
+    if (prefix === false) {
+        return {
+            ...existing,
+            allowedSources: [],
+            deniedSources,
+            deniedSourcePrefixes: deniedPrefixes,
+        };
+    }
+    const allowedFromScope = scope.allowedGraphUrls
+        ? scope.allowedGraphUrls.filter((source) => sourceMatchesPrefix(source, prefix))
+        : undefined;
+    const allowedSources = filterStringsByPrefix(intersectStringArrays(existing?.allowedSources, allowedFromScope), prefix);
+    return {
+        ...existing,
+        accessBasePath: scope.basePath,
+        ...(prefix ? { sourcePrefix: prefix } : {}),
+        ...(allowedSources ? { allowedSources } : {}),
+        ...(deniedSources ? { deniedSources } : {}),
+        ...(deniedPrefixes ? { deniedSourcePrefixes: deniedPrefixes } : {}),
+    };
+}
+function intersectSourcePrefix(left, right) {
+    if (!left) {
+        return right;
+    }
+    if (!right) {
+        return left;
+    }
+    if (left.startsWith(right)) {
+        return left;
+    }
+    if (right.startsWith(left)) {
+        return right;
+    }
+    return false;
+}
+function intersectStringArrays(left, right) {
+    if (!left) {
+        return right ? uniqueStrings(right) : undefined;
+    }
+    if (!right) {
+        return uniqueStrings(left);
+    }
+    const rightSet = new Set(right);
+    return uniqueStrings(left.filter((value) => rightSet.has(value)));
+}
+function unionStringArrays(left, right) {
+    if (!left && !right) {
+        return undefined;
+    }
+    return uniqueStrings([...(left ?? []), ...(right ?? [])]);
+}
+function filterStringsByPrefix(values, prefix) {
+    if (!values || !prefix) {
+        return values;
+    }
+    return values.filter((value) => value.startsWith(prefix));
+}
+function sourceMatchesPrefix(source, prefix) {
+    return !prefix || source.startsWith(prefix);
+}
+function uniqueStrings(values) {
+    return [...new Set(values.filter((value) => value.length > 0))].sort();
+}
+//# sourceMappingURL=RdfAccessScope.js.map

package/dist/storage/rdf/RdfAccessScope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RdfAccessScope.js","sourceRoot":"","sources":["../../../src/storage/rdf/RdfAccessScope.ts"],"names":[],"mappings":";;;AA2CA,kEASC;AAED,kDAaC;AAED,kDAiBC;AAeD,sDAWC;AAED,sDAWC;AA7HD,2BAAiC;AAEjC,0CAAwC;AAkB3B,QAAA,aAAa,GAAG;IAC3B,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,KAAK,EAAE,OAAO;CACN,CAAC;AAkBX,SAAgB,2BAA2B,CAAC,KAAsB;IAChE,OAAO,OAAO,CACZ,KAAK;WACA,CACD,CAAC,KAAK,CAAC,gBAAgB,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;eACtC,CAAC,KAAK,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;eACxC,CAAC,KAAK,CAAC,mBAAmB,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAChD,CACJ,CAAC;AACJ,CAAC;AAED,SAAgB,mBAAmB,CAAC,KAAsB;IACxD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,WAAW;QACzC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,iBAAiB,EAAE,KAAK,CAAC,OAAO,IAAI,aAAa;QACjD,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;KAC/C,CAAC;AACJ,CAAC;AAED,SAAgB,mBAAmB,CAAC,KAAe,EAAE,KAAsB;IACzE,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,KAAK,GAAe;QACxB,eAAe,EAAE,gBAAW,CAAC,SAAS,CAAC,4BAA4B,CAAoB;KACxF,CAAC;IACF,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACtD,OAAO;QACL,GAAG,MAAM;QACT,KAAK,EAAE;YACL,GAAG,MAAM,CAAC,KAAK;YACf,KAAK,EAAE,wBAAwB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC;SACjE;KACF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAwC,EACxC,MAAsC;IAEtC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,SAAgB,qBAAqB,CAAC,MAAwB,EAAE,KAAsB;IACpF,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;YACxC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAgB,qBAAqB,CAAC,KAAa,EAAE,KAAqB;IACxE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,EAAE,MAAM,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,CAAC,KAAK,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAe,EAAE,KAAqB,EAAE,KAAiB;IAClF,MAAM,WAAW,GAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC3G,OAAO;QACL,GAAG,KAAK;QACR,QAAQ;QACR,OAAO,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;QACzD,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC1E,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACxE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3E,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACjF,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC/E,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;KACtF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,OAA6B,EAAE,KAAqB;IAC3E,OAAO;QACL,GAAG,OAAO;QACV,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,OAA+B,EAAE,KAAqB;IAC/E,OAAO;QACL,GAAG,OAAO;QACV,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,KAAyB,EAAE,KAAqB,EAAE,KAAiB;IAC1F,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;KACjF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,MAA2B,EAAE,KAAqB,EAAE,KAAiB;IAC7F,MAAM,OAAO,GAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9D,OAAO;QACL,GAAG,MAAM;QACT,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACxF,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QACjD,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3E,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;KACnF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,KAAyB,EAAE,KAAqB,EAAE,KAAiB;IAC1F,MAAM,OAAO,GAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7D,OAAO;QACL,GAAG,KAAK;QACR,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACvF,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QACjD,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;KAC3E,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA0B,EAAE,KAAqB,EAAE,KAAiB;IAC5F,MAAM,OAAO,GAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7D,OAAO;QACL,GAAG,KAAK;QACR,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACvF,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QACjD,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;KAC3E,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAgD,EAChD,KAAqB,EACrB,KAAiB;IAEjB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,cAAc,GAAqB,EAAE,CAAC;QAC5C,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACrF,CAAC;IAED,MAAM,OAAO,GAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7D,OAAO;QACL,GAAG,KAAK;QACR,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACvF,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QACjD,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC1E,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACvF,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACxE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;KAC9E,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,OAAwB,EACxB,OAAyB,EACzB,KAAqB,EACrB,KAAiB;IAEjB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,EAAE,WAAW,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;IAC/D,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACtD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,CAAC;IACzD,CAAC;IACD,IAAI,IAAA,cAAM,EAAC,KAAY,CAAC,EAAE,CAAC;QACzB,OAAO,qBAAqB,CAAE,KAAc,CAAC,KAAK,EAAE,KAAK,CAAC;YACxD,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,eAAe,EAAE,CAAC;IACnD,CAAC;IACD,OAAO;QACL,GAAG,OAAO;QACV,KAAK,EAAE,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,eAAe,CAAC;KAChE,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAA0B,EAC1B,KAAqB,EACrB,eAAqB;IAErB,MAAM,SAAS,GAAG,EAAE,GAAI,KAAiC,EAAE,CAAC;IAC5D,MAAM,MAAM,GAAG,qBAAqB,CAClC,OAAO,SAAS,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,EAC7E,KAAK,CAAC,QAAQ,CACf,CAAC;IACF,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QACrB,OAAO,eAAe,CAAC;IACzB,CAAC;IACD,IAAI,MAAM,EAAE,CAAC;QACX,SAAS,CAAC,WAAW,GAAG,MAAM,CAAC;IACjC,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,EAAE,MAAM,EAAE,CAAC;QACnC,MAAM,YAAY,GAAG,KAAK,CAAC,gBAAgB;aACxC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,sBAAsB,CAAC,SAAgC,EAAE,GAAG,CAAC,CAAC;aAC9E,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAW,CAAC,SAAS,CAAC,GAAG,CAAoB,CAAC,CAAC;QAC/D,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,eAAe,CAAC;QACzB,CAAC;QACD,SAAS,CAAC,GAAG,GAAG,mBAAmB,CAAC,SAAS,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QACjE,IAAK,SAAS,CAAC,GAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3C,OAAO,eAAe,CAAC;QACzB,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,EAAE,MAAM,EAAE,CAAC;QAClC,MAAM,WAAW,GAAG,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAW,CAAC,SAAS,CAAC,GAAG,CAAoB,CAAC,CAAC;QACtG,SAAS,CAAC,MAAM,GAAG,eAAe,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,SAAgC,CAAC;AAC1C,CAAC;AAED,SAAS,sBAAsB,CAAC,KAA0B,EAAE,QAAgB;IAC1E,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAA,cAAM,EAAC,KAAY,CAAC,EAAE,CAAC;QACzB,OAAQ,KAAc,CAAC,KAAK,KAAK,QAAQ,CAAC;IAC5C,CAAC;IACD,MAAM,SAAS,GAAG,KAAgC,CAAC;IACnD,IAAI,SAAS,CAAC,WAAW,KAAK,SAAS,IAAI,OAAO,SAAS,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;QACpI,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAA,cAAM,EAAC,KAAY,CAAC,IAAK,KAAc,CAAC,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;QAC/H,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAA,cAAM,EAAC,KAAY,CAAC,IAAK,KAAc,CAAC,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;QACpI,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAyB,EAAE,QAAgB,EAAE,KAAqB;IAC/F,OAAO,CAAC,IAAI,CAAC;QACX,QAAQ;QACR,QAAQ,EAAE,aAAa;QACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;KACtB,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,gBAAgB,EAAE,MAAM,EAAE,CAAC;QACnC,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ;YACR,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAW,CAAC,SAAS,CAAC,GAAG,CAAoB,CAAC;SAC3F,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,EAAE,MAAM,EAAE,CAAC;QAClC,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ;YACR,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAW,CAAC,SAAS,CAAC,GAAG,CAAoB,CAAC;SAC1F,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,mBAAmB,IAAI,EAAE,EAAE,CAAC;QACrD,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ;YACR,QAAQ,EAAE,gBAAgB;YAC1B,KAAK,EAAE,MAAM;SACd,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,KAA0B;IAC5C,OAAO,OAAO,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,UAAU,IAAI,KAAK,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAiB,EAAE,QAAgB;IAC9D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACnE,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAiB,EAAE,CAAC,IAAA,cAAM,EAAC,KAAY,CAAC,IAAI,cAAc,CAAC,GAAG,CAAE,KAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AACtH,CAAC;AAED,SAAS,eAAe,CAAC,QAAiB,EAAE,QAAgB;IAC1D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgB,CAAC;IACxC,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC7B,IAAI,IAAA,cAAM,EAAC,KAAY,CAAC,EAAE,CAAC;gBACzB,OAAO,CAAC,GAAG,CAAE,KAAc,CAAC,KAAK,EAAE,KAAa,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAoC,EAAE,KAAqB;IACrF,MAAM,MAAM,GAAG,qBAAqB,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC7E,MAAM,cAAc,GAAG,iBAAiB,CAAC,QAAQ,EAAE,oBAAoB,EAAE,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACpG,MAAM,aAAa,GAAG,iBAAiB,CAAC,QAAQ,EAAE,aAAa,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;IAExF,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QACrB,OAAO;YACL,GAAG,QAAQ;YACX,cAAc,EAAE,EAAE;YAClB,aAAa;YACb,oBAAoB,EAAE,cAAc;SACrC,CAAC;IACJ,CAAC;IAED,MAAM,gBAAgB,GAAG,KAAK,CAAC,gBAAgB;QAC7C,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAChF,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,cAAc,GAAG,qBAAqB,CAC1C,qBAAqB,CAAC,QAAQ,EAAE,cAAc,EAAE,gBAAgB,CAAC,EACjE,MAAM,CACP,CAAC;IAEF,OAAO;QACL,GAAG,QAAQ;QACX,cAAc,EAAE,KAAK,CAAC,QAAQ;QAC9B,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpE,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAwB,EAAE,KAAyB;IAChF,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,qBAAqB,CAAC,IAA0B,EAAE,KAA2B;IACpF,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClD,CAAC;IACD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAChC,OAAO,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,iBAAiB,CAAC,IAA0B,EAAE,KAA2B;IAChF,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,aAAa,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,qBAAqB,CAAC,MAA4B,EAAE,MAA0B;IACrF,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAc,EAAE,MAA0B;IACrE,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,aAAa,CAAC,MAAgB;IACrC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACzE,CAAC","sourcesContent":["import { DataFactory } from 'n3';\nimport type { Term } from '@rdfjs/types';\nimport { isTerm } from '../quint/types';\nimport type {\n  RdfQuery,\n  RdfQueryFilter,\n  RdfQueryPattern,\n  RdfQueryTermPattern,\n  RdfUnionQueryBranch,\n  RdfUnionQueryGroup,\n  RdfMinusQueryGroup,\n  RdfExistsQueryGroup,\n  RdfOptionalQueryGroup,\n  RdfQueryVariable,\n  RdfQueryCacheScope,\n  RdfSearchScope,\n  RdfTextSearchPattern,\n  RdfVectorSearchPattern,\n} from './types';\n\nexport const RdfAccessMode = {\n  READ: 'read',\n  APPEND: 'append',\n  DELETE: 'delete',\n  WRITE: 'write',\n} as const;\n\nexport type RdfAccessMode = typeof RdfAccessMode[keyof typeof RdfAccessMode];\n\nexport interface RdfAccessScope {\n  basePath: string;\n  mode: RdfAccessMode;\n  principal?: string;\n  allowedGraphUrls?: string[];\n  deniedGraphUrls?: string[];\n  deniedGraphPrefixes?: string[];\n  version?: string;\n}\n\ninterface ApplyState {\n  impossibleGraph: Term;\n}\n\nexport function isRestrictiveRdfAccessScope(scope?: RdfAccessScope): boolean {\n  return Boolean(\n    scope\n      && (\n        (scope.allowedGraphUrls?.length ?? 0) > 0\n        || (scope.deniedGraphUrls?.length ?? 0) > 0\n        || (scope.deniedGraphPrefixes?.length ?? 0) > 0\n      ),\n  );\n}\n\nexport function rdfAccessCacheScope(scope?: RdfAccessScope): RdfQueryCacheScope | undefined {\n  if (!scope) {\n    return undefined;\n  }\n  return {\n    mode: scope.mode,\n    principal: scope.principal ?? 'anonymous',\n    basePath: scope.basePath,\n    permissionVersion: scope.version ?? 'unversioned',\n    allowedGraphUrls: scope.allowedGraphUrls,\n    deniedGraphUrls: scope.deniedGraphUrls,\n    deniedGraphPrefixes: scope.deniedGraphPrefixes,\n  };\n}\n\nexport function applyRdfAccessScope(query: RdfQuery, scope?: RdfAccessScope): RdfQuery {\n  const cacheScope = rdfAccessCacheScope(scope);\n  if (!scope) {\n    return query;\n  }\n\n  const state: ApplyState = {\n    impossibleGraph: DataFactory.namedNode('urn:xpod:rdf-access-denied') as unknown as Term,\n  };\n  const scoped = applyScopeToQuery(query, scope, state);\n  return {\n    ...scoped,\n    cache: {\n      ...scoped.cache,\n      scope: mergeRdfQueryCacheScopes(scoped.cache?.scope, cacheScope),\n    },\n  };\n}\n\nfunction mergeRdfQueryCacheScopes(\n  existing: RdfQueryCacheScope | undefined,\n  access: RdfQueryCacheScope | undefined,\n): RdfQueryCacheScope | undefined {\n  if (!existing) {\n    return access;\n  }\n  if (!access) {\n    return existing;\n  }\n  return [existing, access];\n}\n\nexport function filterRdfAccessGraphs(graphs: Iterable<string>, scope?: RdfAccessScope): Set<string> {\n  if (!scope) {\n    return new Set(graphs);\n  }\n  const filtered = new Set<string>();\n  for (const graph of graphs) {\n    if (rdfAccessGraphAllowed(graph, scope)) {\n      filtered.add(graph);\n    }\n  }\n  return filtered;\n}\n\nexport function rdfAccessGraphAllowed(graph: string, scope: RdfAccessScope): boolean {\n  if (!graph.startsWith(scope.basePath)) {\n    return false;\n  }\n  if (scope.allowedGraphUrls?.length && !scope.allowedGraphUrls.includes(graph)) {\n    return false;\n  }\n  if (scope.deniedGraphUrls?.includes(graph)) {\n    return false;\n  }\n  return !(scope.deniedGraphPrefixes ?? []).some((prefix) => graph.startsWith(prefix));\n}\n\nfunction applyScopeToQuery(query: RdfQuery, scope: RdfAccessScope, state: ApplyState): RdfQuery {\n  const rootFilters: RdfQueryFilter[] = [...(query.filters ?? [])];\n  const patterns = (query.patterns ?? []).map((pattern) => scopePattern(pattern, rootFilters, scope, state));\n  return {\n    ...query,\n    patterns,\n    filters: rootFilters.length > 0 ? rootFilters : undefined,\n    unions: query.unions?.map((group) => scopeUnionGroup(group, scope, state)),\n    minus: query.minus?.map((group) => scopeMinusGroup(group, scope, state)),\n    exists: query.exists?.map((group) => scopeExistsGroup(group, scope, state)),\n    optional: query.optional?.map((group) => scopeOptionalGroup(group, scope, state)),\n    textSearch: query.textSearch?.map((pattern) => scopeTextSearch(pattern, scope)),\n    vectorSearch: query.vectorSearch?.map((pattern) => scopeVectorSearch(pattern, scope)),\n  };\n}\n\nfunction scopeTextSearch(pattern: RdfTextSearchPattern, scope: RdfAccessScope): RdfTextSearchPattern {\n  return {\n    ...pattern,\n    scope: scopeSearchSources(pattern.scope, scope),\n  };\n}\n\nfunction scopeVectorSearch(pattern: RdfVectorSearchPattern, scope: RdfAccessScope): RdfVectorSearchPattern {\n  return {\n    ...pattern,\n    scope: scopeSearchSources(pattern.scope, scope),\n  };\n}\n\nfunction scopeUnionGroup(group: RdfUnionQueryGroup, scope: RdfAccessScope, state: ApplyState): RdfUnionQueryGroup {\n  return {\n    branches: group.branches.map((branch) => scopeUnionBranch(branch, scope, state)),\n  };\n}\n\nfunction scopeUnionBranch(branch: RdfUnionQueryBranch, scope: RdfAccessScope, state: ApplyState): RdfUnionQueryBranch {\n  const filters: RdfQueryFilter[] = [...(branch.filters ?? [])];\n  return {\n    ...branch,\n    patterns: branch.patterns.map((pattern) => scopePattern(pattern, filters, scope, state)),\n    filters: filters.length > 0 ? filters : undefined,\n    unions: branch.unions?.map((group) => scopeUnionGroup(group, scope, state)),\n    optional: branch.optional?.map((group) => scopeOptionalGroup(group, scope, state)),\n  };\n}\n\nfunction scopeMinusGroup(group: RdfMinusQueryGroup, scope: RdfAccessScope, state: ApplyState): RdfMinusQueryGroup {\n  const filters: RdfQueryFilter[] = [...(group.filters ?? [])];\n  return {\n    ...group,\n    patterns: group.patterns.map((pattern) => scopePattern(pattern, filters, scope, state)),\n    filters: filters.length > 0 ? filters : undefined,\n    unions: group.unions?.map((union) => scopeUnionGroup(union, scope, state)),\n  };\n}\n\nfunction scopeExistsGroup(group: RdfExistsQueryGroup, scope: RdfAccessScope, state: ApplyState): RdfExistsQueryGroup {\n  const filters: RdfQueryFilter[] = [...(group.filters ?? [])];\n  return {\n    ...group,\n    patterns: group.patterns.map((pattern) => scopePattern(pattern, filters, scope, state)),\n    filters: filters.length > 0 ? filters : undefined,\n    unions: group.unions?.map((union) => scopeUnionGroup(union, scope, state)),\n  };\n}\n\nfunction scopeOptionalGroup(\n  group: RdfQueryPattern[] | RdfOptionalQueryGroup,\n  scope: RdfAccessScope,\n  state: ApplyState,\n): RdfQueryPattern[] | RdfOptionalQueryGroup {\n  if (Array.isArray(group)) {\n    const ignoredFilters: RdfQueryFilter[] = [];\n    return group.map((pattern) => scopePattern(pattern, ignoredFilters, scope, state));\n  }\n\n  const filters: RdfQueryFilter[] = [...(group.filters ?? [])];\n  return {\n    ...group,\n    patterns: group.patterns.map((pattern) => scopePattern(pattern, filters, scope, state)),\n    filters: filters.length > 0 ? filters : undefined,\n    unions: group.unions?.map((union) => scopeUnionGroup(union, scope, state)),\n    optional: group.optional?.map((optional) => scopeOptionalGroup(optional, scope, state)),\n    minus: group.minus?.map((minus) => scopeMinusGroup(minus, scope, state)),\n    exists: group.exists?.map((exists) => scopeExistsGroup(exists, scope, state)),\n  };\n}\n\nfunction scopePattern(\n  pattern: RdfQueryPattern,\n  filters: RdfQueryFilter[],\n  scope: RdfAccessScope,\n  state: ApplyState,\n): RdfQueryPattern {\n  const graph = pattern.graph ?? { $startsWith: scope.basePath };\n  if (isVariable(graph)) {\n    addGraphAccessFilters(filters, graph.variable, scope);\n    return pattern.graph ? pattern : { ...pattern, graph };\n  }\n  if (isTerm(graph as any)) {\n    return rdfAccessGraphAllowed((graph as Term).value, scope)\n      ? pattern\n      : { ...pattern, graph: state.impossibleGraph };\n  }\n  return {\n    ...pattern,\n    graph: scopeGraphOperators(graph, scope, state.impossibleGraph),\n  };\n}\n\nfunction scopeGraphOperators(\n  graph: RdfQueryTermPattern,\n  scope: RdfAccessScope,\n  impossibleGraph: Term,\n): RdfQueryTermPattern {\n  const operators = { ...(graph as Record<string, unknown>) };\n  const prefix = intersectSourcePrefix(\n    typeof operators.$startsWith === 'string' ? operators.$startsWith : undefined,\n    scope.basePath,\n  );\n  if (prefix === false) {\n    return impossibleGraph;\n  }\n  if (prefix) {\n    operators.$startsWith = prefix;\n  }\n  if (scope.allowedGraphUrls?.length) {\n    const allowedTerms = scope.allowedGraphUrls\n      .filter((url) => graphOperatorsMayMatch(operators as RdfQueryTermPattern, url))\n      .map((url) => DataFactory.namedNode(url) as unknown as Term);\n    if (allowedTerms.length === 0) {\n      return impossibleGraph;\n    }\n    operators.$in = intersectTermArrays(operators.$in, allowedTerms);\n    if ((operators.$in as Term[]).length === 0) {\n      return impossibleGraph;\n    }\n  }\n  if (scope.deniedGraphUrls?.length) {\n    const deniedTerms = scope.deniedGraphUrls.map((url) => DataFactory.namedNode(url) as unknown as Term);\n    operators.$notIn = unionTermArrays(operators.$notIn, deniedTerms);\n  }\n  return operators as RdfQueryTermPattern;\n}\n\nfunction graphOperatorsMayMatch(graph: RdfQueryTermPattern, graphUrl: string): boolean {\n  if (isVariable(graph)) {\n    return true;\n  }\n  if (isTerm(graph as any)) {\n    return (graph as Term).value === graphUrl;\n  }\n  const operators = graph as Record<string, unknown>;\n  if (operators.$startsWith !== undefined && typeof operators.$startsWith === 'string' && !graphUrl.startsWith(operators.$startsWith)) {\n    return false;\n  }\n  if (Array.isArray(operators.$in) && !operators.$in.some((value) => isTerm(value as any) && (value as Term).value === graphUrl)) {\n    return false;\n  }\n  if (Array.isArray(operators.$notIn) && operators.$notIn.some((value) => isTerm(value as any) && (value as Term).value === graphUrl)) {\n    return false;\n  }\n  return true;\n}\n\nfunction addGraphAccessFilters(filters: RdfQueryFilter[], variable: string, scope: RdfAccessScope): void {\n  filters.push({\n    variable,\n    operator: '$startsWith',\n    value: scope.basePath,\n  });\n  if (scope.allowedGraphUrls?.length) {\n    filters.push({\n      variable,\n      operator: '$in',\n      values: scope.allowedGraphUrls.map((url) => DataFactory.namedNode(url) as unknown as Term),\n    });\n  }\n  if (scope.deniedGraphUrls?.length) {\n    filters.push({\n      variable,\n      operator: '$notIn',\n      values: scope.deniedGraphUrls.map((url) => DataFactory.namedNode(url) as unknown as Term),\n    });\n  }\n  for (const prefix of scope.deniedGraphPrefixes ?? []) {\n    filters.push({\n      variable,\n      operator: '$notStartsWith',\n      value: prefix,\n    });\n  }\n}\n\nfunction isVariable(value: RdfQueryTermPattern): value is RdfQueryVariable {\n  return Boolean(value && typeof value === 'object' && 'variable' in value);\n}\n\nfunction intersectTermArrays(existing: unknown, incoming: Term[]): Term[] {\n  if (!Array.isArray(existing)) {\n    return incoming;\n  }\n  const incomingValues = new Set(incoming.map((term) => term.value));\n  return existing.filter((value): value is Term => isTerm(value as any) && incomingValues.has((value as Term).value));\n}\n\nfunction unionTermArrays(existing: unknown, incoming: Term[]): Term[] {\n  const byValue = new Map<string, Term>();\n  if (Array.isArray(existing)) {\n    for (const value of existing) {\n      if (isTerm(value as any)) {\n        byValue.set((value as Term).value, value as Term);\n      }\n    }\n  }\n  for (const term of incoming) {\n    byValue.set(term.value, term);\n  }\n  return [...byValue.values()];\n}\n\nfunction scopeSearchSources(existing: RdfSearchScope | undefined, scope: RdfAccessScope): RdfSearchScope {\n  const prefix = intersectSourcePrefix(existing?.sourcePrefix, scope.basePath);\n  const deniedPrefixes = unionStringArrays(existing?.deniedSourcePrefixes, scope.deniedGraphPrefixes);\n  const deniedSources = unionStringArrays(existing?.deniedSources, scope.deniedGraphUrls);\n\n  if (prefix === false) {\n    return {\n      ...existing,\n      allowedSources: [],\n      deniedSources,\n      deniedSourcePrefixes: deniedPrefixes,\n    };\n  }\n\n  const allowedFromScope = scope.allowedGraphUrls\n    ? scope.allowedGraphUrls.filter((source) => sourceMatchesPrefix(source, prefix))\n    : undefined;\n  const allowedSources = filterStringsByPrefix(\n    intersectStringArrays(existing?.allowedSources, allowedFromScope),\n    prefix,\n  );\n\n  return {\n    ...existing,\n    accessBasePath: scope.basePath,\n    ...(prefix ? { sourcePrefix: prefix } : {}),\n    ...(allowedSources ? { allowedSources } : {}),\n    ...(deniedSources ? { deniedSources } : {}),\n    ...(deniedPrefixes ? { deniedSourcePrefixes: deniedPrefixes } : {}),\n  };\n}\n\nfunction intersectSourcePrefix(left: string | undefined, right: string | undefined): string | false | undefined {\n  if (!left) {\n    return right;\n  }\n  if (!right) {\n    return left;\n  }\n  if (left.startsWith(right)) {\n    return left;\n  }\n  if (right.startsWith(left)) {\n    return right;\n  }\n  return false;\n}\n\nfunction intersectStringArrays(left: string[] | undefined, right: string[] | undefined): string[] | undefined {\n  if (!left) {\n    return right ? uniqueStrings(right) : undefined;\n  }\n  if (!right) {\n    return uniqueStrings(left);\n  }\n  const rightSet = new Set(right);\n  return uniqueStrings(left.filter((value) => rightSet.has(value)));\n}\n\nfunction unionStringArrays(left: string[] | undefined, right: string[] | undefined): string[] | undefined {\n  if (!left && !right) {\n    return undefined;\n  }\n  return uniqueStrings([...(left ?? []), ...(right ?? [])]);\n}\n\nfunction filterStringsByPrefix(values: string[] | undefined, prefix: string | undefined): string[] | undefined {\n  if (!values || !prefix) {\n    return values;\n  }\n  return values.filter((value) => value.startsWith(prefix));\n}\n\nfunction sourceMatchesPrefix(source: string, prefix: string | undefined): boolean {\n  return !prefix || source.startsWith(prefix);\n}\n\nfunction uniqueStrings(values: string[]): string[] {\n  return [...new Set(values.filter((value) => value.length > 0))].sort();\n}\n"]}

package/dist/storage/rdf/RdfAccessScope.jsonld

@@ -0,0 +1,45 @@
+{
+  "@context": [
+    "https://linkedsoftwaredependencies.org/bundles/npm/@undefineds.co/xpod/^0.0.0/components/context.jsonld"
+  ],
+  "@id": "npmd:@undefineds.co/xpod",
+  "components": [
+    {
+      "@id": "undefineds:dist/storage/rdf/RdfAccessScope.jsonld#RdfAccessScope",
+      "@type": "AbstractClass",
+      "requireElement": "RdfAccessScope",
+      "parameters": [],
+      "memberFields": [
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfAccessScope.jsonld#RdfAccessScope__member_basePath",
+          "memberFieldName": "basePath"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfAccessScope.jsonld#RdfAccessScope__member_mode",
+          "memberFieldName": "mode"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfAccessScope.jsonld#RdfAccessScope__member_principal",
+          "memberFieldName": "principal"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfAccessScope.jsonld#RdfAccessScope__member_allowedGraphUrls",
+          "memberFieldName": "allowedGraphUrls"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfAccessScope.jsonld#RdfAccessScope__member_deniedGraphUrls",
+          "memberFieldName": "deniedGraphUrls"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfAccessScope.jsonld#RdfAccessScope__member_deniedGraphPrefixes",
+          "memberFieldName": "deniedGraphPrefixes"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/RdfAccessScope.jsonld#RdfAccessScope__member_version",
+          "memberFieldName": "version"
+        }
+      ],
+      "constructorArguments": []
+    }
+  ]
+}

package/dist/storage/rdf/RdfFusionRankPlan.d.ts

@@ -0,0 +1,2 @@
+import type { RdfQuery } from './types';
+export declare function describeFusionRankPlan(query: RdfQuery): string[];