diff --git a/.github/workflows/fpga-build.yml b/.github/workflows/fpga-build.yml
index a56d42087..86ef49dc8 100644
--- a/.github/workflows/fpga-build.yml
+++ b/.github/workflows/fpga-build.yml
@@ -9,6 +9,8 @@ on:
       - 'cli/**'
       - 'Cargo.toml'
       - 'Cargo.lock'
+      - 'contrib/formal/**'
+      - 'conformance/fpga_*.json'
       - '.github/workflows/fpga-build.yml'
   push:
     branches: [master]
@@ -18,6 +20,8 @@ on:
       - 'cli/**'
       - 'Cargo.toml'
       - 'Cargo.lock'
+      - 'contrib/formal/**'
+      - 'conformance/fpga_*.json'
       - '.github/workflows/fpga-build.yml'
   workflow_dispatch:
 
diff --git a/docs/NOW.md b/docs/NOW.md
index b50c5e559..268162fe0 100644
--- a/docs/NOW.md
+++ b/docs/NOW.md
@@ -1,3 +1,14 @@
+# NOW -- the formal configs are visible to their own CI (2026-08-20)
+
+Last updated: 2026-08-20
+
+## ci(fpga): trigger paths gain contrib/formal and conformance vectors (Closes #2259)
+
+- PR #2258 (formal layer 5) merged without a single fpga-build run: the files
+  the formal job consumes were in neither trigger list. Validated by manual
+  workflow_dispatch instead; both lists now carry contrib/formal/** and
+  conformance/fpga_*.json
+
 # NOW -- sby's yosys now reads the repo's own dialect (2026-08-20)
 
 Last updated: 2026-08-20