@undefineds.co/xpod 0.3.5 → 0.3.14

package/dist/storage/rdf/ShadowRdfQuintStore.jsonld

@@ -0,0 +1,308 @@
+{
+  "@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/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStoreOptions",
+      "@type": "AbstractClass",
+      "requireElement": "ShadowRdfQuintStoreOptions",
+      "parameters": [],
+      "memberFields": [
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStoreOptions__member_compatibilityStore",
+          "memberFieldName": "compatibilityStore"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStoreOptions__member_index",
+          "memberFieldName": "index"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStoreOptions__member_autoOpen",
+          "memberFieldName": "autoOpen"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStoreOptions__member_autoBackfill",
+          "memberFieldName": "autoBackfill"
+        }
+      ],
+      "constructorArguments": []
+    },
+    {
+      "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore",
+      "@type": "Class",
+      "requireElement": "ShadowRdfQuintStore",
+      "extends": [
+        "undefineds:dist/storage/quint/types.jsonld#QuintStore"
+      ],
+      "comment": "Shadow-first bridge from the existing TEXT QuintStore to the term-id RDF index.  Reads keep using the compatibility store. Writes are mirrored into RdfQuadIndex so callers can run explicit shadow comparisons before any query path is switched to SolidRdfEngine.",
+      "parameters": [
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_compatibilityStore",
+          "range": "undefineds:dist/storage/quint/types.jsonld#QuintStore"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_index_path",
+          "range": "xsd:string"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_index_debug",
+          "range": {
+            "@type": "ParameterRangeUnion",
+            "parameterRangeElements": [
+              "xsd:boolean",
+              {
+                "@type": "ParameterRangeUndefined"
+              }
+            ]
+          }
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_autoOpen",
+          "range": {
+            "@type": "ParameterRangeUnion",
+            "parameterRangeElements": [
+              "xsd:boolean",
+              {
+                "@type": "ParameterRangeUndefined"
+              }
+            ]
+          }
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_autoBackfill_enabled",
+          "range": {
+            "@type": "ParameterRangeUnion",
+            "parameterRangeElements": [
+              "xsd:boolean",
+              {
+                "@type": "ParameterRangeUndefined"
+              }
+            ]
+          }
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_autoBackfill_clear",
+          "range": {
+            "@type": "ParameterRangeUnion",
+            "parameterRangeElements": [
+              "xsd:boolean",
+              {
+                "@type": "ParameterRangeUndefined"
+              }
+            ]
+          }
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_autoBackfill_batchSize",
+          "range": {
+            "@type": "ParameterRangeUnion",
+            "parameterRangeElements": [
+              "xsd:number",
+              {
+                "@type": "ParameterRangeUndefined"
+              }
+            ]
+          }
+        }
+      ],
+      "memberFields": [
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_index",
+          "memberFieldName": "index",
+          "range": "undefineds:dist/storage/rdf/RdfQuadIndex.jsonld#RdfQuadIndex"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_compatibilityStore",
+          "memberFieldName": "compatibilityStore"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_ownsIndex",
+          "memberFieldName": "ownsIndex"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_comparator",
+          "memberFieldName": "comparator"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_autoBackfill",
+          "memberFieldName": "autoBackfill"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_opened",
+          "memberFieldName": "opened"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_opening",
+          "memberFieldName": "opening"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_autoBackfilled",
+          "memberFieldName": "autoBackfilled"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_constructor",
+          "memberFieldName": "constructor"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_open",
+          "memberFieldName": "open"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_openOnce",
+          "memberFieldName": "openOnce"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_close",
+          "memberFieldName": "close"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_get",
+          "memberFieldName": "get"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_match",
+          "memberFieldName": "match"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_getByGraphPrefix",
+          "memberFieldName": "getByGraphPrefix"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_count",
+          "memberFieldName": "count"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_getCompound",
+          "memberFieldName": "getCompound"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_getAttributes",
+          "memberFieldName": "getAttributes"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_put",
+          "memberFieldName": "put"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_multiPut",
+          "memberFieldName": "multiPut"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_replaceSource",
+          "memberFieldName": "replaceSource"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_deleteSource",
+          "memberFieldName": "deleteSource"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_updateEmbedding",
+          "memberFieldName": "updateEmbedding"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_del",
+          "memberFieldName": "del"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_multiDel",
+          "memberFieldName": "multiDel"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_stats",
+          "memberFieldName": "stats"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_clear",
+          "memberFieldName": "clear"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_backfillShadowIndex",
+          "memberFieldName": "backfillShadowIndex"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_shadowGet",
+          "memberFieldName": "shadowGet"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_runAutoBackfill",
+          "memberFieldName": "runAutoBackfill"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_shouldAutoBackfill",
+          "memberFieldName": "shouldAutoBackfill"
+        },
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore__member_autoBackfillOptions",
+          "memberFieldName": "autoBackfillOptions"
+        }
+      ],
+      "constructorArguments": [
+        {
+          "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options__constructorArgument",
+          "fields": [
+            {
+              "keyRaw": "compatibilityStore",
+              "value": {
+                "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_compatibilityStore"
+              }
+            },
+            {
+              "keyRaw": "index",
+              "value": {
+                "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_index__constructorArgument",
+                "fields": [
+                  {
+                    "keyRaw": "path",
+                    "value": {
+                      "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_index_path"
+                    }
+                  },
+                  {
+                    "keyRaw": "debug",
+                    "value": {
+                      "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_index_debug"
+                    }
+                  }
+                ]
+              }
+            },
+            {
+              "keyRaw": "autoOpen",
+              "value": {
+                "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_autoOpen"
+              }
+            },
+            {
+              "keyRaw": "autoBackfill",
+              "value": {
+                "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_autoBackfill__constructorArgument",
+                "fields": [
+                  {
+                    "keyRaw": "enabled",
+                    "value": {
+                      "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_autoBackfill_enabled"
+                    }
+                  },
+                  {
+                    "keyRaw": "clear",
+                    "value": {
+                      "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_autoBackfill_clear"
+                    }
+                  },
+                  {
+                    "keyRaw": "batchSize",
+                    "value": {
+                      "@id": "undefineds:dist/storage/rdf/ShadowRdfQuintStore.jsonld#ShadowRdfQuintStore_options_autoBackfill_batchSize"
+                    }
+                  }
+                ]
+              }
+            }
+          ]
+        }
+      ]
+    }
+  ]
+}

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

