Include tuple entries in proof config

.changeset/forty-starfishes-drop.md

@@ -0,0 +1,5 @@
+---
+"@parcnet-js/podspec": patch
+---
+
+Add entries to config if included in tuples

packages/podspec/package.json

@@ -8,7 +8,10 @@
   "types": "src/index.ts",
   "exports": {
     ".": {
-      "import": { "types": "./src/index.ts", "import": "./dist/index.js" },
+      "import": {
+        "types": "./src/index.ts",
+        "import": "./dist/index.js"
+      },
       "require": {
         "types": "./src/index.ts",
         "require": "./dist/index.cjs"
@@ -53,7 +56,10 @@
     "types": "dist/index.d.ts",
     "exports": {
       ".": {
-        "import": { "types": "./dist/index.d.ts", "import": "./dist/index.js" },
+        "import": {
+          "types": "./dist/index.d.ts",
+          "import": "./dist/index.js"
+        },
         "require": {
           "types": "./dist/index.d.cts",
           "require": "./dist/index.cjs"

packages/podspec/src/gpc/proof_request.ts

@@ -181,7 +181,6 @@ function makeProofRequest<P extends NamedPODs>(
           entrySchema.isNotMemberOf;
       }
     }
-    pods[podName] = podConfig;
 
     for (const entriesTupleSchema of podSchema.tuples ?? []) {
       const tupleName = `tuple_${podName}_entries_${entriesTupleSchema.entries.join(
@@ -206,7 +205,22 @@ function makeProofRequest<P extends NamedPODs>(
         membershipLists[`blocklist_${tupleName}`] =
           entriesTupleSchema.isNotMemberOf;
       }
+      // Tuples may contain entries which are not revealed or subject to any
+      // membership rules or constraints, in which case we need to add them to
+      // the proof config so that they are included.
+      for (const entry of entriesTupleSchema.entries) {
+        if (entry === "$signerPublicKey") {
+          continue;
+        }
+        if (!(entry in podConfig.entries)) {
+          podConfig.entries[entry] = {
+            isRevealed: false
+          };
+        }
+      }
     }
+
+    pods[podName] = podConfig;
   }
 
   return {