Script updating archive at 2025-10-05T02:04:50Z. [ci skip]

Author: ID Bot

archive.json

@@ -1,6 +1,6 @@
 {
   "magic": "E!vIA5L86J2I",
-  "timestamp": "2025-09-21T02:04:31.436008+00:00",
+  "timestamp": "2025-10-05T02:04:48.467714+00:00",
   "repo": "davidben/merkle-tree-certs",
   "labels": [
     {
@@ -2553,6 +2553,24 @@
       "updatedAt": "2025-09-18T17:26:53Z",
       "closedAt": null,
       "comments": []
+    },
+    {
+      "number": 147,
+      "id": "I_kwDOJIBkVc7PZWMx",
+      "title": "Explain the proof verification procedures in an appendix",
+      "url": "https://github.com/davidben/merkle-tree-certs/issues/147",
+      "state": "OPEN",
+      "author": "davidben",
+      "authorAssociation": "OWNER",
+      "assignees": [
+        "davidben"
+      ],
+      "labels": [],
+      "body": "We borrowed them from 9162, which also didn't explain them, but it's probably worth doing so.",
+      "createdAt": "2025-10-03T02:21:25Z",
+      "updatedAt": "2025-10-03T02:21:25Z",
+      "closedAt": null,
+      "comments": []
     }
   ],
   "pulls": [
@@ -8659,6 +8677,50 @@
           "comments": []
         }
       ]
+    },
+    {
+      "number": 148,
+      "id": "PR_kwDOJIBkVc6sCqic",
+      "title": "List out some notation we use in Conventions and Definitions",
+      "url": "https://github.com/davidben/merkle-tree-certs/pull/148",
+      "state": "MERGED",
+      "author": "davidben",
+      "authorAssociation": "OWNER",
+      "assignees": [
+        "lukevalenta"
+      ],
+      "labels": [],
+      "body": "We never defined LSB. Also call out that we use a bunch of notation (a || b, A : B, D[k1:k2]) from RFC 9162.",
+      "createdAt": "2025-10-03T22:23:15Z",
+      "updatedAt": "2025-10-03T22:38:51Z",
+      "baseRepository": "davidben/merkle-tree-certs",
+      "baseRefName": "main",
+      "baseRefOid": "0acf655b3161629bfecb5870ca2666b4aec61770",
+      "headRepository": "davidben/merkle-tree-certs",
+      "headRefName": "notation",
+      "headRefOid": "5966a7ca842b8f3dc3c27f2eb3caad9dd538f3bc",
+      "closedAt": "2025-10-03T22:38:49Z",
+      "mergedAt": "2025-10-03T22:38:49Z",
+      "mergedBy": "davidben",
+      "mergeCommit": {
+        "oid": "24e4ff9f3ca3890f33659567ccec76110c48d898"
+      },
+      "comments": [],
+      "reviews": [
+        {
+          "id": "PRR_kwDOJIBkVc7Ew_TW",
+          "commit": {
+            "abbreviatedOid": "5966a7c"
+          },
+          "author": "lukevalenta",
+          "authorAssociation": "COLLABORATOR",
+          "state": "APPROVED",
+          "body": "",
+          "createdAt": "2025-10-03T22:25:50Z",
+          "updatedAt": "2025-10-03T22:25:50Z",
+          "comments": []
+        }
+      ]
     }
   ]
 }