jinaga-server 3.0.0 → 3.1.0

package/replicator/package-lock.json

@@ -10,8 +10,8 @@
       "license": "MIT",
       "dependencies": {
         "cors": "^2.8.5",
-        "express": "^4.18.1",
-        "pg": "^8.11.3"
+        "express": "^4.18.3",
+        "pg": "8.11.3"
       },
       "devDependencies": {
         "@types/cors": "^2.8.12",
@@ -122,12 +122,12 @@
       "integrity": "sha512-PCVAQswWemu6UdxsDFFX/+gVeYqKAod3D3UVm91jHwynguOwAvYPhx8nNlM++NqRcK6CxxpUafjmhIdKiHibqg=="
     },
     "node_modules/body-parser": {
-      "version": "1.20.1",
-      "resolved": "https://registry.npmjs.org/body-parser/-/body-parser-1.20.1.tgz",
-      "integrity": "sha512-jWi7abTbYwajOytWCQc37VulmWiRae5RyTpaCyDcS5/lMdtwSz5lOpDE67srw/HYe35f1z3fDQw+3txg7gNtWw==",
+      "version": "1.20.2",
+      "resolved": "https://registry.npmjs.org/body-parser/-/body-parser-1.20.2.tgz",
+      "integrity": "sha512-ml9pReCu3M61kGlqoTm2umSXTlRTuGTx0bfYj+uIUKKYycG5NtSbeetV3faSU6R7ajOPw0g/J1PvK4qNy7s5bA==",
       "dependencies": {
         "bytes": "3.1.2",
-        "content-type": "~1.0.4",
+        "content-type": "~1.0.5",
         "debug": "2.6.9",
         "depd": "2.0.0",
         "destroy": "1.2.0",
@@ -135,7 +135,7 @@
         "iconv-lite": "0.4.24",
         "on-finished": "2.4.1",
         "qs": "6.11.0",
-        "raw-body": "2.5.1",
+        "raw-body": "2.5.2",
         "type-is": "~1.6.18",
         "unpipe": "1.0.0"
       },
@@ -161,12 +161,18 @@
       }
     },
     "node_modules/call-bind": {
-      "version": "1.0.2",
-      "resolved": "https://registry.npmjs.org/call-bind/-/call-bind-1.0.2.tgz",
-      "integrity": "sha512-7O+FbCihrB5WGbFYesctwmTKae6rOiIzmz1icreWJ+0aA7LJfuqhEso2T9ncpcFtzMQtzXf2QGGueWJGTYsqrA==",
-      "dependencies": {
-        "function-bind": "^1.1.1",
-        "get-intrinsic": "^1.0.2"
+      "version": "1.0.7",
+      "resolved": "https://registry.npmjs.org/call-bind/-/call-bind-1.0.7.tgz",
+      "integrity": "sha512-GHTSNSYICQ7scH7sZ+M2rFopRoLh8t2bLSW6BbgrtLsahOIB5iyAVJf9GjWK3cYTDaMj4XdBpM1cA6pIS0Kv2w==",
+      "dependencies": {
+        "es-define-property": "^1.0.0",
+        "es-errors": "^1.3.0",
+        "function-bind": "^1.1.2",
+        "get-intrinsic": "^1.2.4",
+        "set-function-length": "^1.2.1"
+      },
+      "engines": {
+        "node": ">= 0.4"
       },
       "funding": {
         "url": "https://github.com/sponsors/ljharb"
@@ -184,9 +190,9 @@
       }
     },
     "node_modules/content-type": {
-      "version": "1.0.4",
-      "resolved": "https://registry.npmjs.org/content-type/-/content-type-1.0.4.tgz",
-      "integrity": "sha512-hIP3EEPs8tB9AT1L+NUqtwOAps4mk2Zob89MWXMHjHWg9milF/j4osnnQLXBCBFBk/tvIG/tUc9mOUJiPBhPXA==",
+      "version": "1.0.5",
+      "resolved": "https://registry.npmjs.org/content-type/-/content-type-1.0.5.tgz",
+      "integrity": "sha512-nTjqfcBFEipKdXCv4YDQWCfmcLZKm81ldF0pAopTvyrFGVbcR6P/VAAd5G7N+0tTr8QqiU0tFadD6FK4NtJwOA==",
       "engines": {
         "node": ">= 0.6"
       }
@@ -224,6 +230,22 @@
         "ms": "2.0.0"
       }
     },
