@undefineds.co/xpod 0.3.18 → 0.3.22

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

@@ -5,6 +5,7 @@ export interface RdfTermRow {
     id: number;
     kind: RdfTermKind;
     value: string;
+    value_head: string;
     datatype_id: number | null;
     lang: string | null;
     hash: string;
@@ -40,6 +41,7 @@ export interface RdfQuadIndexOptions {
     path: string;
     debug?: boolean;
 }
+export type RdfDerivedIndexProfile = 'baseline' | 'rdf3x';
 export interface RdfShadowAutoBackfillOptions {
     enabled?: boolean;
     clear?: boolean;
@@ -76,6 +78,30 @@ export interface RdfIndexStats {
     literalDatatypeDistribution: RdfLiteralDatatypeDistribution[];
     cardinalityDistributions: RdfCardinalityDistributions;
 }
+export interface RdfEngineStorageStats {
+    derivedIndexProfile: RdfDerivedIndexProfile;
+    facts: RdfIndexStats;
+    rdf3x?: {
+        stats: Rdf3xIndexStats;
+        syncedWithFacts: boolean;
+    };
+    factsBytes: number;
+    derivedBytes: number;
+    totalBytes: number;
+    derivedToFactsRatio: number;
+    totalToFactsRatio: number;
+}
+export interface RdfDerivedIndexRefreshResult {
+    derivedIndexProfile: RdfDerivedIndexProfile;
+    factsDataVersion: number;
+    rdf3x?: {
+        refreshed: boolean;
+        previousFactsDataVersion: number;
+        factsDataVersion: number;
+        syncedWithFacts: boolean;
+        rebuild?: Rdf3xRebuildResult;
+    };
+}
 export interface RdfIndexSpaceObject {
     name: string;
     kind: 'table' | 'index' | 'internal' | 'unknown';
@@ -138,27 +164,50 @@ export type Rdf3xPatternKey = 'graph' | Rdf3xTermKey;
 export type Rdf3xPermutationName = 'SPO' | 'SOP' | 'PSO' | 'POS' | 'OSP' | 'OPS';
 export type Rdf3xPairProjectionName = 'SP' | 'SO' | 'PS' | 'PO' | 'OS' | 'OP';
 export type Rdf3xTermProjectionName = 'S' | 'P' | 'O';
-export interface Rdf3xTripleIndexOptions {
+export interface Rdf3xIndexOptions {
     path: string;
     debug?: boolean;
 }
 export interface Rdf3xGraphPrefixPattern {
     $startsWith: string;
 }
-export interface Rdf3xNumericObjectRangePattern {
+export interface Rdf3xTermInPattern {
+    $in: Term[];
+}
+export interface Rdf3xTermNotInPattern {
+    $notIn: Term[];
+}
+export type Rdf3xTermTypePatternValue = 'iri' | 'blank' | 'literal' | 'numeric';
+export interface Rdf3xTermMetadataPattern {
+    $termType?: Rdf3xTermTypePatternValue;
+    $language?: string;
+    $notLanguage?: string;
+    $langMatches?: string;
+    $datatype?: Term;
+    $notDatatype?: Term;
+}
+export interface Rdf3xObjectRangePattern {
     $gt?: Term | string | number;
     $gte?: Term | string | number;
     $lt?: Term | string | number;
     $lte?: Term | string | number;
 }
+export type Rdf3xNumericObjectRangePattern = Rdf3xObjectRangePattern;
+export interface Rdf3xObjectTextSearchPattern {
+    $contains?: string;
+    $endsWith?: string;
+}
+export interface Rdf3xObjectOperatorPattern extends Rdf3xObjectRangePattern, Rdf3xObjectTextSearchPattern, Rdf3xTermMetadataPattern {
+}
 export interface Rdf3xTriplePattern {
-    graph?: Term | Rdf3xGraphPrefixPattern;
-    subject?: Term;
-    predicate?: Term;
-    object?: Term | Rdf3xNumericObjectRangePattern;
+    graph?: Term | Rdf3xGraphPrefixPattern | Rdf3xTermInPattern | Rdf3xTermNotInPattern | Rdf3xTermMetadataPattern;
+    subject?: Term | Rdf3xTermInPattern | Rdf3xTermNotInPattern | Rdf3xTermMetadataPattern;
+    predicate?: Term | Rdf3xTermInPattern | Rdf3xTermNotInPattern | Rdf3xTermMetadataPattern;
+    object?: Term | Rdf3xObjectOperatorPattern | Rdf3xTermInPattern | Rdf3xTermNotInPattern;
 }
 export interface Rdf3xTripleScanOptions {
     order?: Array<'graph' | 'subject' | 'predicate' | 'object'>;
+    orderDirections?: Array<'asc' | 'desc'>;
     reverse?: boolean;
     limit?: number;
     offset?: number;
@@ -175,6 +224,10 @@ export interface Rdf3xTripleScanResult {
     quads: Quad[];
     metrics: Rdf3xIndexMetrics;
 }
+export interface Rdf3xCountResult {
+    count: number;
+    metrics: Rdf3xIndexMetrics;
+}
 export interface Rdf3xJoinOptions {
     orderBy?: RdfQuadJoinOrder[];
     limit?: number;
@@ -182,6 +235,7 @@ export interface Rdf3xJoinOptions {
     project?: string[];
     distinct?: boolean;
     countMatchedRows?: boolean;
+    values?: RdfValuesBindingSource[];
 }
 export interface Rdf3xJoinMetrics {
     engine: 'solid-rdf3x';
@@ -200,6 +254,7 @@ export interface Rdf3xRebuildResult {
     uniqueTriples: number;
     memberships: number;
     projectionRows: number;
+    factsDataVersion: number;
     durationMs: number;
 }
 export interface Rdf3xCardinalityEstimate {
@@ -212,6 +267,7 @@ export interface Rdf3xIndexStats {
     uniqueTriples: number;
     membershipCount: number;
     graphCount: number;
+    factsDataVersion: number;
     permutationRows: Record<Rdf3xPermutationName, number>;
     pairProjectionRows: Record<Rdf3xPairProjectionName, number>;
     termProjectionRows: Record<Rdf3xTermProjectionName, number>;
@@ -311,6 +367,7 @@ export interface RdfQueryAggregate {
     as: string;
     variable?: string;
     distinct?: boolean;
+    distinctVariables?: string[];
 }
 export type RdfBindExpression = {
     type: 'term';
@@ -330,6 +387,14 @@ export type RdfBindExpression = {
 } | {
     type: 'upperCase';
     expression: RdfBindExpression;
+} | {
+    type: 'coalesce';
+    expressions: RdfBindExpression[];
+} | {
+    type: 'if';
+    condition: RdfQueryFilter[];
+    then: RdfBindExpression;
+    else: RdfBindExpression;
 } | {
     type: 'substring';
     expression: RdfBindExpression;
@@ -342,12 +407,20 @@ export type RdfBindExpression = {
     type: 'iri';
     expression: RdfBindExpression;
     base: string;
+} | {
+    type: 'strdt';
+    lexical: RdfBindExpression;
+    datatype: RdfBindExpression;
+} | {
+    type: 'strlang';
+    lexical: RdfBindExpression;
+    language: RdfBindExpression;
 };
 export interface RdfQueryBind {
     variable: string;
     expression: RdfBindExpression;
 }
-export type RdfQueryFilterOperator = '$eq' | '$ne' | '$gt' | '$gte' | '$lt' | '$lte' | '$in' | '$notIn' | '$startsWith' | '$contains' | '$endsWith' | '$regex' | '$bound' | '$termType' | '$sameTerm' | '$lang' | '$notLang' | '$langMatches' | '$datatype' | '$notDatatype';
+export type RdfQueryFilterOperator = '$eq' | '$ne' | '$gt' | '$gte' | '$lt' | '$lte' | '$in' | '$notIn' | '$startsWith' | '$contains' | '$endsWith' | '$regex' | '$notStartsWith' | '$notContains' | '$notEndsWith' | '$notRegex' | '$bound' | '$termType' | '$notTermType' | '$sameTerm' | '$notSameTerm' | '$lang' | '$notLang' | '$langIn' | '$notLangIn' | '$langMatches' | '$notLangMatches' | '$datatype' | '$notDatatype' | '$datatypeIn' | '$notDatatypeIn';
 export type RdfQueryFilterValue = Term | string | number | boolean;
 export interface RdfQueryFilter {
     variable: string;
@@ -446,6 +519,7 @@ export interface RdfLocalQuery {
 export interface RdfUnionQueryBranch {
     patterns: RdfQueryPattern[];
     values?: RdfValuesBindingSource[];
+    unions?: RdfUnionQueryGroup[];
     optional?: Array<RdfQueryPattern[] | RdfOptionalQueryGroup>;
     binds?: RdfQueryBind[];
     filters?: RdfQueryFilter[];

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

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/storage/rdf/types.ts"],"names":[],"mappings":"","sourcesContent":["import type { Quad, Term } from '@rdfjs/types';\nimport type { QueryOptions, QuintPattern, TermMatch, TermName } from '../quint/types';\n\nexport type RdfTermKind = 'iri' | 'literal' | 'blank' | 'default_graph';\n\nexport interface RdfTermRow {\n  id: number;\n  kind: RdfTermKind;\n  value: string;\n  datatype_id: number | null;\n  lang: string | null;\n  hash: string;\n  normalized_text: string | null;\n  numeric_value: number | null;\n  created_at: string;\n}\n\nexport interface RdfSourceInput {\n  source: string;\n  workspace: string;\n  localPath?: string;\n  contentType?: string;\n  sourceVersion?: string;\n}\n\nexport interface RdfSourceRow {\n  id: number;\n  source: string;\n  workspace: string;\n  local_path: string | null;\n  content_type: string | null;\n  last_indexed_at: string | null;\n  source_version: string | null;\n}\n\nexport interface RdfQuadRow {\n  graph_id: number;\n  subject_id: number;\n  predicate_id: number;\n  object_id: number;\n  source_file_id: number | null;\n  source_line_no: number | null;\n}\n\nexport interface RdfQuadIndexOptions {\n  path: string;\n  debug?: boolean;\n}\n\nexport interface RdfShadowAutoBackfillOptions {\n  enabled?: boolean;\n  clear?: boolean;\n  batchSize?: number;\n}\n\nexport interface RdfIndexPutOptions {\n  source?: RdfSourceInput;\n  sourceLineNo?: number;\n}\n\nexport interface RdfIndexMetrics {\n  engine: 'solid-rdf';\n  indexChoice: string;\n  /** Rows matched before LIMIT/OFFSET are applied. */\n  matchedRows: number;\n  returnedRows: number;\n  durationMs: number;\n  queryPlan?: string[];\n}\n\nexport interface RdfCardinalityEstimate {\n  rows: number;\n  source:\n    | 'exact-count'\n    | 'cached-exact-count'\n    | 'exact-distinct-count'\n    | 'cached-exact-distinct-count'\n    | 'exact-distinct-tuple-count'\n    | 'cached-exact-distinct-tuple-count';\n  indexChoice: string;\n}\n\nexport interface RdfIndexStats {\n  termCount: number;\n  quadCount: number;\n  sourceCount: number;\n  graphCount: number;\n  databaseBytes: number;\n  tableBytes: number;\n  indexBytes: number;\n  spaceObjects: RdfIndexSpaceObject[];\n  serializedTermTextBytes: number;\n  literalDatatypeDistribution: RdfLiteralDatatypeDistribution[];\n  cardinalityDistributions: RdfCardinalityDistributions;\n}\n\nexport interface RdfIndexSpaceObject {\n  name: string;\n  kind: 'table' | 'index' | 'internal' | 'unknown';\n  tableName?: string;\n  bytes: number;\n  pages: number;\n  estimated?: boolean;\n}\n\nexport interface RdfLiteralDatatypeDistribution {\n  datatype: string;\n  termCount: number;\n  objectQuadCount: number;\n}\n\nexport interface RdfCardinalityTerm {\n  value: string;\n  kind: RdfTermKind;\n  datatype?: string;\n  language?: string;\n}\n\nexport interface RdfGraphCardinality {\n  graph: RdfCardinalityTerm;\n  quadCount: number;\n  distinctSubjects: number;\n  distinctPredicates: number;\n  distinctObjects: number;\n}\n\nexport interface RdfPredicateCardinality {\n  predicate: RdfCardinalityTerm;\n  quadCount: number;\n  graphCount: number;\n  distinctSubjects: number;\n  distinctObjects: number;\n}\n\nexport interface RdfPredicateObjectCardinality {\n  predicate: RdfCardinalityTerm;\n  object: RdfCardinalityTerm;\n  quadCount: number;\n  graphCount: number;\n  distinctSubjects: number;\n}\n\nexport interface RdfSubjectPredicateCardinality {\n  subject: RdfCardinalityTerm;\n  predicate: RdfCardinalityTerm;\n  quadCount: number;\n  graphCount: number;\n  distinctObjects: number;\n}\n\nexport interface RdfCardinalityDistributions {\n  graphs: RdfGraphCardinality[];\n  predicates: RdfPredicateCardinality[];\n  predicateObjects: RdfPredicateObjectCardinality[];\n  subjectPredicates: RdfSubjectPredicateCardinality[];\n}\n\nexport interface RdfQuadIndexScanResult {\n  quads: Quad[];\n  metrics: RdfIndexMetrics;\n}\n\nexport type Rdf3xTermKey = 'subject' | 'predicate' | 'object';\nexport type Rdf3xPatternKey = 'graph' | Rdf3xTermKey;\nexport type Rdf3xPermutationName = 'SPO' | 'SOP' | 'PSO' | 'POS' | 'OSP' | 'OPS';\nexport type Rdf3xPairProjectionName = 'SP' | 'SO' | 'PS' | 'PO' | 'OS' | 'OP';\nexport type Rdf3xTermProjectionName = 'S' | 'P' | 'O';\n\nexport interface Rdf3xTripleIndexOptions {\n  path: string;\n  debug?: boolean;\n}\n\nexport interface Rdf3xGraphPrefixPattern {\n  $startsWith: string;\n}\n\nexport interface Rdf3xNumericObjectRangePattern {\n  $gt?: Term | string | number;\n  $gte?: Term | string | number;\n  $lt?: Term | string | number;\n  $lte?: Term | string | number;\n}\n\nexport interface Rdf3xTriplePattern {\n  graph?: Term | Rdf3xGraphPrefixPattern;\n  subject?: Term;\n  predicate?: Term;\n  object?: Term | Rdf3xNumericObjectRangePattern;\n}\n\nexport interface Rdf3xTripleScanOptions {\n  order?: Array<'graph' | 'subject' | 'predicate' | 'object'>;\n  reverse?: boolean;\n  limit?: number;\n  offset?: number;\n}\n\nexport interface Rdf3xIndexMetrics {\n  engine: 'solid-rdf3x';\n  indexChoice: Rdf3xPermutationName | 'source-membership' | 'none';\n  matchedRows: number;\n  returnedRows: number;\n  durationMs: number;\n  queryPlan?: string[];\n}\n\nexport interface Rdf3xTripleScanResult {\n  quads: Quad[];\n  metrics: Rdf3xIndexMetrics;\n}\n\nexport interface Rdf3xJoinOptions {\n  orderBy?: RdfQuadJoinOrder[];\n  limit?: number;\n  offset?: number;\n  project?: string[];\n  distinct?: boolean;\n  countMatchedRows?: boolean;\n}\n\nexport interface Rdf3xJoinMetrics {\n  engine: 'solid-rdf3x';\n  indexChoice: string;\n  matchedRows: number;\n  returnedRows: number;\n  durationMs: number;\n  queryPlan?: string[];\n}\n\nexport interface Rdf3xJoinScanResult {\n  bindings: RdfBindingRow[];\n  metrics: Rdf3xJoinMetrics;\n}\n\nexport interface Rdf3xRebuildResult {\n  scannedQuads: number;\n  uniqueTriples: number;\n  memberships: number;\n  projectionRows: number;\n  durationMs: number;\n}\n\nexport interface Rdf3xCardinalityEstimate {\n  uniqueTriples: number;\n  matchingQuads: number;\n  source: 'projection-stat' | 'term-stat' | 'exact-triple' | 'exact-membership' | 'full-count';\n  indexChoice: Rdf3xPermutationName | 'source-membership' | 'none';\n}\n\nexport interface Rdf3xIndexStats {\n  uniqueTriples: number;\n  membershipCount: number;\n  graphCount: number;\n  permutationRows: Record<Rdf3xPermutationName, number>;\n  pairProjectionRows: Record<Rdf3xPairProjectionName, number>;\n  termProjectionRows: Record<Rdf3xTermProjectionName, number>;\n  databaseBytes: number;\n  tableBytes: number;\n  indexBytes: number;\n  spaceObjects: RdfIndexSpaceObject[];\n}\n\nexport interface Rdf3xShadowBindingDiff {\n  missingFromRdf3x: string[];\n  extraInRdf3x: string[];\n}\n\nexport interface Rdf3xShadowQuadDiff {\n  missingFromRdf3x: string[];\n  extraInRdf3x: string[];\n}\n\nexport interface Rdf3xShadowScanResult {\n  matched: boolean;\n  orderedMatch: boolean;\n  primary: Quad[];\n  rdf3x: Quad[];\n  diff: Rdf3xShadowQuadDiff;\n  primaryMetrics: RdfIndexMetrics;\n  rdf3xMetrics: Rdf3xIndexMetrics;\n  rebuild: Rdf3xRebuildResult;\n}\n\nexport interface Rdf3xShadowJoinResult {\n  matched: boolean;\n  orderedMatch: boolean;\n  primary: RdfBindingRow[];\n  rdf3x: RdfBindingRow[];\n  diff: Rdf3xShadowBindingDiff;\n  primaryMetrics: RdfIndexMetrics;\n  rdf3xMetrics: Rdf3xJoinMetrics;\n  rebuild: Rdf3xRebuildResult;\n}\n\nexport type RdfQuadTupleConstraint = Partial<Record<RdfQueryPatternKey, Term>>;\n\nexport interface RdfQuadTupleConstraintSource {\n  columns: RdfQueryPatternKey[];\n  rows: RdfQuadTupleConstraint[];\n}\n\nexport interface RdfQuadJoinPattern {\n  pattern: QuintPattern;\n  variables: Partial<Record<RdfQueryPatternKey, string>>;\n}\n\nexport interface RdfQuadJoinOrder {\n  variable: string;\n  direction?: 'asc' | 'desc';\n}\n\nexport interface RdfQuadScanOptions extends QueryOptions {\n  orderDirections?: Array<'asc' | 'desc'>;\n}\n\nexport interface RdfQuadJoinOptions {\n  orderBy?: RdfQuadJoinOrder[];\n  limit?: number;\n  offset?: number;\n  project?: string[];\n  distinct?: boolean;\n  countMatchedRows?: boolean;\n}\n\nexport interface RdfQuadJoinAggregateOptions {\n  aggregates: RdfQueryAggregate[];\n}\n\nexport type RdfQuadJoinCountOptions = RdfQuadJoinAggregateOptions;\n\nexport interface RdfQuadJoinGroupAggregateHaving {\n  aggregate: string;\n  operator: '$eq' | '$ne' | '$gt' | '$gte' | '$lt' | '$lte';\n  value: number;\n}\n\nexport type RdfQuadJoinGroupCountHaving = RdfQuadJoinGroupAggregateHaving;\n\nexport interface RdfPatternQuery {\n  pattern: QuintPattern;\n  options?: QueryOptions;\n}\n\nexport interface RdfQueryVariable {\n  variable: string;\n}\n\nexport type RdfQueryTermPattern = TermMatch | RdfQueryVariable;\n\nexport interface RdfQueryPattern {\n  graph?: RdfQueryTermPattern;\n  subject?: RdfQueryTermPattern;\n  predicate?: RdfQueryTermPattern;\n  object?: RdfQueryTermPattern;\n}\n\nexport interface RdfConstructTemplate {\n  subject: RdfQueryTermPattern;\n  predicate: RdfQueryTermPattern;\n  object: RdfQueryTermPattern;\n}\n\nexport interface RdfQueryOrder {\n  variable: string;\n  direction?: 'asc' | 'desc';\n}\n\nexport type RdfQueryAggregateType = 'count' | 'sum' | 'avg' | 'min' | 'max';\n\nexport interface RdfQueryAggregate {\n  type: RdfQueryAggregateType;\n  as: string;\n  variable?: string;\n  distinct?: boolean;\n}\n\nexport type RdfBindExpression =\n  | { type: 'term'; term: Term }\n  | { type: 'variable'; variable: string }\n  | { type: 'stringValue'; variable: string }\n  | { type: 'stringLength'; variable: string }\n  | { type: 'lowerCase'; expression: RdfBindExpression }\n  | { type: 'upperCase'; expression: RdfBindExpression }\n  | {\n    type: 'substring';\n    expression: RdfBindExpression;\n    start: RdfBindExpression;\n    length?: RdfBindExpression;\n  }\n  | { type: 'concat'; expressions: RdfBindExpression[] }\n  | { type: 'iri'; expression: RdfBindExpression; base: string };\n\nexport interface RdfQueryBind {\n  variable: string;\n  expression: RdfBindExpression;\n}\n\nexport type RdfQueryFilterOperator =\n  | '$eq'\n  | '$ne'\n  | '$gt'\n  | '$gte'\n  | '$lt'\n  | '$lte'\n  | '$in'\n  | '$notIn'\n  | '$startsWith'\n  | '$contains'\n  | '$endsWith'\n  | '$regex'\n  | '$bound'\n  | '$termType'\n  | '$sameTerm'\n  | '$lang'\n  | '$notLang'\n  | '$langMatches'\n  | '$datatype'\n  | '$notDatatype';\n\nexport type RdfQueryFilterValue = Term | string | number | boolean;\n\nexport interface RdfQueryFilter {\n  variable: string;\n  operator: RdfQueryFilterOperator;\n  operand?: 'stringLength' | 'stringValue' | 'lowerStringValue' | 'upperStringValue';\n  value?: RdfQueryFilterValue;\n  values?: RdfQueryFilterValue[];\n  variable2?: string;\n  flags?: string;\n  source?: 'filter' | 'values';\n}\n\nexport interface RdfValuesBindingSource {\n  variables: string[];\n  rows: RdfBindingRow[];\n}\n\nexport interface RdfSearchScope {\n  workspace?: string;\n  sourcePrefix?: string;\n}\n\nexport interface RdfTextSearchPattern {\n  query: string;\n  scope?: RdfSearchScope;\n  limit?: number;\n  offset?: number;\n  orderBy?: RdfTextSearchOrder[];\n  source?: string;\n  chunk?: string;\n  content?: string;\n  heading?: string;\n  score?: string;\n  workspace?: string;\n  localPath?: string;\n  contentType?: string;\n  ordinal?: string;\n  level?: string;\n  startOffset?: string;\n  endOffset?: string;\n}\n\nexport type RdfVectorDistanceMetric = 'cosine' | 'dot' | 'euclidean';\n\nexport type RdfSearchOrderDirection = 'asc' | 'desc';\nexport type RdfTextSearchOrderField = 'score' | 'source' | 'localPath' | 'ordinal' | 'startOffset' | 'endOffset';\nexport type RdfVectorSearchOrderField = RdfTextSearchOrderField | 'distance';\n\nexport interface RdfTextSearchOrder {\n  field: RdfTextSearchOrderField;\n  direction?: RdfSearchOrderDirection;\n}\n\nexport interface RdfVectorSearchOrder {\n  field: RdfVectorSearchOrderField;\n  direction?: RdfSearchOrderDirection;\n}\n\nexport interface RdfVectorSearchPattern {\n  embedding: number[];\n  metric?: RdfVectorDistanceMetric;\n  vectorModel?: string;\n  scope?: RdfSearchScope;\n  limit?: number;\n  offset?: number;\n  threshold?: number;\n  orderBy?: RdfVectorSearchOrder[];\n  source?: string;\n  chunk?: string;\n  content?: string;\n  heading?: string;\n  score?: string;\n  distance?: string;\n  workspace?: string;\n  localPath?: string;\n  contentType?: string;\n  ordinal?: string;\n  level?: string;\n  startOffset?: string;\n  endOffset?: string;\n  model?: string;\n}\n\nexport interface RdfLocalQuery {\n  patterns: RdfQueryPattern[];\n  values?: RdfValuesBindingSource[];\n  textSearch?: RdfTextSearchPattern[];\n  vectorSearch?: RdfVectorSearchPattern[];\n  unions?: RdfUnionQueryGroup[];\n  minus?: RdfMinusQueryGroup[];\n  exists?: RdfExistsQueryGroup[];\n  optional?: Array<RdfQueryPattern[] | RdfOptionalQueryGroup>;\n  binds?: RdfQueryBind[];\n  filters?: RdfQueryFilter[];\n  having?: RdfQueryFilter[];\n  select?: string[];\n  distinct?: boolean;\n  groupBy?: string[];\n  aggregates?: RdfQueryAggregate[];\n  aggregate?: RdfQueryAggregate;\n  orderBy?: RdfQueryOrder[];\n  limit?: number;\n  offset?: number;\n}\n\nexport interface RdfUnionQueryBranch {\n  patterns: RdfQueryPattern[];\n  values?: RdfValuesBindingSource[];\n  optional?: Array<RdfQueryPattern[] | RdfOptionalQueryGroup>;\n  binds?: RdfQueryBind[];\n  filters?: RdfQueryFilter[];\n}\n\nexport interface RdfUnionQueryGroup {\n  branches: RdfUnionQueryBranch[];\n}\n\nexport interface RdfMinusQueryGroup {\n  patterns: RdfQueryPattern[];\n  values?: RdfValuesBindingSource[];\n  unions?: RdfUnionQueryGroup[];\n  optional?: Array<RdfQueryPattern[] | RdfOptionalQueryGroup>;\n  binds?: RdfQueryBind[];\n  filters?: RdfQueryFilter[];\n}\n\nexport interface RdfExistsQueryGroup {\n  patterns: RdfQueryPattern[];\n  values?: RdfValuesBindingSource[];\n  unions?: RdfUnionQueryGroup[];\n  optional?: Array<RdfQueryPattern[] | RdfOptionalQueryGroup>;\n  binds?: RdfQueryBind[];\n  filters?: RdfQueryFilter[];\n}\n\nexport interface RdfOptionalQueryGroup {\n  patterns: RdfQueryPattern[];\n  values?: RdfValuesBindingSource[];\n  unions?: RdfUnionQueryGroup[];\n  optional?: Array<RdfQueryPattern[] | RdfOptionalQueryGroup>;\n  minus?: RdfMinusQueryGroup[];\n  exists?: RdfExistsQueryGroup[];\n  binds?: RdfQueryBind[];\n  filters?: RdfQueryFilter[];\n}\n\nexport type RdfBindingRow = Record<string, Term>;\n\nexport interface RdfQuadJoinScanResult {\n  bindings: RdfBindingRow[];\n  metrics: RdfIndexMetrics;\n}\n\nexport interface RdfQuadJoinGroupAggregateOptions {\n  groupBy: string[];\n  aggregates: RdfQueryAggregate[];\n  having?: RdfQuadJoinGroupAggregateHaving[];\n  orderBy?: RdfQuadJoinOrder[];\n  limit?: number;\n  offset?: number;\n}\n\nexport type RdfQuadJoinGroupCountOptions = RdfQuadJoinGroupAggregateOptions;\n\nexport interface RdfLocalQueryMetrics {\n  engine: 'solid-rdf';\n  plan: string[];\n  scannedRows: number;\n  joinedRows: number;\n  returnedRows: number;\n  durationMs: number;\n  indexChoices: string[];\n  cardinalityEstimates?: number;\n  distinctCardinalityEstimates?: number;\n  searchCardinalityEstimates?: number;\n  filtersApplied: number;\n  filtersPushedDown: number;\n}\n\nexport interface RdfLocalQueryResult {\n  bindings: RdfBindingRow[];\n  count?: number;\n  metrics: RdfLocalQueryMetrics;\n}\n\nexport type RdfQueryPatternKey = TermName;\n\nexport interface RdfShadowDiff {\n  missingFromPrimary: string[];\n  extraInPrimary: string[];\n}\n\nexport interface RdfShadowBackfillOptions {\n  clear?: boolean;\n  batchSize?: number;\n}\n\nexport interface RdfShadowBackfillResult {\n  scannedRows: number;\n  indexedRows: number;\n  batchCount: number;\n  durationMs: number;\n}\n\nexport interface RdfShadowScanResult {\n  matched: boolean;\n  orderedMatch: boolean;\n  primary: Quad[];\n  compatibility: Quad[];\n  diff: RdfShadowDiff;\n  metrics: RdfIndexMetrics;\n}\n\nexport interface RdfTextIndexOptions {\n  path: string;\n}\n\nexport interface RdfTextSourceInput {\n  source: string;\n  workspace: string;\n  localPath?: string;\n  contentType?: string;\n  sourceVersion?: string;\n  sourceHash?: string;\n}\n\nexport interface RdfTextChunkInput {\n  chunkKey: string;\n  ordinal: number;\n  level: number;\n  heading?: string;\n  path?: string[];\n  content: string;\n  startOffset: number;\n  endOffset: number;\n}\n\nexport interface RdfTextChunkRow {\n  id: number;\n  source_id: number;\n  source: string;\n  workspace: string;\n  local_path: string | null;\n  content_type: string | null;\n  source_version: string | null;\n  source_hash: string | null;\n  chunk_key: string;\n  ordinal: number;\n  level: number;\n  heading: string | null;\n  path: string | null;\n  content: string;\n  start_offset: number;\n  end_offset: number;\n  normalized_text: string;\n  token_count: number;\n  updated_at: string;\n}\n\nexport interface RdfTextSearchOptions {\n  query: string;\n  source?: string;\n  workspace?: string;\n  sourcePrefix?: string;\n  limit?: number;\n  offset?: number;\n  orderBy?: RdfTextSearchOrder[];\n}\n\nexport interface RdfTextSearchResult {\n  source: string;\n  workspace: string;\n  localPath?: string;\n  contentType?: string;\n  sourceVersion?: string;\n  sourceHash?: string;\n  chunkKey: string;\n  ordinal: number;\n  level: number;\n  heading?: string;\n  path: string[];\n  content: string;\n  startOffset: number;\n  endOffset: number;\n  score: number;\n}\n\nexport interface RdfSearchCardinalityEstimate {\n  rows: number;\n  source: 'text-normalized-scan' | 'text-term-posting' | 'vector-candidate-count' | 'vector-component-score';\n  indexChoice: string;\n}\n\nexport interface RdfTextIndexStats {\n  sourceCount: number;\n  chunkCount: number;\n  databaseBytes: number;\n  termDocumentFrequency: RdfTextTermDocumentFrequency[];\n}\n\nexport interface RdfTextTermDocumentFrequency {\n  term: string;\n  sourceCount: number;\n  chunkCount: number;\n  totalOccurrences: number;\n}\n\nexport interface RdfVectorIndexOptions {\n  path: string;\n  defaultMetric?: RdfVectorDistanceMetric;\n}\n\nexport interface RdfVectorSourceInput {\n  source: string;\n  workspace: string;\n  localPath?: string;\n  contentType?: string;\n  sourceVersion?: string;\n  sourceHash?: string;\n}\n\nexport interface RdfVectorChunkInput {\n  chunkKey: string;\n  ordinal: number;\n  level: number;\n  embedding: number[];\n  model?: string;\n  heading?: string;\n  path?: string[];\n  content: string;\n  startOffset: number;\n  endOffset: number;\n}\n\nexport interface RdfVectorChunkRow {\n  id: number;\n  source_id: number;\n  source: string;\n  workspace: string;\n  local_path: string | null;\n  content_type: string | null;\n  source_version: string | null;\n  source_hash: string | null;\n  chunk_key: string;\n  ordinal: number;\n  level: number;\n  heading: string | null;\n  path: string | null;\n  content: string;\n  start_offset: number;\n  end_offset: number;\n  embedding_json: string;\n  dimensions: number;\n  magnitude: number;\n  model: string;\n  updated_at: string;\n}\n\nexport interface RdfVectorSearchOptions {\n  embedding: number[];\n  metric?: RdfVectorDistanceMetric;\n  model?: string;\n  source?: string;\n  workspace?: string;\n  sourcePrefix?: string;\n  limit?: number;\n  offset?: number;\n  threshold?: number;\n  orderBy?: RdfVectorSearchOrder[];\n}\n\nexport interface RdfVectorSearchResult {\n  source: string;\n  workspace: string;\n  localPath?: string;\n  contentType?: string;\n  sourceVersion?: string;\n  sourceHash?: string;\n  chunkKey: string;\n  ordinal: number;\n  level: number;\n  heading?: string;\n  path: string[];\n  content: string;\n  startOffset: number;\n  endOffset: number;\n  embedding: number[];\n  model?: string;\n  score: number;\n  distance: number;\n}\n\nexport interface RdfVectorIndexStats {\n  sourceCount: number;\n  chunkCount: number;\n  componentCount: number;\n  databaseBytes: number;\n  modelDistribution: RdfVectorModelDistribution[];\n}\n\nexport interface RdfVectorModelDistribution {\n  model: string;\n  dimensions: number;\n  sourceCount: number;\n  chunkCount: number;\n  minMagnitude: number;\n  maxMagnitude: number;\n  averageMagnitude: number;\n}\n\nexport interface RdfTermSelection {\n  sql: string;\n  params: unknown[];\n  indexHint: string;\n}\n\nexport interface RdfTermLookup {\n  id: number;\n  term: Term;\n}\n"]}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/storage/rdf/types.ts"],"names":[],"mappings":"","sourcesContent":["import type { Quad, Term } from '@rdfjs/types';\nimport type { QueryOptions, QuintPattern, TermMatch, TermName } from '../quint/types';\n\nexport type RdfTermKind = 'iri' | 'literal' | 'blank' | 'default_graph';\n\nexport interface RdfTermRow {\n  id: number;\n  kind: RdfTermKind;\n  value: string;\n  value_head: string;\n  datatype_id: number | null;\n  lang: string | null;\n  hash: string;\n  normalized_text: string | null;\n  numeric_value: number | null;\n  created_at: string;\n}\n\nexport interface RdfSourceInput {\n  source: string;\n  workspace: string;\n  localPath?: string;\n  contentType?: string;\n  sourceVersion?: string;\n}\n\nexport interface RdfSourceRow {\n  id: number;\n  source: string;\n  workspace: string;\n  local_path: string | null;\n  content_type: string | null;\n  last_indexed_at: string | null;\n  source_version: string | null;\n}\n\nexport interface RdfQuadRow {\n  graph_id: number;\n  subject_id: number;\n  predicate_id: number;\n  object_id: number;\n  source_file_id: number | null;\n  source_line_no: number | null;\n}\n\nexport interface RdfQuadIndexOptions {\n  path: string;\n  debug?: boolean;\n}\n\nexport type RdfDerivedIndexProfile = 'baseline' | 'rdf3x';\n\nexport interface RdfShadowAutoBackfillOptions {\n  enabled?: boolean;\n  clear?: boolean;\n  batchSize?: number;\n}\n\nexport interface RdfIndexPutOptions {\n  source?: RdfSourceInput;\n  sourceLineNo?: number;\n}\n\nexport interface RdfIndexMetrics {\n  engine: 'solid-rdf';\n  indexChoice: string;\n  /** Rows matched before LIMIT/OFFSET are applied. */\n  matchedRows: number;\n  returnedRows: number;\n  durationMs: number;\n  queryPlan?: string[];\n}\n\nexport interface RdfCardinalityEstimate {\n  rows: number;\n  source:\n    | 'exact-count'\n    | 'cached-exact-count'\n    | 'exact-distinct-count'\n    | 'cached-exact-distinct-count'\n    | 'exact-distinct-tuple-count'\n    | 'cached-exact-distinct-tuple-count';\n  indexChoice: string;\n}\n\nexport interface RdfIndexStats {\n  termCount: number;\n  quadCount: number;\n  sourceCount: number;\n  graphCount: number;\n  databaseBytes: number;\n  tableBytes: number;\n  indexBytes: number;\n  spaceObjects: RdfIndexSpaceObject[];\n  serializedTermTextBytes: number;\n  literalDatatypeDistribution: RdfLiteralDatatypeDistribution[];\n  cardinalityDistributions: RdfCardinalityDistributions;\n}\n\nexport interface RdfEngineStorageStats {\n  derivedIndexProfile: RdfDerivedIndexProfile;\n  facts: RdfIndexStats;\n  rdf3x?: {\n    stats: Rdf3xIndexStats;\n    syncedWithFacts: boolean;\n  };\n  factsBytes: number;\n  derivedBytes: number;\n  totalBytes: number;\n  derivedToFactsRatio: number;\n  totalToFactsRatio: number;\n}\n\nexport interface RdfDerivedIndexRefreshResult {\n  derivedIndexProfile: RdfDerivedIndexProfile;\n  factsDataVersion: number;\n  rdf3x?: {\n    refreshed: boolean;\n    previousFactsDataVersion: number;\n    factsDataVersion: number;\n    syncedWithFacts: boolean;\n    rebuild?: Rdf3xRebuildResult;\n  };\n}\n\nexport interface RdfIndexSpaceObject {\n  name: string;\n  kind: 'table' | 'index' | 'internal' | 'unknown';\n  tableName?: string;\n  bytes: number;\n  pages: number;\n  estimated?: boolean;\n}\n\nexport interface RdfLiteralDatatypeDistribution {\n  datatype: string;\n  termCount: number;\n  objectQuadCount: number;\n}\n\nexport interface RdfCardinalityTerm {\n  value: string;\n  kind: RdfTermKind;\n  datatype?: string;\n  language?: string;\n}\n\nexport interface RdfGraphCardinality {\n  graph: RdfCardinalityTerm;\n  quadCount: number;\n  distinctSubjects: number;\n  distinctPredicates: number;\n  distinctObjects: number;\n}\n\nexport interface RdfPredicateCardinality {\n  predicate: RdfCardinalityTerm;\n  quadCount: number;\n  graphCount: number;\n  distinctSubjects: number;\n  distinctObjects: number;\n}\n\nexport interface RdfPredicateObjectCardinality {\n  predicate: RdfCardinalityTerm;\n  object: RdfCardinalityTerm;\n  quadCount: number;\n  graphCount: number;\n  distinctSubjects: number;\n}\n\nexport interface RdfSubjectPredicateCardinality {\n  subject: RdfCardinalityTerm;\n  predicate: RdfCardinalityTerm;\n  quadCount: number;\n  graphCount: number;\n  distinctObjects: number;\n}\n\nexport interface RdfCardinalityDistributions {\n  graphs: RdfGraphCardinality[];\n  predicates: RdfPredicateCardinality[];\n  predicateObjects: RdfPredicateObjectCardinality[];\n  subjectPredicates: RdfSubjectPredicateCardinality[];\n}\n\nexport interface RdfQuadIndexScanResult {\n  quads: Quad[];\n  metrics: RdfIndexMetrics;\n}\n\nexport type Rdf3xTermKey = 'subject' | 'predicate' | 'object';\nexport type Rdf3xPatternKey = 'graph' | Rdf3xTermKey;\nexport type Rdf3xPermutationName = 'SPO' | 'SOP' | 'PSO' | 'POS' | 'OSP' | 'OPS';\nexport type Rdf3xPairProjectionName = 'SP' | 'SO' | 'PS' | 'PO' | 'OS' | 'OP';\nexport type Rdf3xTermProjectionName = 'S' | 'P' | 'O';\n\nexport interface Rdf3xIndexOptions {\n  path: string;\n  debug?: boolean;\n}\n\nexport interface Rdf3xGraphPrefixPattern {\n  $startsWith: string;\n}\n\nexport interface Rdf3xTermInPattern {\n  $in: Term[];\n}\n\nexport interface Rdf3xTermNotInPattern {\n  $notIn: Term[];\n}\n\nexport type Rdf3xTermTypePatternValue = 'iri' | 'blank' | 'literal' | 'numeric';\n\nexport interface Rdf3xTermMetadataPattern {\n  $termType?: Rdf3xTermTypePatternValue;\n  $language?: string;\n  $notLanguage?: string;\n  $langMatches?: string;\n  $datatype?: Term;\n  $notDatatype?: Term;\n}\n\nexport interface Rdf3xObjectRangePattern {\n  $gt?: Term | string | number;\n  $gte?: Term | string | number;\n  $lt?: Term | string | number;\n  $lte?: Term | string | number;\n}\n\nexport type Rdf3xNumericObjectRangePattern = Rdf3xObjectRangePattern;\n\nexport interface Rdf3xObjectTextSearchPattern {\n  $contains?: string;\n  $endsWith?: string;\n}\n\nexport interface Rdf3xObjectOperatorPattern extends Rdf3xObjectRangePattern, Rdf3xObjectTextSearchPattern, Rdf3xTermMetadataPattern {}\n\nexport interface Rdf3xTriplePattern {\n  graph?: Term | Rdf3xGraphPrefixPattern | Rdf3xTermInPattern | Rdf3xTermNotInPattern | Rdf3xTermMetadataPattern;\n  subject?: Term | Rdf3xTermInPattern | Rdf3xTermNotInPattern | Rdf3xTermMetadataPattern;\n  predicate?: Term | Rdf3xTermInPattern | Rdf3xTermNotInPattern | Rdf3xTermMetadataPattern;\n  object?: Term | Rdf3xObjectOperatorPattern | Rdf3xTermInPattern | Rdf3xTermNotInPattern;\n}\n\nexport interface Rdf3xTripleScanOptions {\n  order?: Array<'graph' | 'subject' | 'predicate' | 'object'>;\n  orderDirections?: Array<'asc' | 'desc'>;\n  reverse?: boolean;\n  limit?: number;\n  offset?: number;\n}\n\nexport interface Rdf3xIndexMetrics {\n  engine: 'solid-rdf3x';\n  indexChoice: Rdf3xPermutationName | 'source-membership' | 'none';\n  matchedRows: number;\n  returnedRows: number;\n  durationMs: number;\n  queryPlan?: string[];\n}\n\nexport interface Rdf3xTripleScanResult {\n  quads: Quad[];\n  metrics: Rdf3xIndexMetrics;\n}\n\nexport interface Rdf3xCountResult {\n  count: number;\n  metrics: Rdf3xIndexMetrics;\n}\n\nexport interface Rdf3xJoinOptions {\n  orderBy?: RdfQuadJoinOrder[];\n  limit?: number;\n  offset?: number;\n  project?: string[];\n  distinct?: boolean;\n  countMatchedRows?: boolean;\n  values?: RdfValuesBindingSource[];\n}\n\nexport interface Rdf3xJoinMetrics {\n  engine: 'solid-rdf3x';\n  indexChoice: string;\n  matchedRows: number;\n  returnedRows: number;\n  durationMs: number;\n  queryPlan?: string[];\n}\n\nexport interface Rdf3xJoinScanResult {\n  bindings: RdfBindingRow[];\n  metrics: Rdf3xJoinMetrics;\n}\n\nexport interface Rdf3xRebuildResult {\n  scannedQuads: number;\n  uniqueTriples: number;\n  memberships: number;\n  projectionRows: number;\n  factsDataVersion: number;\n  durationMs: number;\n}\n\nexport interface Rdf3xCardinalityEstimate {\n  uniqueTriples: number;\n  matchingQuads: number;\n  source: 'projection-stat' | 'term-stat' | 'exact-triple' | 'exact-membership' | 'full-count';\n  indexChoice: Rdf3xPermutationName | 'source-membership' | 'none';\n}\n\nexport interface Rdf3xIndexStats {\n  uniqueTriples: number;\n  membershipCount: number;\n  graphCount: number;\n  factsDataVersion: number;\n  permutationRows: Record<Rdf3xPermutationName, number>;\n  pairProjectionRows: Record<Rdf3xPairProjectionName, number>;\n  termProjectionRows: Record<Rdf3xTermProjectionName, number>;\n  databaseBytes: number;\n  tableBytes: number;\n  indexBytes: number;\n  spaceObjects: RdfIndexSpaceObject[];\n}\n\nexport interface Rdf3xShadowBindingDiff {\n  missingFromRdf3x: string[];\n  extraInRdf3x: string[];\n}\n\nexport interface Rdf3xShadowQuadDiff {\n  missingFromRdf3x: string[];\n  extraInRdf3x: string[];\n}\n\nexport interface Rdf3xShadowScanResult {\n  matched: boolean;\n  orderedMatch: boolean;\n  primary: Quad[];\n  rdf3x: Quad[];\n  diff: Rdf3xShadowQuadDiff;\n  primaryMetrics: RdfIndexMetrics;\n  rdf3xMetrics: Rdf3xIndexMetrics;\n  rebuild: Rdf3xRebuildResult;\n}\n\nexport interface Rdf3xShadowJoinResult {\n  matched: boolean;\n  orderedMatch: boolean;\n  primary: RdfBindingRow[];\n  rdf3x: RdfBindingRow[];\n  diff: Rdf3xShadowBindingDiff;\n  primaryMetrics: RdfIndexMetrics;\n  rdf3xMetrics: Rdf3xJoinMetrics;\n  rebuild: Rdf3xRebuildResult;\n}\n\nexport type RdfQuadTupleConstraint = Partial<Record<RdfQueryPatternKey, Term>>;\n\nexport interface RdfQuadTupleConstraintSource {\n  columns: RdfQueryPatternKey[];\n  rows: RdfQuadTupleConstraint[];\n}\n\nexport interface RdfQuadJoinPattern {\n  pattern: QuintPattern;\n  variables: Partial<Record<RdfQueryPatternKey, string>>;\n}\n\nexport interface RdfQuadJoinOrder {\n  variable: string;\n  direction?: 'asc' | 'desc';\n}\n\nexport interface RdfQuadScanOptions extends QueryOptions {\n  orderDirections?: Array<'asc' | 'desc'>;\n}\n\nexport interface RdfQuadJoinOptions {\n  orderBy?: RdfQuadJoinOrder[];\n  limit?: number;\n  offset?: number;\n  project?: string[];\n  distinct?: boolean;\n  countMatchedRows?: boolean;\n}\n\nexport interface RdfQuadJoinAggregateOptions {\n  aggregates: RdfQueryAggregate[];\n}\n\nexport type RdfQuadJoinCountOptions = RdfQuadJoinAggregateOptions;\n\nexport interface RdfQuadJoinGroupAggregateHaving {\n  aggregate: string;\n  operator: '$eq' | '$ne' | '$gt' | '$gte' | '$lt' | '$lte';\n  value: number;\n}\n\nexport type RdfQuadJoinGroupCountHaving = RdfQuadJoinGroupAggregateHaving;\n\nexport interface RdfPatternQuery {\n  pattern: QuintPattern;\n  options?: QueryOptions;\n}\n\nexport interface RdfQueryVariable {\n  variable: string;\n}\n\nexport type RdfQueryTermPattern = TermMatch | RdfQueryVariable;\n\nexport interface RdfQueryPattern {\n  graph?: RdfQueryTermPattern;\n  subject?: RdfQueryTermPattern;\n  predicate?: RdfQueryTermPattern;\n  object?: RdfQueryTermPattern;\n}\n\nexport interface RdfConstructTemplate {\n  subject: RdfQueryTermPattern;\n  predicate: RdfQueryTermPattern;\n  object: RdfQueryTermPattern;\n}\n\nexport interface RdfQueryOrder {\n  variable: string;\n  direction?: 'asc' | 'desc';\n}\n\nexport type RdfQueryAggregateType = 'count' | 'sum' | 'avg' | 'min' | 'max';\n\nexport interface RdfQueryAggregate {\n  type: RdfQueryAggregateType;\n  as: string;\n  variable?: string;\n  distinct?: boolean;\n  distinctVariables?: string[];\n}\n\nexport type RdfBindExpression =\n  | { type: 'term'; term: Term }\n  | { type: 'variable'; variable: string }\n  | { type: 'stringValue'; variable: string }\n  | { type: 'stringLength'; variable: string }\n  | { type: 'lowerCase'; expression: RdfBindExpression }\n  | { type: 'upperCase'; expression: RdfBindExpression }\n  | { type: 'coalesce'; expressions: RdfBindExpression[] }\n  | { type: 'if'; condition: RdfQueryFilter[]; then: RdfBindExpression; else: RdfBindExpression }\n  | {\n    type: 'substring';\n    expression: RdfBindExpression;\n    start: RdfBindExpression;\n    length?: RdfBindExpression;\n  }\n  | { type: 'concat'; expressions: RdfBindExpression[] }\n  | { type: 'iri'; expression: RdfBindExpression; base: string }\n  | { type: 'strdt'; lexical: RdfBindExpression; datatype: RdfBindExpression }\n  | { type: 'strlang'; lexical: RdfBindExpression; language: RdfBindExpression };\n\nexport interface RdfQueryBind {\n  variable: string;\n  expression: RdfBindExpression;\n}\n\nexport type RdfQueryFilterOperator =\n  | '$eq'\n  | '$ne'\n  | '$gt'\n  | '$gte'\n  | '$lt'\n  | '$lte'\n  | '$in'\n  | '$notIn'\n  | '$startsWith'\n  | '$contains'\n  | '$endsWith'\n  | '$regex'\n  | '$notStartsWith'\n  | '$notContains'\n  | '$notEndsWith'\n  | '$notRegex'\n  | '$bound'\n  | '$termType'\n  | '$notTermType'\n  | '$sameTerm'\n  | '$notSameTerm'\n  | '$lang'\n  | '$notLang'\n  | '$langIn'\n  | '$notLangIn'\n  | '$langMatches'\n  | '$notLangMatches'\n  | '$datatype'\n  | '$notDatatype'\n  | '$datatypeIn'\n  | '$notDatatypeIn';\n\nexport type RdfQueryFilterValue = Term | string | number | boolean;\n\nexport interface RdfQueryFilter {\n  variable: string;\n  operator: RdfQueryFilterOperator;\n  operand?: 'stringLength' | 'stringValue' | 'lowerStringValue' | 'upperStringValue';\n  value?: RdfQueryFilterValue;\n  values?: RdfQueryFilterValue[];\n  variable2?: string;\n  flags?: string;\n  source?: 'filter' | 'values';\n}\n\nexport interface RdfValuesBindingSource {\n  variables: string[];\n  rows: RdfBindingRow[];\n}\n\nexport interface RdfSearchScope {\n  workspace?: string;\n  sourcePrefix?: string;\n}\n\nexport interface RdfTextSearchPattern {\n  query: string;\n  scope?: RdfSearchScope;\n  limit?: number;\n  offset?: number;\n  orderBy?: RdfTextSearchOrder[];\n  source?: string;\n  chunk?: string;\n  content?: string;\n  heading?: string;\n  score?: string;\n  workspace?: string;\n  localPath?: string;\n  contentType?: string;\n  ordinal?: string;\n  level?: string;\n  startOffset?: string;\n  endOffset?: string;\n}\n\nexport type RdfVectorDistanceMetric = 'cosine' | 'dot' | 'euclidean';\n\nexport type RdfSearchOrderDirection = 'asc' | 'desc';\nexport type RdfTextSearchOrderField = 'score' | 'source' | 'localPath' | 'ordinal' | 'startOffset' | 'endOffset';\nexport type RdfVectorSearchOrderField = RdfTextSearchOrderField | 'distance';\n\nexport interface RdfTextSearchOrder {\n  field: RdfTextSearchOrderField;\n  direction?: RdfSearchOrderDirection;\n}\n\nexport interface RdfVectorSearchOrder {\n  field: RdfVectorSearchOrderField;\n  direction?: RdfSearchOrderDirection;\n}\n\nexport interface RdfVectorSearchPattern {\n  embedding: number[];\n  metric?: RdfVectorDistanceMetric;\n  vectorModel?: string;\n  scope?: RdfSearchScope;\n  limit?: number;\n  offset?: number;\n  threshold?: number;\n  orderBy?: RdfVectorSearchOrder[];\n  source?: string;\n  chunk?: string;\n  content?: string;\n  heading?: string;\n  score?: string;\n  distance?: string;\n  workspace?: string;\n  localPath?: string;\n  contentType?: string;\n  ordinal?: string;\n  level?: string;\n  startOffset?: string;\n  endOffset?: string;\n  model?: string;\n}\n\nexport interface RdfLocalQuery {\n  patterns: RdfQueryPattern[];\n  values?: RdfValuesBindingSource[];\n  textSearch?: RdfTextSearchPattern[];\n  vectorSearch?: RdfVectorSearchPattern[];\n  unions?: RdfUnionQueryGroup[];\n  minus?: RdfMinusQueryGroup[];\n  exists?: RdfExistsQueryGroup[];\n  optional?: Array<RdfQueryPattern[] | RdfOptionalQueryGroup>;\n  binds?: RdfQueryBind[];\n  filters?: RdfQueryFilter[];\n  having?: RdfQueryFilter[];\n  select?: string[];\n  distinct?: boolean;\n  groupBy?: string[];\n  aggregates?: RdfQueryAggregate[];\n  aggregate?: RdfQueryAggregate;\n  orderBy?: RdfQueryOrder[];\n  limit?: number;\n  offset?: number;\n}\n\nexport interface RdfUnionQueryBranch {\n  patterns: RdfQueryPattern[];\n  values?: RdfValuesBindingSource[];\n  unions?: RdfUnionQueryGroup[];\n  optional?: Array<RdfQueryPattern[] | RdfOptionalQueryGroup>;\n  binds?: RdfQueryBind[];\n  filters?: RdfQueryFilter[];\n}\n\nexport interface RdfUnionQueryGroup {\n  branches: RdfUnionQueryBranch[];\n}\n\nexport interface RdfMinusQueryGroup {\n  patterns: RdfQueryPattern[];\n  values?: RdfValuesBindingSource[];\n  unions?: RdfUnionQueryGroup[];\n  optional?: Array<RdfQueryPattern[] | RdfOptionalQueryGroup>;\n  binds?: RdfQueryBind[];\n  filters?: RdfQueryFilter[];\n}\n\nexport interface RdfExistsQueryGroup {\n  patterns: RdfQueryPattern[];\n  values?: RdfValuesBindingSource[];\n  unions?: RdfUnionQueryGroup[];\n  optional?: Array<RdfQueryPattern[] | RdfOptionalQueryGroup>;\n  binds?: RdfQueryBind[];\n  filters?: RdfQueryFilter[];\n}\n\nexport interface RdfOptionalQueryGroup {\n  patterns: RdfQueryPattern[];\n  values?: RdfValuesBindingSource[];\n  unions?: RdfUnionQueryGroup[];\n  optional?: Array<RdfQueryPattern[] | RdfOptionalQueryGroup>;\n  minus?: RdfMinusQueryGroup[];\n  exists?: RdfExistsQueryGroup[];\n  binds?: RdfQueryBind[];\n  filters?: RdfQueryFilter[];\n}\n\nexport type RdfBindingRow = Record<string, Term>;\n\nexport interface RdfQuadJoinScanResult {\n  bindings: RdfBindingRow[];\n  metrics: RdfIndexMetrics;\n}\n\nexport interface RdfQuadJoinGroupAggregateOptions {\n  groupBy: string[];\n  aggregates: RdfQueryAggregate[];\n  having?: RdfQuadJoinGroupAggregateHaving[];\n  orderBy?: RdfQuadJoinOrder[];\n  limit?: number;\n  offset?: number;\n}\n\nexport type RdfQuadJoinGroupCountOptions = RdfQuadJoinGroupAggregateOptions;\n\nexport interface RdfLocalQueryMetrics {\n  engine: 'solid-rdf';\n  plan: string[];\n  scannedRows: number;\n  joinedRows: number;\n  returnedRows: number;\n  durationMs: number;\n  indexChoices: string[];\n  cardinalityEstimates?: number;\n  distinctCardinalityEstimates?: number;\n  searchCardinalityEstimates?: number;\n  filtersApplied: number;\n  filtersPushedDown: number;\n}\n\nexport interface RdfLocalQueryResult {\n  bindings: RdfBindingRow[];\n  count?: number;\n  metrics: RdfLocalQueryMetrics;\n}\n\nexport type RdfQueryPatternKey = TermName;\n\nexport interface RdfShadowDiff {\n  missingFromPrimary: string[];\n  extraInPrimary: string[];\n}\n\nexport interface RdfShadowBackfillOptions {\n  clear?: boolean;\n  batchSize?: number;\n}\n\nexport interface RdfShadowBackfillResult {\n  scannedRows: number;\n  indexedRows: number;\n  batchCount: number;\n  durationMs: number;\n}\n\nexport interface RdfShadowScanResult {\n  matched: boolean;\n  orderedMatch: boolean;\n  primary: Quad[];\n  compatibility: Quad[];\n  diff: RdfShadowDiff;\n  metrics: RdfIndexMetrics;\n}\n\nexport interface RdfTextIndexOptions {\n  path: string;\n}\n\nexport interface RdfTextSourceInput {\n  source: string;\n  workspace: string;\n  localPath?: string;\n  contentType?: string;\n  sourceVersion?: string;\n  sourceHash?: string;\n}\n\nexport interface RdfTextChunkInput {\n  chunkKey: string;\n  ordinal: number;\n  level: number;\n  heading?: string;\n  path?: string[];\n  content: string;\n  startOffset: number;\n  endOffset: number;\n}\n\nexport interface RdfTextChunkRow {\n  id: number;\n  source_id: number;\n  source: string;\n  workspace: string;\n  local_path: string | null;\n  content_type: string | null;\n  source_version: string | null;\n  source_hash: string | null;\n  chunk_key: string;\n  ordinal: number;\n  level: number;\n  heading: string | null;\n  path: string | null;\n  content: string;\n  start_offset: number;\n  end_offset: number;\n  normalized_text: string;\n  token_count: number;\n  updated_at: string;\n}\n\nexport interface RdfTextSearchOptions {\n  query: string;\n  source?: string;\n  workspace?: string;\n  sourcePrefix?: string;\n  limit?: number;\n  offset?: number;\n  orderBy?: RdfTextSearchOrder[];\n}\n\nexport interface RdfTextSearchResult {\n  source: string;\n  workspace: string;\n  localPath?: string;\n  contentType?: string;\n  sourceVersion?: string;\n  sourceHash?: string;\n  chunkKey: string;\n  ordinal: number;\n  level: number;\n  heading?: string;\n  path: string[];\n  content: string;\n  startOffset: number;\n  endOffset: number;\n  score: number;\n}\n\nexport interface RdfSearchCardinalityEstimate {\n  rows: number;\n  source: 'text-normalized-scan' | 'text-term-posting' | 'vector-candidate-count' | 'vector-component-score';\n  indexChoice: string;\n}\n\nexport interface RdfTextIndexStats {\n  sourceCount: number;\n  chunkCount: number;\n  databaseBytes: number;\n  termDocumentFrequency: RdfTextTermDocumentFrequency[];\n}\n\nexport interface RdfTextTermDocumentFrequency {\n  term: string;\n  sourceCount: number;\n  chunkCount: number;\n  totalOccurrences: number;\n}\n\nexport interface RdfVectorIndexOptions {\n  path: string;\n  defaultMetric?: RdfVectorDistanceMetric;\n}\n\nexport interface RdfVectorSourceInput {\n  source: string;\n  workspace: string;\n  localPath?: string;\n  contentType?: string;\n  sourceVersion?: string;\n  sourceHash?: string;\n}\n\nexport interface RdfVectorChunkInput {\n  chunkKey: string;\n  ordinal: number;\n  level: number;\n  embedding: number[];\n  model?: string;\n  heading?: string;\n  path?: string[];\n  content: string;\n  startOffset: number;\n  endOffset: number;\n}\n\nexport interface RdfVectorChunkRow {\n  id: number;\n  source_id: number;\n  source: string;\n  workspace: string;\n  local_path: string | null;\n  content_type: string | null;\n  source_version: string | null;\n  source_hash: string | null;\n  chunk_key: string;\n  ordinal: number;\n  level: number;\n  heading: string | null;\n  path: string | null;\n  content: string;\n  start_offset: number;\n  end_offset: number;\n  embedding_json: string;\n  dimensions: number;\n  magnitude: number;\n  model: string;\n  updated_at: string;\n}\n\nexport interface RdfVectorSearchOptions {\n  embedding: number[];\n  metric?: RdfVectorDistanceMetric;\n  model?: string;\n  source?: string;\n  workspace?: string;\n  sourcePrefix?: string;\n  limit?: number;\n  offset?: number;\n  threshold?: number;\n  orderBy?: RdfVectorSearchOrder[];\n}\n\nexport interface RdfVectorSearchResult {\n  source: string;\n  workspace: string;\n  localPath?: string;\n  contentType?: string;\n  sourceVersion?: string;\n  sourceHash?: string;\n  chunkKey: string;\n  ordinal: number;\n  level: number;\n  heading?: string;\n  path: string[];\n  content: string;\n  startOffset: number;\n  endOffset: number;\n  embedding: number[];\n  model?: string;\n  score: number;\n  distance: number;\n}\n\nexport interface RdfVectorIndexStats {\n  sourceCount: number;\n  chunkCount: number;\n  componentCount: number;\n  databaseBytes: number;\n  modelDistribution: RdfVectorModelDistribution[];\n}\n\nexport interface RdfVectorModelDistribution {\n  model: string;\n  dimensions: number;\n  sourceCount: number;\n  chunkCount: number;\n  minMagnitude: number;\n  maxMagnitude: number;\n  averageMagnitude: number;\n}\n\nexport interface RdfTermSelection {\n  sql: string;\n  params: unknown[];\n  indexHint: string;\n}\n\nexport interface RdfTermLookup {\n  id: number;\n  term: Term;\n}\n"]}

package/dist/storage/sparql/CompatibilitySparqlEngine.d.ts

@@ -0,0 +1,36 @@
+import type { Quad } from '@rdfjs/types';
+import type { AsyncIterator } from 'asynciterator';
+import type { SparqlEngine } from './SubgraphQueryEngine';
+import type { QuintStore } from '../quint/types';
+/**
+ * @deprecated Compatibility wrapper preserved for older call sites.
+ * Mainline xpod uses SolidRdfEngine for server-owned Pod queries.
+ *
+ * This file intentionally avoids static Comunica imports so exposing the
+ * component type does not load the compatibility implementation.
+ */
+export declare class QuadstoreSparqlEngine implements SparqlEngine {
+    private readonly delegate;
+    constructor(endpoint: string);
+    queryBindings(query: string, basePath: string): Promise<any>;
+    queryQuads(query: string, basePath: string): Promise<any>;
+    queryBoolean(query: string, basePath: string): Promise<boolean>;
+    queryVoid(query: string, basePath: string): Promise<void>;
+    constructGraph(graph: string, basePath: string): Promise<AsyncIterator<Quad>>;
+    listGraphs(basePath: string): Promise<Set<string>>;
+    close(): Promise<void>;
+}
+/**
+ * Comunica-backed compatibility engine component.
+ */
+export declare class QuintstoreSparqlEngine implements SparqlEngine {
+    private readonly delegate;
+    constructor(store: QuintStore);
+    queryBindings(query: string, basePath: string): Promise<any>;
+    queryQuads(query: string, basePath: string): Promise<any>;
+    queryBoolean(query: string, basePath: string): Promise<boolean>;
+    queryVoid(query: string, basePath: string): Promise<void>;
+    constructGraph(graph: string, basePath: string): Promise<AsyncIterator<Quad>>;
+    listGraphs(basePath: string): Promise<Set<string>>;
+    close(): Promise<void>;
+}

package/dist/storage/sparql/CompatibilitySparqlEngine.js

@@ -0,0 +1,96 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.QuintstoreSparqlEngine = exports.QuadstoreSparqlEngine = void 0;
+async function loadCompatibilityModule() {
+    return Promise.resolve().then(() => __importStar(require('./CompatibilitySparqlEngineImpl')));
+}
+/**
+ * @deprecated Compatibility wrapper preserved for older call sites.
+ * Mainline xpod uses SolidRdfEngine for server-owned Pod queries.
+ *
+ * This file intentionally avoids static Comunica imports so exposing the
+ * component type does not load the compatibility implementation.
+ */
+class QuadstoreSparqlEngine {
+    constructor(endpoint) {
+        this.delegate = loadCompatibilityModule()
+            .then(({ QuadstoreSparqlEngine }) => new QuadstoreSparqlEngine(endpoint));
+    }
+    async queryBindings(query, basePath) {
+        return (await this.delegate).queryBindings(query, basePath);
+    }
+    async queryQuads(query, basePath) {
+        return (await this.delegate).queryQuads(query, basePath);
+    }
+    async queryBoolean(query, basePath) {
+        return (await this.delegate).queryBoolean(query, basePath);
+    }
+    async queryVoid(query, basePath) {
+        await (await this.delegate).queryVoid(query, basePath);
+    }
+    async constructGraph(graph, basePath) {
+        return (await this.delegate).constructGraph(graph, basePath);
+    }
+    async listGraphs(basePath) {
+        return (await this.delegate).listGraphs(basePath);
+    }
+    async close() {
+        await (await this.delegate).close();
+    }
+}
+exports.QuadstoreSparqlEngine = QuadstoreSparqlEngine;
+/**
+ * Comunica-backed compatibility engine component.
+ */
+class QuintstoreSparqlEngine {
+    constructor(store) {
+        this.delegate = loadCompatibilityModule()
+            .then(({ QuintstoreSparqlEngine }) => new QuintstoreSparqlEngine(store));
+    }
+    async queryBindings(query, basePath) {
+        return (await this.delegate).queryBindings(query, basePath);
+    }
+    async queryQuads(query, basePath) {
+        return (await this.delegate).queryQuads(query, basePath);
+    }
+    async queryBoolean(query, basePath) {
+        return (await this.delegate).queryBoolean(query, basePath);
+    }
+    async queryVoid(query, basePath) {
+        await (await this.delegate).queryVoid(query, basePath);
+    }
+    async constructGraph(graph, basePath) {
+        return (await this.delegate).constructGraph(graph, basePath);
+    }
+    async listGraphs(basePath) {
+        return (await this.delegate).listGraphs(basePath);
+    }
+    async close() {
+        await (await this.delegate).close();
+    }
+}
+exports.QuintstoreSparqlEngine = QuintstoreSparqlEngine;
+//# sourceMappingURL=CompatibilitySparqlEngine.js.map

package/dist/storage/sparql/CompatibilitySparqlEngine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CompatibilitySparqlEngine.js","sourceRoot":"","sources":["../../../src/storage/sparql/CompatibilitySparqlEngine.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;AAOA,KAAK,UAAU,uBAAuB;IACpC,yDAAc,iCAAiC,IAAE;AACnD,CAAC;AAED;;;;;;GAMG;AACH,MAAa,qBAAqB;IAGhC,YAAmB,QAAgB;QACjC,IAAI,CAAC,QAAQ,GAAG,uBAAuB,EAAE;aACtC,IAAI,CAAC,CAAC,EAAE,qBAAqB,EAAE,EAAE,EAAE,CAAC,IAAI,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9E,CAAC;IAEM,KAAK,CAAC,aAAa,CAAC,KAAa,EAAE,QAAgB;QACxD,OAAO,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC9D,CAAC;IAEM,KAAK,CAAC,UAAU,CAAC,KAAa,EAAE,QAAgB;QACrD,OAAO,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC3D,CAAC;IAEM,KAAK,CAAC,YAAY,CAAC,KAAa,EAAE,QAAgB;QACvD,OAAO,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC7D,CAAC;IAEM,KAAK,CAAC,SAAS,CAAC,KAAa,EAAE,QAAgB;QACpD,MAAM,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACzD,CAAC;IAEM,KAAK,CAAC,cAAc,CAAC,KAAa,EAAE,QAAgB;QACzD,OAAO,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC/D,CAAC;IAEM,KAAK,CAAC,UAAU,CAAC,QAAgB;QACtC,OAAO,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACpD,CAAC;IAEM,KAAK,CAAC,KAAK;QAChB,MAAM,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,CAAC;IACtC,CAAC;CACF;AAnCD,sDAmCC;AAED;;GAEG;AACH,MAAa,sBAAsB;IAGjC,YAAmB,KAAiB;QAClC,IAAI,CAAC,QAAQ,GAAG,uBAAuB,EAAE;aACtC,IAAI,CAAC,CAAC,EAAE,sBAAsB,EAAE,EAAE,EAAE,CAAC,IAAI,sBAAsB,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7E,CAAC;IAEM,KAAK,CAAC,aAAa,CAAC,KAAa,EAAE,QAAgB;QACxD,OAAO,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC9D,CAAC;IAEM,KAAK,CAAC,UAAU,CAAC,KAAa,EAAE,QAAgB;QACrD,OAAO,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC3D,CAAC;IAEM,KAAK,CAAC,YAAY,CAAC,KAAa,EAAE,QAAgB;QACvD,OAAO,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC7D,CAAC;IAEM,KAAK,CAAC,SAAS,CAAC,KAAa,EAAE,QAAgB;QACpD,MAAM,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACzD,CAAC;IAEM,KAAK,CAAC,cAAc,CAAC,KAAa,EAAE,QAAgB;QACzD,OAAO,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC/D,CAAC;IAEM,KAAK,CAAC,UAAU,CAAC,QAAgB;QACtC,OAAO,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACpD,CAAC;IAEM,KAAK,CAAC,KAAK;QAChB,MAAM,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,CAAC;IACtC,CAAC;CACF;AAnCD,wDAmCC","sourcesContent":["import type { Quad } from '@rdfjs/types';\nimport type { AsyncIterator } from 'asynciterator';\nimport type { SparqlEngine } from './SubgraphQueryEngine';\nimport type { QuintStore } from '../quint/types';\n\ntype CompatibilityModule = typeof import('./CompatibilitySparqlEngineImpl');\n\nasync function loadCompatibilityModule(): Promise<CompatibilityModule> {\n  return import('./CompatibilitySparqlEngineImpl');\n}\n\n/**\n * @deprecated Compatibility wrapper preserved for older call sites.\n * Mainline xpod uses SolidRdfEngine for server-owned Pod queries.\n *\n * This file intentionally avoids static Comunica imports so exposing the\n * component type does not load the compatibility implementation.\n */\nexport class QuadstoreSparqlEngine implements SparqlEngine {\n  private readonly delegate: Promise<SparqlEngine>;\n\n  public constructor(endpoint: string) {\n    this.delegate = loadCompatibilityModule()\n      .then(({ QuadstoreSparqlEngine }) => new QuadstoreSparqlEngine(endpoint));\n  }\n\n  public async queryBindings(query: string, basePath: string): Promise<any> {\n    return (await this.delegate).queryBindings(query, basePath);\n  }\n\n  public async queryQuads(query: string, basePath: string): Promise<any> {\n    return (await this.delegate).queryQuads(query, basePath);\n  }\n\n  public async queryBoolean(query: string, basePath: string): Promise<boolean> {\n    return (await this.delegate).queryBoolean(query, basePath);\n  }\n\n  public async queryVoid(query: string, basePath: string): Promise<void> {\n    await (await this.delegate).queryVoid(query, basePath);\n  }\n\n  public async constructGraph(graph: string, basePath: string): Promise<AsyncIterator<Quad>> {\n    return (await this.delegate).constructGraph(graph, basePath);\n  }\n\n  public async listGraphs(basePath: string): Promise<Set<string>> {\n    return (await this.delegate).listGraphs(basePath);\n  }\n\n  public async close(): Promise<void> {\n    await (await this.delegate).close();\n  }\n}\n\n/**\n * Comunica-backed compatibility engine component.\n */\nexport class QuintstoreSparqlEngine implements SparqlEngine {\n  private readonly delegate: Promise<SparqlEngine>;\n\n  public constructor(store: QuintStore) {\n    this.delegate = loadCompatibilityModule()\n      .then(({ QuintstoreSparqlEngine }) => new QuintstoreSparqlEngine(store));\n  }\n\n  public async queryBindings(query: string, basePath: string): Promise<any> {\n    return (await this.delegate).queryBindings(query, basePath);\n  }\n\n  public async queryQuads(query: string, basePath: string): Promise<any> {\n    return (await this.delegate).queryQuads(query, basePath);\n  }\n\n  public async queryBoolean(query: string, basePath: string): Promise<boolean> {\n    return (await this.delegate).queryBoolean(query, basePath);\n  }\n\n  public async queryVoid(query: string, basePath: string): Promise<void> {\n    await (await this.delegate).queryVoid(query, basePath);\n  }\n\n  public async constructGraph(graph: string, basePath: string): Promise<AsyncIterator<Quad>> {\n    return (await this.delegate).constructGraph(graph, basePath);\n  }\n\n  public async listGraphs(basePath: string): Promise<Set<string>> {\n    return (await this.delegate).listGraphs(basePath);\n  }\n\n  public async close(): Promise<void> {\n    await (await this.delegate).close();\n  }\n}\n"]}

package/dist/storage/sparql/CompatibilitySparqlEngine.jsonld

@@ -0,0 +1,123 @@
+{
+  "@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/sparql/CompatibilitySparqlEngine.jsonld#QuadstoreSparqlEngine",
+      "@type": "Class",
+      "requireElement": "QuadstoreSparqlEngine",
+      "extends": [
+        "undefineds:dist/storage/sparql/SubgraphQueryEngine.jsonld#SparqlEngine"
+      ],
+      "parameters": [
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuadstoreSparqlEngine_endpoint",
+          "range": "xsd:string"
+        }
+      ],
+      "memberFields": [
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuadstoreSparqlEngine__member_delegate",
+          "memberFieldName": "delegate"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuadstoreSparqlEngine__member_constructor",
+          "memberFieldName": "constructor"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuadstoreSparqlEngine__member_queryBindings",
+          "memberFieldName": "queryBindings"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuadstoreSparqlEngine__member_queryQuads",
+          "memberFieldName": "queryQuads"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuadstoreSparqlEngine__member_queryBoolean",
+          "memberFieldName": "queryBoolean"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuadstoreSparqlEngine__member_queryVoid",
+          "memberFieldName": "queryVoid"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuadstoreSparqlEngine__member_constructGraph",
+          "memberFieldName": "constructGraph"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuadstoreSparqlEngine__member_listGraphs",
+          "memberFieldName": "listGraphs"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuadstoreSparqlEngine__member_close",
+          "memberFieldName": "close"
+        }
+      ],
+      "constructorArguments": [
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuadstoreSparqlEngine_endpoint"
+        }
+      ]
+    },
+    {
+      "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuintstoreSparqlEngine",
+      "@type": "Class",
+      "requireElement": "QuintstoreSparqlEngine",
+      "extends": [
+        "undefineds:dist/storage/sparql/SubgraphQueryEngine.jsonld#SparqlEngine"
+      ],
+      "comment": "Comunica-backed compatibility engine component.",
+      "parameters": [
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuintstoreSparqlEngine_store",
+          "range": "undefineds:dist/storage/quint/types.jsonld#QuintStore"
+        }
+      ],
+      "memberFields": [
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuintstoreSparqlEngine__member_delegate",
+          "memberFieldName": "delegate"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuintstoreSparqlEngine__member_constructor",
+          "memberFieldName": "constructor"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuintstoreSparqlEngine__member_queryBindings",
+          "memberFieldName": "queryBindings"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuintstoreSparqlEngine__member_queryQuads",
+          "memberFieldName": "queryQuads"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuintstoreSparqlEngine__member_queryBoolean",
+          "memberFieldName": "queryBoolean"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuintstoreSparqlEngine__member_queryVoid",
+          "memberFieldName": "queryVoid"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuintstoreSparqlEngine__member_constructGraph",
+          "memberFieldName": "constructGraph"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuintstoreSparqlEngine__member_listGraphs",
+          "memberFieldName": "listGraphs"
+        },
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuintstoreSparqlEngine__member_close",
+          "memberFieldName": "close"
+        }
+      ],
+      "constructorArguments": [
+        {
+          "@id": "undefineds:dist/storage/sparql/CompatibilitySparqlEngine.jsonld#QuintstoreSparqlEngine_store"
+        }
+      ]
+    }
+  ]
+}

package/dist/storage/sparql/CompatibilitySparqlEngineImpl.d.ts

@@ -0,0 +1,35 @@
+import type { Quad } from '@rdfjs/types';
+import type { AsyncIterator } from 'asynciterator';
+import type { SparqlEngine } from './SubgraphQueryEngine';
+import type { QuintStore } from '../quint/types';
+/**
+ * @deprecated Compatibility wrapper preserved for older call sites.
+ * Mainline xpod uses SolidRdfEngine for server-owned Pod queries.
+ */
+export declare class QuadstoreSparqlEngine implements SparqlEngine {
+    private readonly delegate;
+    constructor(endpoint: string);
+    queryBindings(query: string, basePath: string): Promise<any>;
+    queryQuads(query: string, basePath: string): Promise<any>;
+    queryBoolean(query: string, basePath: string): Promise<boolean>;
+    queryVoid(query: string, basePath: string): Promise<void>;
+    constructGraph(graph: string, basePath: string): Promise<AsyncIterator<Quad>>;
+    listGraphs(basePath: string): Promise<Set<string>>;
+    close(): Promise<void>;
+}
+/**
+ * Comunica-backed compatibility engine.
+ */
+export declare class QuintstoreSparqlEngine implements SparqlEngine {
+    private readonly store;
+    private readonly engine;
+    private readonly ready;
+    constructor(store: QuintStore);
+    queryBindings(query: string, basePath: string): Promise<any>;
+    queryQuads(query: string, basePath: string): Promise<any>;
+    queryBoolean(query: string, basePath: string): Promise<boolean>;
+    queryVoid(query: string, basePath: string): Promise<void>;
+    constructGraph(graph: string, basePath: string): Promise<AsyncIterator<Quad>>;
+    listGraphs(basePath: string): Promise<Set<string>>;
+    close(): Promise<void>;
+}