@@ -0,0 +1,51 @@
+import type { Quad } from '@rdfjs/types';
+import type { QuintPattern, QuintStore } from '../quint/types';
+import type { Rdf3xShadowJoinResult, Rdf3xShadowScanResult, Rdf3xTripleIndexOptions, RdfIndexPutOptions, RdfPatternQuery, RdfQuadJoinOptions, RdfQuadJoinPattern, RdfQuadIndexOptions, RdfQuadIndexScanResult, RdfSourceInput, RdfShadowScanResult, RdfTextChunkInput, RdfTextIndexOptions, RdfTextSearchOptions, RdfTextSearchResult, RdfTextSourceInput, RdfVectorChunkInput, RdfVectorIndexOptions, RdfVectorSearchOptions, RdfVectorSearchResult, RdfVectorSourceInput } from './types';
+import { RdfQuadIndex } from './RdfQuadIndex';
+import { Rdf3xTripleIndex } from './Rdf3xTripleIndex';
+import { RdfTextIndex } from './RdfTextIndex';
+import { RdfVectorIndex } from './RdfVectorIndex';
+import type { RdfLocalQuery, RdfLocalQueryResult } from './types';
+export interface SolidRdfEngineOptions {
+    index: RdfQuadIndex | RdfQuadIndexOptions;
+    textIndex?: RdfTextIndex | RdfTextIndexOptions;
+    vectorIndex?: RdfVectorIndex | RdfVectorIndexOptions;
+    rdf3xIndex?: Rdf3xTripleIndex | Rdf3xTripleIndexOptions;
+    compatibilityStore?: QuintStore;
+    autoOpen?: boolean;
+}
+export declare class SolidRdfEngine {
+    readonly index: RdfQuadIndex;
+    readonly textIndex?: RdfTextIndex;
+    readonly vectorIndex?: RdfVectorIndex;
+    readonly rdf3xIndex?: Rdf3xTripleIndex;
+    private readonly ownsIndex;
+    private readonly ownsTextIndex;
+    private readonly ownsVectorIndex;
+    private readonly ownsRdf3xIndex;
+    private readonly compatibilityStore?;
+    private shadowComparator?;
+    private readonly queryEngine;
+    constructor(options: SolidRdfEngineOptions);
+    open(): void;
+    close(): Promise<void>;
+    put(quads: Quad | Quad[], options?: RdfIndexPutOptions): void;
+    replaceSource(quads: Quad[], source: RdfSourceInput): void;
+    deleteSource(source: string): number;
+    delete(pattern: QuintPattern): number;
+    scan(query: RdfPatternQuery): RdfQuadIndexScanResult;
+    query(query: RdfLocalQuery): RdfLocalQueryResult;
+    indexTextSource(source: RdfTextSourceInput, text: string, chunks?: RdfTextChunkInput[]): void;
+    deleteTextSource(source: string): number;
+    searchText(options: RdfTextSearchOptions | string): RdfTextSearchResult[];
+    indexVectorSource(source: RdfVectorSourceInput, chunks: RdfVectorChunkInput[]): void;
+    deleteVectorSource(source: string): number;
+    searchVector(options: RdfVectorSearchOptions): RdfVectorSearchResult[];
+    shadowScan(query: RdfPatternQuery): Promise<RdfShadowScanResult>;
+    shadowRdf3xScan(query: RdfPatternQuery): Rdf3xShadowScanResult;
+    shadowRdf3xJoin(patterns: RdfQuadJoinPattern[], options?: RdfQuadJoinOptions): Rdf3xShadowJoinResult;
+    supportsPrimary(query: RdfPatternQuery): boolean;
+    private requireTextIndex;
+    private requireVectorIndex;
+    private requireRdf3xIndex;
+}

package/dist/storage/rdf/SolidRdfEngine.js