+    "node_modules/define-data-property": {
+      "version": "1.1.4",
+      "resolved": "https://registry.npmjs.org/define-data-property/-/define-data-property-1.1.4.tgz",
+      "integrity": "sha512-rBMvIzlpA8v6E+SJZoo++HAYqsLrkg7MSfIinMPFhmkorw7X+dOXVJQs+QT69zGkzMyfDnIMN2Wid1+NbL3T+A==",
+      "dependencies": {
+        "es-define-property": "^1.0.0",
+        "es-errors": "^1.3.0",
+        "gopd": "^1.0.1"
+      },
+      "engines": {
+        "node": ">= 0.4"
+      },
+      "funding": {
+        "url": "https://github.com/sponsors/ljharb"
+      }
+    },
     "node_modules/depd": {
       "version": "2.0.0",
       "resolved": "https://registry.npmjs.org/depd/-/depd-2.0.0.tgz",
@@ -254,6 +276,25 @@
         "node": ">= 0.8"
       }
     },
+    "node_modules/es-define-property": {
+      "version": "1.0.0",
+      "resolved": "https://registry.npmjs.org/es-define-property/-/es-define-property-1.0.0.tgz",
+      "integrity": "sha512-jxayLKShrEqqzJ0eumQbVhTYQM27CfT1T35+gCgDFoL82JLsXqTJ76zv6A0YLOgEnLUMvLzsDsGIrl8NFpT2gQ==",
+      "dependencies": {
+        "get-intrinsic": "^1.2.4"
+      },
+      "engines": {
+        "node": ">= 0.4"
+      }
+    },
+    "node_modules/es-errors": {
+      "version": "1.3.0",
+      "resolved": "https://registry.npmjs.org/es-errors/-/es-errors-1.3.0.tgz",
+      "integrity": "sha512-Zf5H2Kxt2xjTvbJvP2ZWLEICxA6j+hAmMzIlypy4xcBg1vKVnx89Wy0GbS+kf5cwCVFFzdCFh2XSCFNULS6csw==",
+      "engines": {
+        "node": ">= 0.4"
+      }
+    },
     "node_modules/escape-html": {
       "version": "1.0.3",
       "resolved": "https://registry.npmjs.org/escape-html/-/escape-html-1.0.3.tgz",
@@ -268,13 +309,13 @@
       }
     },
     "node_modules/express": {
-      "version": "4.18.2",
-      "resolved": "https://registry.npmjs.org/express/-/express-4.18.2.tgz",
-      "integrity": "sha512-5/PsL6iGPdfQ/lKM1UuielYgv3BUoJfz1aUwU9vHZ+J7gyvwdQXFEBIEIaxeGf0GIcreATNyBExtalisDbuMqQ==",
+      "version": "4.18.3",
+      "resolved": "https://registry.npmjs.org/express/-/express-4.18.3.tgz",
+      "integrity": "sha512-6VyCijWQ+9O7WuVMTRBTl+cjNNIzD5cY5mQ1WM8r/LEkI2u8EYpOotESNwzNlyCn3g+dmjKYI6BmNneSr/FSRw==",
       "dependencies": {
         "accepts": "~1.3.8",
         "array-flatten": "1.1.1",
-        "body-parser": "1.20.1",
+        "body-parser": "1.20.2",
         "content-disposition": "0.5.4",
         "content-type": "~1.0.4",
         "cookie": "0.5.0",
@@ -342,32 +383,62 @@
       }
     },
     "node_modules/function-bind": {
-      "version": "1.1.1",
-      "resolved": "https://registry.npmjs.org/function-bind/-/function-bind-1.1.1.tgz",
-      "integrity": "sha512-yIovAzMX49sF8Yl58fSCWJ5svSLuaibPxXQJFLmBObTuCr0Mf1KiPopGM9NiFjiYBCbfaa2Fh6breQ6ANVTI0A=="
+      "version": "1.1.2",
+      "resolved": "https://registry.npmjs.org/function-bind/-/function-bind-1.1.2.tgz",
+      "integrity": "sha512-7XHNxH7qX9xG5mIwxkhumTox/MIRNcOgDrxWsMt2pAr23WHp6MrRlN7FBSFpCpr+oVO0F744iUgR82nJMfG2SA==",
+      "funding": {
+        "url": "https://github.com/sponsors/ljharb"
+      }
     },
     "node_modules/get-intrinsic": {
-      "version": "1.2.0",
-      "resolved": "https://registry.npmjs.org/get-intrinsic/-/get-intrinsic-1.2.0.tgz",
-      "integrity": "sha512-L049y6nFOuom5wGyRc3/gdTLO94dySVKRACj1RmJZBQXlbTMhtNIgkWkUHq+jYmZvKf14EW1EoJnnjbmoHij0Q==",
+      "version": "1.2.4",
+      "resolved": "https://registry.npmjs.org/get-intrinsic/-/get-intrinsic-1.2.4.tgz",
+      "integrity": "sha512-5uYhsJH8VJBTv7oslg4BznJYhDoRI6waYCxMmCdnTrcCrHA/fCFKoTFz2JKKE0HdDFUF7/oQuhzumXJK7paBRQ==",
+      "dependencies": {
+        "es-errors": "^1.3.0",
+        "function-bind": "^1.1.2",
+        "has-proto": "^1.0.1",
+        "has-symbols": "^1.0.3",
+        "hasown": "^2.0.0"
+      },
+      "engines": {
+        "node": ">= 0.4"
+      },
+      "funding": {
+        "url": "https://github.com/sponsors/ljharb"
+      }
+    },
+    "node_modules/gopd": {
+      "version": "1.0.1",
+      "resolved": "https://registry.npmjs.org/gopd/-/gopd-1.0.1.tgz",
+      "integrity": "sha512-d65bNlIadxvpb/A2abVdlqKqV563juRnZ1Wtk6s1sIR8uNsXR70xqIzVqxVf1eTqDunwT2MkczEeaezCKTZhwA==",
       "dependencies": {
-        "function-bind": "^1.1.1",
-        "has": "^1.0.3",
-        "has-symbols": "^1.0.3"
+        "get-intrinsic": "^1.1.3"
       },
       "funding": {
         "url": "https://github.com/sponsors/ljharb"
       }
     },
