chore(CAHN Demo): 🔥 cleanup

nqminds · Sep 2, 2024 · 06a8e54 · 06a8e54
1 parent 89c96d7
commit 06a8e54
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 8 deletions.
diff --git a/packages/cahn_demo/server/emailToPublicKeys.json b/packages/cahn_demo/server/emailToPublicKeys.json
@@ -1,5 +1 @@
-{
-  "henry@nquiringminds.com": [
-    "OJfIatZ4d806LEGIZa/0Fg7kDJsuhp3PMH+NxwsO/0E="
-  ]
-}
+{}
diff --git a/packages/cahn_demo/server/index.js b/packages/cahn_demo/server/index.js
@@ -326,8 +326,6 @@ app.get("/device/:deviceId", async (req, res) => {
   // Command to run Prolog query and retrieve data for a specific device
   const command = `swipl -s ./output/output.pl -g "attach_db('./output/output_db.pl'), db:output_device_data(\\"${deviceId}\\", DeviceData), write(current_output, DeviceData), halt."`;
 
-  console.log("command :>> ", command);
-
   exec(command, (error, stdout, stderr) => {
     claimCascadeInProgress = false;
     if (error) {

diff --git a/packages/cahn_demo/server/output/output_db.pl b/packages/cahn_demo/server/output/output_db.pl
@@ -1,4 +1,6 @@
-created(1725284127.4283504).
+created(1725284556.401133).
+assert(device_type_trust("henry@nquiringminds.com",1725284541476,"EvilPhone-id")).
+assert(manufacturer_trust(1725284533884,"EvilInc-id","henry@nquiringminds.com")).
 assert(device_type(1723716151033,"TrustPhone-id","TrustPhone")).
 assert(device_type(1723716151033,"VulnerableCamera-id","VulnerableCamera")).
 assert(device_type(1723716151033,"EvilPhone-id","EvilPhone")).
@@ -28,3 +30,4 @@
 assert(sbom(1723716151033,"VulnerableCameraSBOM-id","VulnerableCamera SBOM information")).
 assert(manufacturer(1723716151033,"EvilInc-id","EvilInc")).
 assert(manufacturer(1723716151033,"TrustCorp-id","TrustCorp")).
+assert(user(true,true,true,1725284526714,"henry@nquiringminds.com","henry-user")).