@@ -0,0 +1,264 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SolidRdfEngine = void 0;
+const n3_1 = require("n3");
+const types_1 = require("../quint/types");
+const RdfQuadIndex_1 = require("./RdfQuadIndex");
+const Rdf3xTripleIndex_1 = require("./Rdf3xTripleIndex");
+const RdfTextIndex_1 = require("./RdfTextIndex");
+const RdfVectorIndex_1 = require("./RdfVectorIndex");
+const RdfShadowComparator_1 = require("./RdfShadowComparator");
+const RdfLocalQueryEngine_1 = require("./RdfLocalQueryEngine");
+class SolidRdfEngine {
+    constructor(options) {
+        if (options.index instanceof RdfQuadIndex_1.RdfQuadIndex) {
+            this.index = options.index;
+            this.ownsIndex = false;
+        }
+        else {
+            this.index = new RdfQuadIndex_1.RdfQuadIndex(options.index);
+            this.ownsIndex = true;
+        }
+        if (options.textIndex instanceof RdfTextIndex_1.RdfTextIndex) {
+            this.textIndex = options.textIndex;
+            this.ownsTextIndex = false;
+        }
+        else if (isRdfTextIndexOptions(options.textIndex)) {
+            this.textIndex = new RdfTextIndex_1.RdfTextIndex(options.textIndex);
+            this.ownsTextIndex = true;
+        }
+        else {
+            this.ownsTextIndex = false;
+        }
+        if (options.vectorIndex instanceof RdfVectorIndex_1.RdfVectorIndex) {
+            this.vectorIndex = options.vectorIndex;
+            this.ownsVectorIndex = false;
+        }
+        else if (isRdfVectorIndexOptions(options.vectorIndex)) {
+            this.vectorIndex = new RdfVectorIndex_1.RdfVectorIndex(options.vectorIndex);
+            this.ownsVectorIndex = true;
+        }
+        else {
+            this.ownsVectorIndex = false;
+        }
+        if (options.rdf3xIndex instanceof Rdf3xTripleIndex_1.Rdf3xTripleIndex) {
+            this.rdf3xIndex = options.rdf3xIndex;
+            this.ownsRdf3xIndex = false;
+        }
+        else if (isRdf3xTripleIndexOptions(options.rdf3xIndex)) {
+            this.rdf3xIndex = new Rdf3xTripleIndex_1.Rdf3xTripleIndex(options.rdf3xIndex);
+            this.ownsRdf3xIndex = true;
+        }
+        else {
+            this.ownsRdf3xIndex = false;
+        }
+        this.compatibilityStore = options.compatibilityStore;
+        this.queryEngine = new RdfLocalQueryEngine_1.RdfLocalQueryEngine(this.index, this.textIndex, this.vectorIndex);
+        if (this.compatibilityStore) {
+            this.shadowComparator = new RdfShadowComparator_1.RdfShadowComparator(this.index, this.compatibilityStore);
+        }
+        if (options.autoOpen) {
+            this.open();
+        }
+    }
+    open() {
+        this.index.open();
+        this.textIndex?.open();
+        this.vectorIndex?.open();
+        this.rdf3xIndex?.open();
+    }
+    async close() {
+        if (this.ownsRdf3xIndex) {
+            this.rdf3xIndex?.close();
+        }
+        if (this.ownsVectorIndex) {
+            this.vectorIndex?.close();
+        }
+        if (this.ownsTextIndex) {
+            this.textIndex?.close();
+        }
+        if (this.ownsIndex) {
+            this.index.close();
+        }
+        if (this.compatibilityStore) {
+            await this.compatibilityStore.close();
+        }
+    }
+    put(quads, options) {
+        this.index.multiPut(Array.isArray(quads) ? quads : [quads], options);
+    }
+    replaceSource(quads, source) {
+        this.index.replaceSource(quads, source);
+    }
+    deleteSource(source) {
+        return this.index.deleteSource(source);
+    }
+    delete(pattern) {
+        return this.index.delete(pattern);
+    }
+    scan(query) {
+        return this.index.scan(query.pattern, query.options);
+    }
+    query(query) {
+        return this.queryEngine.query(query);
+    }
+    indexTextSource(source, text, chunks) {
+        this.requireTextIndex().indexText(source, text, chunks);
+    }
+    deleteTextSource(source) {
+        return this.requireTextIndex().deleteSource(source);
+    }
+    searchText(options) {
+        return this.requireTextIndex().search(typeof options === 'string' ? { query: options } : options);
+    }
+    indexVectorSource(source, chunks) {
+        this.requireVectorIndex().indexVector(source, chunks);
+    }
+    deleteVectorSource(source) {
+        return this.requireVectorIndex().deleteSource(source);
+    }
+    searchVector(options) {
+        return this.requireVectorIndex().search(options);
+    }
+    async shadowScan(query) {
+        if (!this.shadowComparator) {
+            throw new Error('SolidRdfEngine shadowScan requires a compatibility QuintStore');
+        }
+        return this.shadowComparator.compareScan(query);
+    }
+    shadowRdf3xScan(query) {
+        const rdf3xIndex = this.requireRdf3xIndex();
+        const rdf3xPattern = toRdf3xTriplePattern(query.pattern);
+        const rebuild = rdf3xIndex.rebuildFromCurrentQuads();
+        const primary = this.index.scan(query.pattern, query.options);
+        const rdf3x = rdf3xIndex.scan(rdf3xPattern, query.options);
+        const diff = (0, RdfShadowComparator_1.diffQuads)(rdf3x.quads, primary.quads);
+        const orderedMatch = canonicalQuadKeys(primary.quads).join('\n') === canonicalQuadKeys(rdf3x.quads).join('\n');
+        return {
+            matched: diff.missingFromPrimary.length === 0 && diff.extraInPrimary.length === 0,
+            orderedMatch,
+            primary: primary.quads,
+            rdf3x: rdf3x.quads,
+            diff: {
+                missingFromRdf3x: diff.extraInPrimary,
+                extraInRdf3x: diff.missingFromPrimary,
+            },
+            primaryMetrics: primary.metrics,
+            rdf3xMetrics: rdf3x.metrics,
+            rebuild,
+        };
+    }
+    shadowRdf3xJoin(patterns, options) {
+        const rdf3xIndex = this.requireRdf3xIndex();
+        const rebuild = rdf3xIndex.rebuildFromCurrentQuads();
+        const primary = this.index.joinPatterns(patterns, options);
+        const rdf3x = rdf3xIndex.joinPatterns(patterns, options);
+        const primaryKeys = primary.bindings.map(canonicalBindingKey);
+        const rdf3xKeys = rdf3x.bindings.map(canonicalBindingKey);
+        const diff = diffBindingKeys(rdf3xKeys, primaryKeys);
+        return {
+            matched: diff.missingFromRdf3x.length === 0 && diff.extraInRdf3x.length === 0,
+            orderedMatch: primaryKeys.join('\n') === rdf3xKeys.join('\n'),
+            primary: primary.bindings,
+            rdf3x: rdf3x.bindings,
+            diff,
+            primaryMetrics: primary.metrics,
+            rdf3xMetrics: rdf3x.metrics,
+            rebuild,
+        };
+    }
+    supportsPrimary(query) {
+        try {
+            this.index.scan(query.pattern, { ...query.options, limit: 0 });
+            return true;
+        }
+        catch {
+            return false;
+        }
+    }
+    requireTextIndex() {
+        if (!this.textIndex) {
+            throw new Error('SolidRdfEngine text index is not configured');
+        }
+        return this.textIndex;
+    }
+    requireVectorIndex() {
+        if (!this.vectorIndex) {
+            throw new Error('SolidRdfEngine vector index is not configured');
+        }
+        return this.vectorIndex;
+    }
+    requireRdf3xIndex() {
+        if (!this.rdf3xIndex) {
+            throw new Error('SolidRdfEngine RDF-3X shadow index is not configured');
+        }
+        return this.rdf3xIndex;
+    }
+}
+exports.SolidRdfEngine = SolidRdfEngine;
+function isRdfTextIndexOptions(input) {
+    return input !== undefined && !(input instanceof RdfTextIndex_1.RdfTextIndex) && typeof input.path === 'string';
+}
+function isRdfVectorIndexOptions(input) {
+    return input !== undefined && !(input instanceof RdfVectorIndex_1.RdfVectorIndex) && typeof input.path === 'string';
+}
+function isRdf3xTripleIndexOptions(input) {
+    return input !== undefined && !(input instanceof Rdf3xTripleIndex_1.Rdf3xTripleIndex) && typeof input.path === 'string';
+}
+function canonicalQuadKeys(quads) {
+    return quads.map((quad) => [
+        (0, n3_1.termToId)(quad.graph),
+        (0, n3_1.termToId)(quad.subject),
+        (0, n3_1.termToId)(quad.predicate),
+        (0, n3_1.termToId)(quad.object),
+    ].join('\u001f'));
+}
+function canonicalBindingKey(binding) {
+    return Object.keys(binding)
+        .sort()
+        .map((key) => `${key}=${(0, n3_1.termToId)(binding[key])}`)
+        .join('\u001f');
+}
+function diffBindingKeys(rdf3xKeys, primaryKeys) {
+    const rdf3xSet = new Set(rdf3xKeys);
+    const primarySet = new Set(primaryKeys);
+    return {
+        missingFromRdf3x: Array.from(primarySet).filter((key) => !rdf3xSet.has(key)).sort(),
+        extraInRdf3x: Array.from(rdf3xSet).filter((key) => !primarySet.has(key)).sort(),
+    };
+}
+function toRdf3xTriplePattern(pattern) {
+    const result = {};
+    for (const key of ['graph', 'subject', 'predicate', 'object']) {
+        const value = pattern[key];
+        if (!value) {
+            continue;
+        }
+        if (!(0, types_1.isTerm)(value)) {
+            if (key === 'graph' && isStartsWithOperator(value)) {
+                result.graph = { $startsWith: value.$startsWith };
+                continue;
+            }
+            if (key === 'object' && isNumericObjectRangeOperator(value)) {
+                result.object = value;
+                continue;
+            }
+            throw new Error(`SolidRdfEngine RDF-3X shadow scan only supports exact ${key} terms${key === 'graph' ? ' or graph $startsWith' : ''}`);
+        }
+        result[key] = value;
+    }
+    return result;
+}
+function isStartsWithOperator(value) {
+    return value !== null
+        && typeof value === 'object'
+        && '$startsWith' in value
+        && typeof value.$startsWith === 'string';
+}
+function isNumericObjectRangeOperator(value) {
+    return value !== null
+        && typeof value === 'object'
+        && !('termType' in value)
+        && ['$gt', '$gte', '$lt', '$lte'].some((operator) => operator in value);
+}
+//# sourceMappingURL=SolidRdfEngine.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SolidRdfEngine.js","sourceRoot":"","sources":["../../../src/storage/rdf/SolidRdfEngine.ts"],"names":[],"mappings":";;;AACA,2BAA8B;AAE9B,0CAAwC;AA0BxC,iDAA8C;AAC9C,yDAAsD;AACtD,iDAA8C;AAC9C,qDAAkD;AAClD,+DAAuE;AACvE,+DAA4D;AAY5D,MAAa,cAAc;IAazB,YAAmB,OAA8B;QAC/C,IAAI,OAAO,CAAC,KAAK,YAAY,2BAAY,EAAE,CAAC;YAC1C,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;YAC3B,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC;QACzB,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,GAAG,IAAI,2BAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC7C,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;QACxB,CAAC;QACD,IAAI,OAAO,CAAC,SAAS,YAAY,2BAAY,EAAE,CAAC;YAC9C,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;YACnC,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC;QAC7B,CAAC;aAAM,IAAI,qBAAqB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YACpD,IAAI,CAAC,SAAS,GAAG,IAAI,2BAAY,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACrD,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC;QAC5B,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC;QAC7B,CAAC;QACD,IAAI,OAAO,CAAC,WAAW,YAAY,+BAAc,EAAE,CAAC;YAClD,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;YACvC,IAAI,CAAC,eAAe,GAAG,KAAK,CAAC;QAC/B,CAAC;aAAM,IAAI,uBAAuB,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,WAAW,GAAG,IAAI,+BAAc,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAC3D,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC;QAC9B,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,eAAe,GAAG,KAAK,CAAC;QAC/B,CAAC;QACD,IAAI,OAAO,CAAC,UAAU,YAAY,mCAAgB,EAAE,CAAC;YACnD,IAAI,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;YACrC,IAAI,CAAC,cAAc,GAAG,KAAK,CAAC;QAC9B,CAAC;aAAM,IAAI,yBAAyB,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,UAAU,GAAG,IAAI,mCAAgB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAC3D,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,cAAc,GAAG,KAAK,CAAC;QAC9B,CAAC;QACD,IAAI,CAAC,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,CAAC;QACrD,IAAI,CAAC,WAAW,GAAG,IAAI,yCAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QACzF,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;YAC5B,IAAI,CAAC,gBAAgB,GAAG,IAAI,yCAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,CAAC;IACH,CAAC;IAEM,IAAI;QACT,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAClB,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC;QACzB,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC;IAC1B,CAAC;IAEM,KAAK,CAAC,KAAK;QAChB,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACxB,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC;QAC3B,CAAC;QACD,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YACzB,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC;QAC5B,CAAC;QACD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC;QAC1B,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACrB,CAAC;QACD,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;YAC5B,MAAM,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;QACxC,CAAC;IACH,CAAC;IAEM,GAAG,CAAC,KAAoB,EAAE,OAA4B;QAC3D,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC;IAEM,aAAa,CAAC,KAAa,EAAE,MAAsB;QACxD,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC1C,CAAC;IAEM,YAAY,CAAC,MAAc;QAChC,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IACzC,CAAC;IAEM,MAAM,CAAC,OAAqB;QACjC,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IAEM,IAAI,CAAC,KAAsB;QAChC,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IACvD,CAAC;IAEM,KAAK,CAAC,KAAoB;QAC/B,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IAEM,eAAe,CAAC,MAA0B,EAAE,IAAY,EAAE,MAA4B;QAC3F,IAAI,CAAC,gBAAgB,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1D,CAAC;IAEM,gBAAgB,CAAC,MAAc;QACpC,OAAO,IAAI,CAAC,gBAAgB,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IACtD,CAAC;IAEM,UAAU,CAAC,OAAsC;QACtD,OAAO,IAAI,CAAC,gBAAgB,EAAE,CAAC,MAAM,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACpG,CAAC;IAEM,iBAAiB,CAAC,MAA4B,EAAE,MAA6B;QAClF,IAAI,CAAC,kBAAkB,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxD,CAAC;IAEM,kBAAkB,CAAC,MAAc;QACtC,OAAO,IAAI,CAAC,kBAAkB,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC;IAEM,YAAY,CAAC,OAA+B;QACjD,OAAO,IAAI,CAAC,kBAAkB,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC;IAEM,KAAK,CAAC,UAAU,CAAC,KAAsB;QAC5C,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;QACnF,CAAC;QACD,OAAO,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC;IAEM,eAAe,CAAC,KAAsB;QAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC5C,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACzD,MAAM,OAAO,GAAG,UAAU,CAAC,uBAAuB,EAAE,CAAC;QACrD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,IAAA,+BAAS,EAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/G,OAAO;YACL,OAAO,EAAE,IAAI,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;YACjF,YAAY;YACZ,OAAO,EAAE,OAAO,CAAC,KAAK;YACtB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,IAAI,EAAE;gBACJ,gBAAgB,EAAE,IAAI,CAAC,cAAc;gBACrC,YAAY,EAAE,IAAI,CAAC,kBAAkB;aACtC;YACD,cAAc,EAAE,OAAO,CAAC,OAAO;YAC/B,YAAY,EAAE,KAAK,CAAC,OAAO;YAC3B,OAAO;SACR,CAAC;IACJ,CAAC;IAEM,eAAe,CACpB,QAA8B,EAC9B,OAA4B;QAE5B,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,UAAU,CAAC,uBAAuB,EAAE,CAAC;QACrD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,KAAK,GAAG,UAAU,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACzD,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QAC9D,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,eAAe,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QACrD,OAAO;YACL,OAAO,EAAE,IAAI,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;YAC7E,YAAY,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;YAC7D,OAAO,EAAE,OAAO,CAAC,QAAQ;YACzB,KAAK,EAAE,KAAK,CAAC,QAAQ;YACrB,IAAI;YACJ,cAAc,EAAE,OAAO,CAAC,OAAO;YAC/B,YAAY,EAAE,KAAK,CAAC,OAAO;YAC3B,OAAO;SACR,CAAC;IACJ,CAAC;IAEM,eAAe,CAAC,KAAsB;QAC3C,IAAI,CAAC;YACH,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YAC/D,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAEO,gBAAgB;QACtB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAEO,kBAAkB;QACxB,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IAEO,iBAAiB;QACvB,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;CACF;AArND,wCAqNC;AAED,SAAS,qBAAqB,CAAC,KAAqD;IAClF,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,YAAY,2BAAY,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;AACnG,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAyD;IACxF,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,YAAY,+BAAc,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;AACrG,CAAC;AAED,SAAS,yBAAyB,CAAC,KAA6D;IAC9F,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,YAAY,mCAAgB,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;AACvG,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa;IACtC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACzB,IAAA,aAAQ,EAAC,IAAI,CAAC,KAAY,CAAC;QAC3B,IAAA,aAAQ,EAAC,IAAI,CAAC,OAAc,CAAC;QAC7B,IAAA,aAAQ,EAAC,IAAI,CAAC,SAAgB,CAAC;QAC/B,IAAA,aAAQ,EAAC,IAAI,CAAC,MAAa,CAAC;KAC7B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAgC;IAC3D,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;SACxB,IAAI,EAAE;SACN,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,IAAA,aAAQ,EAAC,OAAO,CAAC,GAAG,CAAQ,CAAC,EAAE,CAAC;SACvD,IAAI,CAAC,QAAQ,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,eAAe,CACtB,SAAmB,EACnB,WAAqB;IAErB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IACpC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC;IACxC,OAAO;QACL,gBAAgB,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;QACnF,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;KAChF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAqB;IACjD,MAAM,MAAM,GAAuB,EAAE,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,CAAU,EAAE,CAAC;QACvE,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAA,cAAM,EAAC,KAAK,CAAC,EAAE,CAAC;YACnB,IAAI,GAAG,KAAK,OAAO,IAAI,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnD,MAAM,CAAC,KAAK,GAAG,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC;gBAClD,SAAS;YACX,CAAC;YACD,IAAI,GAAG,KAAK,QAAQ,IAAI,4BAA4B,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5D,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;gBACtB,SAAS;YACX,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,yDAAyD,GAAG,SAAS,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzI,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,OAAO,KAAK,KAAK,IAAI;WAChB,OAAO,KAAK,KAAK,QAAQ;WACzB,aAAa,IAAI,KAAK;WACtB,OAAQ,KAAmC,CAAC,WAAW,KAAK,QAAQ,CAAC;AAC5E,CAAC;AAED,SAAS,4BAA4B,CAAC,KAAc;IAClD,OAAO,KAAK,KAAK,IAAI;WAChB,OAAO,KAAK,KAAK,QAAQ;WACzB,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC;WACtB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,IAAI,KAAK,CAAC,CAAC;AAC5E,CAAC","sourcesContent":["import type { Quad } from '@rdfjs/types';\nimport { termToId } from 'n3';\nimport type { QuintPattern, QuintStore } from '../quint/types';\nimport { isTerm } from '../quint/types';\nimport type {\n  Rdf3xNumericObjectRangePattern,\n  Rdf3xShadowJoinResult,\n  Rdf3xShadowScanResult,\n  Rdf3xTripleIndexOptions,\n  Rdf3xTriplePattern,\n  RdfIndexPutOptions,\n  RdfPatternQuery,\n  RdfQuadJoinOptions,\n  RdfQuadJoinPattern,\n  RdfQuadIndexOptions,\n  RdfQuadIndexScanResult,\n  RdfSourceInput,\n  RdfShadowScanResult,\n  RdfTextChunkInput,\n  RdfTextIndexOptions,\n  RdfTextSearchOptions,\n  RdfTextSearchResult,\n  RdfTextSourceInput,\n  RdfVectorChunkInput,\n  RdfVectorIndexOptions,\n  RdfVectorSearchOptions,\n  RdfVectorSearchResult,\n  RdfVectorSourceInput,\n} from './types';\nimport { RdfQuadIndex } from './RdfQuadIndex';\nimport { Rdf3xTripleIndex } from './Rdf3xTripleIndex';\nimport { RdfTextIndex } from './RdfTextIndex';\nimport { RdfVectorIndex } from './RdfVectorIndex';\nimport { RdfShadowComparator, diffQuads } from './RdfShadowComparator';\nimport { RdfLocalQueryEngine } from './RdfLocalQueryEngine';\nimport type { RdfLocalQuery, RdfLocalQueryResult } from './types';\n\nexport interface SolidRdfEngineOptions {\n  index: RdfQuadIndex | RdfQuadIndexOptions;\n  textIndex?: RdfTextIndex | RdfTextIndexOptions;\n  vectorIndex?: RdfVectorIndex | RdfVectorIndexOptions;\n  rdf3xIndex?: Rdf3xTripleIndex | Rdf3xTripleIndexOptions;\n  compatibilityStore?: QuintStore;\n  autoOpen?: boolean;\n}\n\nexport class SolidRdfEngine {\n  public readonly index: RdfQuadIndex;\n  public readonly textIndex?: RdfTextIndex;\n  public readonly vectorIndex?: RdfVectorIndex;\n  public readonly rdf3xIndex?: Rdf3xTripleIndex;\n  private readonly ownsIndex: boolean;\n  private readonly ownsTextIndex: boolean;\n  private readonly ownsVectorIndex: boolean;\n  private readonly ownsRdf3xIndex: boolean;\n  private readonly compatibilityStore?: QuintStore;\n  private shadowComparator?: RdfShadowComparator;\n  private readonly queryEngine: RdfLocalQueryEngine;\n\n  public constructor(options: SolidRdfEngineOptions) {\n    if (options.index instanceof RdfQuadIndex) {\n      this.index = options.index;\n      this.ownsIndex = false;\n    } else {\n      this.index = new RdfQuadIndex(options.index);\n      this.ownsIndex = true;\n    }\n    if (options.textIndex instanceof RdfTextIndex) {\n      this.textIndex = options.textIndex;\n      this.ownsTextIndex = false;\n    } else if (isRdfTextIndexOptions(options.textIndex)) {\n      this.textIndex = new RdfTextIndex(options.textIndex);\n      this.ownsTextIndex = true;\n    } else {\n      this.ownsTextIndex = false;\n    }\n    if (options.vectorIndex instanceof RdfVectorIndex) {\n      this.vectorIndex = options.vectorIndex;\n      this.ownsVectorIndex = false;\n    } else if (isRdfVectorIndexOptions(options.vectorIndex)) {\n      this.vectorIndex = new RdfVectorIndex(options.vectorIndex);\n      this.ownsVectorIndex = true;\n    } else {\n      this.ownsVectorIndex = false;\n    }\n    if (options.rdf3xIndex instanceof Rdf3xTripleIndex) {\n      this.rdf3xIndex = options.rdf3xIndex;\n      this.ownsRdf3xIndex = false;\n    } else if (isRdf3xTripleIndexOptions(options.rdf3xIndex)) {\n      this.rdf3xIndex = new Rdf3xTripleIndex(options.rdf3xIndex);\n      this.ownsRdf3xIndex = true;\n    } else {\n      this.ownsRdf3xIndex = false;\n    }\n    this.compatibilityStore = options.compatibilityStore;\n    this.queryEngine = new RdfLocalQueryEngine(this.index, this.textIndex, this.vectorIndex);\n    if (this.compatibilityStore) {\n      this.shadowComparator = new RdfShadowComparator(this.index, this.compatibilityStore);\n    }\n    if (options.autoOpen) {\n      this.open();\n    }\n  }\n\n  public open(): void {\n    this.index.open();\n    this.textIndex?.open();\n    this.vectorIndex?.open();\n    this.rdf3xIndex?.open();\n  }\n\n  public async close(): Promise<void> {\n    if (this.ownsRdf3xIndex) {\n      this.rdf3xIndex?.close();\n    }\n    if (this.ownsVectorIndex) {\n      this.vectorIndex?.close();\n    }\n    if (this.ownsTextIndex) {\n      this.textIndex?.close();\n    }\n    if (this.ownsIndex) {\n      this.index.close();\n    }\n    if (this.compatibilityStore) {\n      await this.compatibilityStore.close();\n    }\n  }\n\n  public put(quads: Quad | Quad[], options?: RdfIndexPutOptions): void {\n    this.index.multiPut(Array.isArray(quads) ? quads : [quads], options);\n  }\n\n  public replaceSource(quads: Quad[], source: RdfSourceInput): void {\n    this.index.replaceSource(quads, source);\n  }\n\n  public deleteSource(source: string): number {\n    return this.index.deleteSource(source);\n  }\n\n  public delete(pattern: QuintPattern): number {\n    return this.index.delete(pattern);\n  }\n\n  public scan(query: RdfPatternQuery): RdfQuadIndexScanResult {\n    return this.index.scan(query.pattern, query.options);\n  }\n\n  public query(query: RdfLocalQuery): RdfLocalQueryResult {\n    return this.queryEngine.query(query);\n  }\n\n  public indexTextSource(source: RdfTextSourceInput, text: string, chunks?: RdfTextChunkInput[]): void {\n    this.requireTextIndex().indexText(source, text, chunks);\n  }\n\n  public deleteTextSource(source: string): number {\n    return this.requireTextIndex().deleteSource(source);\n  }\n\n  public searchText(options: RdfTextSearchOptions | string): RdfTextSearchResult[] {\n    return this.requireTextIndex().search(typeof options === 'string' ? { query: options } : options);\n  }\n\n  public indexVectorSource(source: RdfVectorSourceInput, chunks: RdfVectorChunkInput[]): void {\n    this.requireVectorIndex().indexVector(source, chunks);\n  }\n\n  public deleteVectorSource(source: string): number {\n    return this.requireVectorIndex().deleteSource(source);\n  }\n\n  public searchVector(options: RdfVectorSearchOptions): RdfVectorSearchResult[] {\n    return this.requireVectorIndex().search(options);\n  }\n\n  public async shadowScan(query: RdfPatternQuery): Promise<RdfShadowScanResult> {\n    if (!this.shadowComparator) {\n      throw new Error('SolidRdfEngine shadowScan requires a compatibility QuintStore');\n    }\n    return this.shadowComparator.compareScan(query);\n  }\n\n  public shadowRdf3xScan(query: RdfPatternQuery): Rdf3xShadowScanResult {\n    const rdf3xIndex = this.requireRdf3xIndex();\n    const rdf3xPattern = toRdf3xTriplePattern(query.pattern);\n    const rebuild = rdf3xIndex.rebuildFromCurrentQuads();\n    const primary = this.index.scan(query.pattern, query.options);\n    const rdf3x = rdf3xIndex.scan(rdf3xPattern, query.options);\n    const diff = diffQuads(rdf3x.quads, primary.quads);\n    const orderedMatch = canonicalQuadKeys(primary.quads).join('\\n') === canonicalQuadKeys(rdf3x.quads).join('\\n');\n    return {\n      matched: diff.missingFromPrimary.length === 0 && diff.extraInPrimary.length === 0,\n      orderedMatch,\n      primary: primary.quads,\n      rdf3x: rdf3x.quads,\n      diff: {\n        missingFromRdf3x: diff.extraInPrimary,\n        extraInRdf3x: diff.missingFromPrimary,\n      },\n      primaryMetrics: primary.metrics,\n      rdf3xMetrics: rdf3x.metrics,\n      rebuild,\n    };\n  }\n\n  public shadowRdf3xJoin(\n    patterns: RdfQuadJoinPattern[],\n    options?: RdfQuadJoinOptions,\n  ): Rdf3xShadowJoinResult {\n    const rdf3xIndex = this.requireRdf3xIndex();\n    const rebuild = rdf3xIndex.rebuildFromCurrentQuads();\n    const primary = this.index.joinPatterns(patterns, options);\n    const rdf3x = rdf3xIndex.joinPatterns(patterns, options);\n    const primaryKeys = primary.bindings.map(canonicalBindingKey);\n    const rdf3xKeys = rdf3x.bindings.map(canonicalBindingKey);\n    const diff = diffBindingKeys(rdf3xKeys, primaryKeys);\n    return {\n      matched: diff.missingFromRdf3x.length === 0 && diff.extraInRdf3x.length === 0,\n      orderedMatch: primaryKeys.join('\\n') === rdf3xKeys.join('\\n'),\n      primary: primary.bindings,\n      rdf3x: rdf3x.bindings,\n      diff,\n      primaryMetrics: primary.metrics,\n      rdf3xMetrics: rdf3x.metrics,\n      rebuild,\n    };\n  }\n\n  public supportsPrimary(query: RdfPatternQuery): boolean {\n    try {\n      this.index.scan(query.pattern, { ...query.options, limit: 0 });\n      return true;\n    } catch {\n      return false;\n    }\n  }\n\n  private requireTextIndex(): RdfTextIndex {\n    if (!this.textIndex) {\n      throw new Error('SolidRdfEngine text index is not configured');\n    }\n    return this.textIndex;\n  }\n\n  private requireVectorIndex(): RdfVectorIndex {\n    if (!this.vectorIndex) {\n      throw new Error('SolidRdfEngine vector index is not configured');\n    }\n    return this.vectorIndex;\n  }\n\n  private requireRdf3xIndex(): Rdf3xTripleIndex {\n    if (!this.rdf3xIndex) {\n      throw new Error('SolidRdfEngine RDF-3X shadow index is not configured');\n    }\n    return this.rdf3xIndex;\n  }\n}\n\nfunction isRdfTextIndexOptions(input: RdfTextIndex | RdfTextIndexOptions | undefined): input is RdfTextIndexOptions {\n  return input !== undefined && !(input instanceof RdfTextIndex) && typeof input.path === 'string';\n}\n\nfunction isRdfVectorIndexOptions(input: RdfVectorIndex | RdfVectorIndexOptions | undefined): input is RdfVectorIndexOptions {\n  return input !== undefined && !(input instanceof RdfVectorIndex) && typeof input.path === 'string';\n}\n\nfunction isRdf3xTripleIndexOptions(input: Rdf3xTripleIndex | Rdf3xTripleIndexOptions | undefined): input is Rdf3xTripleIndexOptions {\n  return input !== undefined && !(input instanceof Rdf3xTripleIndex) && typeof input.path === 'string';\n}\n\nfunction canonicalQuadKeys(quads: Quad[]): string[] {\n  return quads.map((quad) => [\n    termToId(quad.graph as any),\n    termToId(quad.subject as any),\n    termToId(quad.predicate as any),\n    termToId(quad.object as any),\n  ].join('\\u001f'));\n}\n\nfunction canonicalBindingKey(binding: Record<string, unknown>): string {\n  return Object.keys(binding)\n    .sort()\n    .map((key) => `${key}=${termToId(binding[key] as any)}`)\n    .join('\\u001f');\n}\n\nfunction diffBindingKeys(\n  rdf3xKeys: string[],\n  primaryKeys: string[],\n): Rdf3xShadowJoinResult['diff'] {\n  const rdf3xSet = new Set(rdf3xKeys);\n  const primarySet = new Set(primaryKeys);\n  return {\n    missingFromRdf3x: Array.from(primarySet).filter((key) => !rdf3xSet.has(key)).sort(),\n    extraInRdf3x: Array.from(rdf3xSet).filter((key) => !primarySet.has(key)).sort(),\n  };\n}\n\nfunction toRdf3xTriplePattern(pattern: QuintPattern): Rdf3xTriplePattern {\n  const result: Rdf3xTriplePattern = {};\n  for (const key of ['graph', 'subject', 'predicate', 'object'] as const) {\n    const value = pattern[key];\n    if (!value) {\n      continue;\n    }\n    if (!isTerm(value)) {\n      if (key === 'graph' && isStartsWithOperator(value)) {\n        result.graph = { $startsWith: value.$startsWith };\n        continue;\n      }\n      if (key === 'object' && isNumericObjectRangeOperator(value)) {\n        result.object = value;\n        continue;\n      }\n      throw new Error(`SolidRdfEngine RDF-3X shadow scan only supports exact ${key} terms${key === 'graph' ? ' or graph $startsWith' : ''}`);\n    }\n    result[key] = value;\n  }\n  return result;\n}\n\nfunction isStartsWithOperator(value: unknown): value is { $startsWith: string } {\n  return value !== null\n    && typeof value === 'object'\n    && '$startsWith' in value\n    && typeof (value as { $startsWith?: unknown }).$startsWith === 'string';\n}\n\nfunction isNumericObjectRangeOperator(value: unknown): value is Rdf3xNumericObjectRangePattern {\n  return value !== null\n    && typeof value === 'object'\n    && !('termType' in value)\n    && ['$gt', '$gte', '$lt', '$lte'].some((operator) => operator in value);\n}\n"]}