-    "node_modules/has": {
-      "version": "1.0.3",
-      "resolved": "https://registry.npmjs.org/has/-/has-1.0.3.tgz",
-      "integrity": "sha512-f2dvO0VU6Oej7RkWJGrehjbzMAjFp5/VKPp5tTpWIV4JHHZK1/BxbFRtf/siA2SWTe09caDmVtYYzWEIbBS4zw==",
+    "node_modules/has-property-descriptors": {
+      "version": "1.0.2",
+      "resolved": "https://registry.npmjs.org/has-property-descriptors/-/has-property-descriptors-1.0.2.tgz",
+      "integrity": "sha512-55JNKuIW+vq4Ke1BjOTjM2YctQIvCT7GFzHwmfZPGo5wnrgkid0YQtnAleFSqumZm4az3n2BS+erby5ipJdgrg==",
       "dependencies": {
-        "function-bind": "^1.1.1"
+        "es-define-property": "^1.0.0"
       },
+      "funding": {
+        "url": "https://github.com/sponsors/ljharb"
+      }
+    },
+    "node_modules/has-proto": {
+      "version": "1.0.3",
+      "resolved": "https://registry.npmjs.org/has-proto/-/has-proto-1.0.3.tgz",
+      "integrity": "sha512-SJ1amZAJUiZS+PhsVLf5tGydlaVB8EdFpaSO4gmiUKUOxk8qzn5AIy4ZeJUmh22znIdk/uMAUT2pl3FxzVUH+Q==",
       "engines": {
-        "node": ">= 0.4.0"
+        "node": ">= 0.4"
+      },
+      "funding": {
+        "url": "https://github.com/sponsors/ljharb"
       }
     },
     "node_modules/has-symbols": {
@@ -381,6 +452,17 @@
         "url": "https://github.com/sponsors/ljharb"
       }
     },
