diff --git a/.github/workflows/d2-moment-bridge.yml b/.github/workflows/d2-moment-bridge.yml
index 6bcf23d82..bc0746674 100644
--- a/.github/workflows/d2-moment-bridge.yml
+++ b/.github/workflows/d2-moment-bridge.yml
@@ -4,11 +4,13 @@ name: D2 actual-law moment bridge (isolated Lean companion)
     paths:
       - 'companions/d2_moment_bridge_20261006/**'
       - '.github/workflows/d2-moment-bridge.yml'
+      - 'formal/**'
   push:
     branches: [main]
     paths:
       - 'companions/d2_moment_bridge_20261006/**'
       - '.github/workflows/d2-moment-bridge.yml'
+      - 'formal/**'
   workflow_dispatch:
 permissions:
   contents: read
diff --git a/companions/d2_moment_bridge_20261006/SOURCE_FILES.json b/companions/d2_moment_bridge_20261006/SOURCE_FILES.json
index 01f86fc86..22af93841 100644
--- a/companions/d2_moment_bridge_20261006/SOURCE_FILES.json
+++ b/companions/d2_moment_bridge_20261006/SOURCE_FILES.json
@@ -6,9 +6,9 @@
   ],
   "files": {
     ".github/workflows/d2-moment-bridge.yml": {
-      "bytes": 1625,
-      "git_blob": "6bcf23d82faebcd47c2ac85289c9929e3cc3eb63",
-      "sha256": "9edb37a63294bc442d6575aa5fc7f35f6ec391224d78f3a55fadd852743916e2"
+      "bytes": 1665,
+      "git_blob": "bc074667455db09277bf514acd69cd64264973a1",
+      "sha256": "9b1eb7a3fbf61276f0935ac77e418cf89066303b96ba98bf6f69a4523fad1a77"
     },
     "companions/d2_moment_bridge_20261006/D2MomentBridge.lean": {
       "bytes": 10696,