diff --git a/architecture/graph-artifact-bindings.v2.json b/architecture/graph-artifact-bindings.v2.json
index 04352ea8d..4e68c6e57 100644
--- a/architecture/graph-artifact-bindings.v2.json
+++ b/architecture/graph-artifact-bindings.v2.json
@@ -149,6 +149,30 @@
         "source"
       ]
     },
+    {
+      "artifact_path": "imports/lifetime_parent_20260925/ERRATUM_CONGRUENCE.md",
+      "blob_sha": "213594d6ca6a86fb938110f4d166d9ce275a02d0",
+      "commit": "dbe6c0a1b1a22c7404b0fd173ee0043b98a08cde",
+      "kind": "file",
+      "node_id": "math.d1-component.congruence-erratum",
+      "repository": "d6g8k5htny-coder/Math-",
+      "roles": [
+        "source"
+      ],
+      "sha256": "bad7ef609c4ad8c41ad6af562c1b6807921e19a9d556ed793ad1a0db6e202028"
+    },
+    {
+      "artifact_path": "imports/lifetime_parent_20260925/MARKED_CYLINDER_CAP_PROOF.md",
+      "blob_sha": "0633aca3c2a2882b0de4399da0a75d64c2e6b2e1",
+      "commit": "dbe6c0a1b1a22c7404b0fd173ee0043b98a08cde",
+      "kind": "file",
+      "node_id": "math.d1-component.marked-cylinder-cap",
+      "repository": "d6g8k5htny-coder/Math-",
+      "roles": [
+        "source"
+      ],
+      "sha256": "0bf922b9203c29088b12388807aa0e2ecd020485eb0f6e919679841b5b2636fc"
+    },
     {
       "artifact_path": "reviews/d1_chain_reconciliation_20260928",
       "blob_sha": "39734d39af1220069d3a29405106e2bc03c45b40",
@@ -160,6 +184,18 @@
         "source"
       ]
     },
+    {
+      "artifact_path": "reviews/d1_section9_borel_repair_20260925/REPAIR.md",
+      "blob_sha": "fe9b9ce4999908bb3814b500ee2d0ceb0c6f704a",
+      "commit": "dbe6c0a1b1a22c7404b0fd173ee0043b98a08cde",
+      "kind": "file",
+      "node_id": "math.d1-component.section9-replacement-v1_1",
+      "repository": "d6g8k5htny-coder/Math-",
+      "roles": [
+        "source"
+      ],
+      "sha256": "845abf9f9c99d672c2a10a887b5a2e7206a3d2de3d876f35f75ff6e2dc13e62f"
+    },
     {
       "artifact_path": "frontiers/rn_annulus_bridge_20260925/PROOF.md",
       "blob_sha": "6f317515b3d417661f86e2fed09bc7d950899c2b",
@@ -409,6 +445,18 @@
       ],
       "sha256": "53fa0ec88e417882eff2a40e4b575c639d43b7e8787e7fb8917aa22ace79390d"
     },
+    {
+      "artifact_path": "imports/lifetime_parent_20260925/UNIFORM_MATRIX_CAP_AND_LIFETIME.md",
+      "blob_sha": "dfed3b8d318a3ab1950957f393307733a4bef3f2",
+      "commit": "dbe6c0a1b1a22c7404b0fd173ee0043b98a08cde",
+      "kind": "file",
+      "node_id": "math.uniform-matrix-cap-lifetime",
+      "repository": "d6g8k5htny-coder/Math-",
+      "roles": [
+        "source"
+      ],
+      "sha256": "9350ad6eaba6626b93c3dedeef9e2ff816e5cdf1c8318e85fb27499141c84bc7"
+    },
     {
       "artifact_path": "reviews/d0_custody_audit_20260926/AUDIT.md",
       "blob_sha": "32c874c5b3e30743e624f3382bb63b1643379d40",