+    "node_modules/hasown": {
+      "version": "2.0.2",
+      "resolved": "https://registry.npmjs.org/hasown/-/hasown-2.0.2.tgz",
+      "integrity": "sha512-0hJU9SCPvmMzIBdZFqNPXWa6dqh7WdH0cII9y+CyS8rG3nL48Bclra9HmKhVVUHyPWNH5Y7xDwAB7bfgSjkUMQ==",
+      "dependencies": {
+        "function-bind": "^1.1.2"
+      },
+      "engines": {
+        "node": ">= 0.4"
+      }
+    },
     "node_modules/http-errors": {
       "version": "2.0.0",
       "resolved": "https://registry.npmjs.org/http-errors/-/http-errors-2.0.0.tgz",
@@ -493,9 +575,9 @@
       }
     },
     "node_modules/object-inspect": {
-      "version": "1.12.3",
-      "resolved": "https://registry.npmjs.org/object-inspect/-/object-inspect-1.12.3.tgz",
-      "integrity": "sha512-geUvdk7c+eizMNUDkRpW1wJwgfOiOeHbxBR/hLXK1aT6zmVSO0jsQcs7fj6MGw89jC/cjGfLcNOrtMYtGqm81g==",
+      "version": "1.13.1",
+      "resolved": "https://registry.npmjs.org/object-inspect/-/object-inspect-1.13.1.tgz",
+      "integrity": "sha512-5qoj1RUiKOMsCCNLV1CBiPYE10sziTsnmNxkAI/rZhiD63CF7IqdFGC/XzjWjpSgLf0LxXX3bDFIh0E18f6UhQ==",
       "funding": {
         "url": "https://github.com/sponsors/ljharb"
       }
@@ -682,9 +764,9 @@
       }
     },
     "node_modules/raw-body": {
-      "version": "2.5.1",
-      "resolved": "https://registry.npmjs.org/raw-body/-/raw-body-2.5.1.tgz",
-      "integrity": "sha512-qqJBtEyVgS0ZmPGdCFPWJ3FreoqvG4MVQln/kCgF7Olq95IbOp0/BWyMwbdtn4VTvkM8Y7khCQ2Xgk/tcrCXig==",
+      "version": "2.5.2",
+      "resolved": "https://registry.npmjs.org/raw-body/-/raw-body-2.5.2.tgz",
+      "integrity": "sha512-8zGqypfENjCIqGhgXToC8aB2r7YrBX+AQAfIPs/Mlk+BtPTztOvTS01NRW/3Eh60J+a48lt8qsCzirQ6loCVfA==",
       "dependencies": {
         "bytes": "3.1.2",
         "http-errors": "2.0.0",
@@ -761,19 +843,39 @@
         "node": ">= 0.8.0"
       }
     },
+    "node_modules/set-function-length": {
+      "version": "1.2.2",
+      "resolved": "https://registry.npmjs.org/set-function-length/-/set-function-length-1.2.2.tgz",
+      "integrity": "sha512-pgRc4hJ4/sNjWCSS9AmnS40x3bNMDTknHgL5UaMBTMyJnU90EgWh1Rz+MC9eFu4BuN/UwZjKQuY/1v3rM7HMfg==",
+      "dependencies": {
+        "define-data-property": "^1.1.4",
+        "es-errors": "^1.3.0",
+        "function-bind": "^1.1.2",
+        "get-intrinsic": "^1.2.4",
+        "gopd": "^1.0.1",
+        "has-property-descriptors": "^1.0.2"
+      },
+      "engines": {
+        "node": ">= 0.4"
+      }
+    },
     "node_modules/setprototypeof": {
       "version": "1.2.0",
       "resolved": "https://registry.npmjs.org/setprototypeof/-/setprototypeof-1.2.0.tgz",
       "integrity": "sha512-E5LDX7Wrp85Kil5bhZv46j8jOeboKq5JMmYM3gVGdGH8xFpPWXUMsNrlODCrkoxMEeNi/XZIwuRvY4XNwYMJpw=="
     },
     "node_modules/side-channel": {
-      "version": "1.0.4",
-      "resolved": "https://registry.npmjs.org/side-channel/-/side-channel-1.0.4.tgz",
-      "integrity": "sha512-q5XPytqFEIKHkGdiMIrY10mvLRvnQh42/+GoBlFW3b2LXLE2xxJpZFdm94we0BaoV3RwJyGqg5wS7epxTv0Zvw==",
+      "version": "1.0.6",
+      "resolved": "https://registry.npmjs.org/side-channel/-/side-channel-1.0.6.tgz",
+      "integrity": "sha512-fDW/EZ6Q9RiO8eFG8Hj+7u/oW+XrPTIChwCOM2+th2A6OblDtYYIpve9m+KvI9Z4C9qSEXlaGR6bTEYHReuglA==",
       "dependencies": {
-        "call-bind": "^1.0.0",
-        "get-intrinsic": "^1.0.2",
-        "object-inspect": "^1.9.0"
+        "call-bind": "^1.0.7",
+        "es-errors": "^1.3.0",
+        "get-intrinsic": "^1.2.4",
+        "object-inspect": "^1.13.1"
+      },
+      "engines": {
+        "node": ">= 0.4"
       },
       "funding": {
         "url": "https://github.com/sponsors/ljharb"

package/replicator/package.json

@@ -16,7 +16,7 @@
   "license": "MIT",
   "dependencies": {
     "cors": "^2.8.5",
-    "express": "^4.18.1",
+    "express": "^4.18.3",
     "pg": "8.11.3"
   },
   "devDependencies": {

package/replicator/tsconfig.json

@@ -1,6 +1,7 @@
 {
   "compilerOptions": {
       "target": "es6",
+      "lib": [ "ES2019" ],
       "module": "commonjs",
       "sourceMap": true,
       "baseUrl": "./dist",

package/src/http/router.ts

@@ -1,7 +1,8 @@
-import { Handler, Router } from "express";
+import { Handler, MediaType, Response, Router } from "express";
 import {
     Authorization,
     Declaration,
+    FactEnvelope,
     FactManager,
     FactRecord,
     FactReference,
@@ -29,6 +30,7 @@ import {
 } from "jinaga";
 
 import { Stream } from "./stream";
+import { GraphSerializer } from "./serializer";
 
 interface ParsedQs { [key: string]: undefined | string | string[] | ParsedQs | ParsedQs[] }
 
@@ -64,7 +66,7 @@ function getOrStream<U>(
                             })
                             .done(() => {
                                 clearTimeout(timeout);
-                                res.socket.end();
+                                res.socket?.end();
                             });
                     }
                 })
@@ -132,7 +134,8 @@ function getAuthenticate<U>(method: ((req: RequestUser, params?: { [key: string]
 
 function post<T, U>(
     parse: (input: any) => T,
-    method: (user: RequestUser, message: T, params?: { [key: string]: string }) => Promise<U>
+    method: (user: RequestUser, message: T, params?: { [key: string]: string }) => Promise<U>,
+    output: (result: U, res: Response, accepts: (type: string) => string | false) => void
 ): Handler {
     return (req, res, next) => {
         const user = <RequestUser>req.user;
@@ -147,8 +150,7 @@ function post<T, U>(
                     next();
                 }
                 else {
-                    res.type("json");
-                    res.send(JSON.stringify(response));
+                    output(response, res, (type) => req.accepts(type));
                     next();
                 }
             })
@@ -272,6 +274,29 @@ function serializeUserIdentity(user: RequestUser | null): UserIdentity | null {
     };
 }
 
+function outputGraph(result: FactEnvelope[], res: Response, accepts: (type: string) => string | false) {
+    if (accepts("application/x-jinaga-graph-v1")) {
+        res.type("application/x-jinaga-graph-v1");
+        const serializer = new GraphSerializer(
+            (chunk: string) => res.write(chunk)
+        );
+        serializer.serialize(result);
+        res.end();
+    }
+    else {
+        res.type("json");
+        const loadResponse: LoadResponse = {
+            facts: result.map(r => r.fact)
+        };
+        res.send(JSON.stringify(loadResponse));
+    }
+}
+
+function outputFeeds(result: FeedsResponse, res: Response, accepts: (type: string) => string | false) {
+    res.type("json");
+    res.send(JSON.stringify(result));
+}
+
 export interface RequestUser {
     provider: string;
     id: string;
@@ -286,7 +311,8 @@ export class HttpRouter {
         router.get('/login', getAuthenticate(user => this.login(user)));
         router.post('/load', post(
             parseLoadMessage,
-            (user, loadMessage) => this.load(user, loadMessage)
+            (user, loadMessage) => this.load(user, loadMessage),
+            outputGraph
         ));
         router.post('/save', postCreate(
             parseSaveMessage,
@@ -297,7 +323,8 @@ export class HttpRouter {
         router.post('/write', postStringCreate((user, input: string) => this.write(user, input)));
         router.post('/feeds', post(
             parseString,
-            (user, input: string) => this.feeds(user, input)
+            (user, input: string, accepts) => this.feeds(user, input),
+            outputFeeds
         ));
         router.get('/feeds/:hash', getOrStream<FeedResponse>(
             (user, params, query) => this.feed(user, params, query),
@@ -317,13 +344,11 @@ export class HttpRouter {
         };
     }
 
-    private async load(user: RequestUser, loadMessage: LoadMessage): Promise<LoadResponse> {
+    private async load(user: RequestUser, loadMessage: LoadMessage): Promise<FactEnvelope[]> {
         const userIdentity = serializeUserIdentity(user);
         const result = await this.authorization.load(userIdentity, loadMessage.references);
         const facts = result.map(r => r.fact);
-        return {
-            facts
-        };
+        return result;
     }
 
     private async save(user: RequestUser | null, saveMessage: SaveMessage): Promise<void> {

package/src/http/serializer.ts

@@ -0,0 +1,81 @@
+import { FactEnvelope, FactReference, PredecessorCollection } from "jinaga";
+
+type IndexPredecessorCollection = {
+    [role: string]: number | number[];
+};
+
+export class GraphSerializer
+{
+    private index = 0;
+    private indexByFactReference: { [key: string]: number } = {};
+    private publicKeys: string[] = [];
+
+    constructor(
+        private readonly write: (chunk: string) => void
+    ) {}
+
+    serialize(result: FactEnvelope[]) {
+        // Write the facts
+        for (const fact of result) {
+            // Skip facts that have already been written
+            const key = fact.fact.type + ":" + fact.fact.hash;
+            if (this.indexByFactReference.hasOwnProperty(key)) {
+                continue;
+            }
+
+            // Write any new public keys
+            for (const signature of fact.signatures) {
+                if (!this.publicKeys.includes(signature.publicKey)) {
+                    const pkIndex = this.publicKeys.length;
+                    const publicKey = JSON.stringify(signature.publicKey);
+                    this.write(`PK${pkIndex.toString()}\n${publicKey}\n\n`);
+                    this.publicKeys.push(signature.publicKey);
+                }
+            }
+
+            // Write the fact
+            const factType = JSON.stringify(fact.fact.type);
+            const predecessorIndexes = JSON.stringify(this.getPredecessorIndexes(fact.fact.predecessors));
+            const factFields = JSON.stringify(fact.fact.fields);
+
+            let output = `${factType}\n${predecessorIndexes}\n${factFields}`;
+
+            // Write the signatures
+            for (const signature of fact.signatures) {
+                const publicKeyIndex = this.publicKeys.indexOf(signature.publicKey);
+                const publicKey = `PK${publicKeyIndex.toString()}`;
+                const signatureString = JSON.stringify(signature.signature);
+
+                output += `\n${publicKey}\n${signatureString}`;
+            }
+
+            output += "\n\n";
+
+            this.write(output);
+
+            this.indexByFactReference[key] = this.index;
+            this.index++;
+        }
+    }
+
+    private getPredecessorIndexes(predecessors: PredecessorCollection): IndexPredecessorCollection {
+        const result: IndexPredecessorCollection = {};
+        for (const role in predecessors) {
+            const reference = predecessors[role];
+            if (Array.isArray(reference)) {
+                result[role] = reference.map(r => this.getFactIndex(r));
+            } else {
+                result[role] = this.getFactIndex(reference);
+            }
+        }
+        return result;
+    }
+
+    private getFactIndex(reference: FactReference): number {
+        const key = reference.type + ":" + reference.hash;
+        if (!this.indexByFactReference.hasOwnProperty(key)) {
+            throw new Error(`Fact reference not found in graph: ${key}`);
+        }
+        return this.indexByFactReference[key];
+    }
+}

package/src/postgres/query-description.ts

@@ -1,5 +1,5 @@
 import { FactReference, Label, Match, PathCondition } from "jinaga";
-import { FactTypeMap, RoleMap, ensureGetFactTypeId, getFactTypeId, getRoleId } from "./maps";
+import { FactTypeMap, RoleMap, getFactTypeId, getRoleId } from "./maps";
 
 export interface FactDescription {
     type: string;
@@ -323,9 +323,13 @@ export class QueryDescriptionBuider {
             if (givenIndex < 0) {
                 throw new Error(`No input parameter found for label ${condition.labelRight}`);
             }
+            const factTypeId = getFactTypeId(this.factTypes, start[givenIndex].type);
+            if (!factTypeId) {
+                return { queryDescription: QueryDescription.unsatisfiable, knownFacts };
+            }
             const { queryDescription: newQueryDescription, factDescription } = queryDescription.withInputParameter(
                 given[givenIndex],
-                ensureGetFactTypeId(this.factTypes, start[givenIndex].type),
+                factTypeId,
                 start[givenIndex].hash,
                 path
             );