diff --git a/artifacts/verification/SV-WOHL-001.yaml b/artifacts/verification/SV-WOHL-001.yaml
deleted file mode 100644
index c78556e..0000000
--- a/artifacts/verification/SV-WOHL-001.yaml
+++ /dev/null
@@ -1,91 +0,0 @@
-artifacts:
-  - id: SV-WOHL-001
-    type: sw-verification
-    title: Water leak SW requirement verification
-    status: approved
-    description: >
-      SW-level verification that the LeakDetector satisfies all water leak
-      software requirements. Combines unit test evidence (UV-LEAK-001)
-      and formal verification evidence (UV-LEAK-002) to demonstrate
-      SWREQ-LEAK-001 through SWREQ-LEAK-003 are met.
-    tags: [verification, water-leak, swe-6]
-    fields:
-      method: automated-test
-    links:
-      - type: verifies
-        target: SWREQ-LEAK-001
-      - type: verifies
-        target: SWREQ-LEAK-002
-      - type: verifies
-        target: SWREQ-LEAK-003
-
-  - id: SV-WOHL-002
-    type: sw-verification
-    title: Temperature monitoring SW requirement verification
-    status: approved
-    description: >
-      SW-level verification that the TemperatureMonitor satisfies all
-      temperature software requirements. Combines unit test evidence
-      (UV-TEMP-001) and formal verification evidence (UV-TEMP-002).
-    tags: [verification, temperature, swe-6]
-    fields:
-      method: automated-test
-    links:
-      - type: verifies
-        target: SWREQ-TEMP-001
-      - type: verifies
-        target: SWREQ-TEMP-002
-      - type: verifies
-        target: SWREQ-TEMP-003
-
-  - id: SV-WOHL-003
-    type: sw-verification
-    title: Air quality SW requirement verification
-    status: approved
-    description: >
-      SW-level verification that the AirMonitor satisfies all air quality
-      software requirements. Combines unit test evidence (UV-AIR-001)
-      and formal verification evidence (UV-AIR-002).
-    tags: [verification, air-quality, swe-6]
-    fields:
-      method: automated-test
-    links:
-      - type: verifies
-        target: SWREQ-AIR-001
-      - type: verifies
-        target: SWREQ-AIR-002
-
-  - id: SV-WOHL-004
-    type: sw-verification
-    title: Door watch SW requirement verification
-    status: approved
-    description: >
-      SW-level verification that the DoorWatch satisfies all door/window
-      supervision software requirements. Combines unit test evidence
-      (UV-DOOR-001) and formal verification evidence (UV-DOOR-002).
-    tags: [verification, door-watch, swe-6]
-    fields:
-      method: automated-test
-    links:
-      - type: verifies
-        target: SWREQ-DOOR-001
-      - type: verifies
-        target: SWREQ-DOOR-002
-
-  - id: SV-WOHL-005
-    type: sw-verification
-    title: Alert dispatcher SW requirement verification
-    status: planned
-    description: >
-      SW-level verification that the AlertDispatcher satisfies alert
-      dispatch software requirements. Unit tests for deduplication
-      and rate limiting, plus formal verification that critical alerts
-      are never suppressed.
-    tags: [verification, alert, swe-6]
-    fields:
-      method: automated-test
-    links:
-      - type: verifies
-        target: SWREQ-ALERT-001
-      - type: verifies
-        target: SWREQ-ALERT-002
diff --git a/artifacts/verification/SWV-WOHL-001.yaml b/artifacts/verification/SWV-WOHL-001.yaml
new file mode 100644
index 0000000..5f915b1
--- /dev/null
+++ b/artifacts/verification/SWV-WOHL-001.yaml
@@ -0,0 +1,20 @@
+artifacts:
+  - id: SWV-WOHL-001
+    type: sw-verification
+    title: Water leak SW requirement verification
+    status: approved
+    description: >
+      SW-level verification that the LeakDetector satisfies all water leak
+      software requirements. Combines unit test evidence (UV-LEAK-001)
+      and formal verification evidence (UV-LEAK-002) to demonstrate
+      SWREQ-LEAK-001 through SWREQ-LEAK-003 are met.
+    tags: [verification, water-leak, swe-6]
+    fields:
+      method: automated-test
+    links:
+      - type: verifies
+        target: SWREQ-LEAK-001
+      - type: verifies
+        target: SWREQ-LEAK-002
+      - type: verifies
+        target: SWREQ-LEAK-003
diff --git a/artifacts/verification/SWV-WOHL-002.yaml b/artifacts/verification/SWV-WOHL-002.yaml
new file mode 100644
index 0000000..2b706c4
--- /dev/null
+++ b/artifacts/verification/SWV-WOHL-002.yaml
@@ -0,0 +1,19 @@
+artifacts:
+  - id: SWV-WOHL-002
+    type: sw-verification
+    title: Temperature monitoring SW requirement verification
+    status: approved
+    description: >
+      SW-level verification that the TemperatureMonitor satisfies all
+      temperature software requirements. Combines unit test evidence
+      (UV-TEMP-001) and formal verification evidence (UV-TEMP-002).
+    tags: [verification, temperature, swe-6]
+    fields:
+      method: automated-test
+    links:
+      - type: verifies
+        target: SWREQ-TEMP-001
+      - type: verifies
+        target: SWREQ-TEMP-002
+      - type: verifies
+        target: SWREQ-TEMP-003
diff --git a/artifacts/verification/SWV-WOHL-003.yaml b/artifacts/verification/SWV-WOHL-003.yaml
new file mode 100644
index 0000000..9d0ecd5
--- /dev/null
+++ b/artifacts/verification/SWV-WOHL-003.yaml
@@ -0,0 +1,17 @@
+artifacts:
+  - id: SWV-WOHL-003
+    type: sw-verification
+    title: Air quality SW requirement verification
+    status: approved
+    description: >
+      SW-level verification that the AirMonitor satisfies all air quality
+      software requirements. Combines unit test evidence (UV-AIR-001)
+      and formal verification evidence (UV-AIR-002).
+    tags: [verification, air-quality, swe-6]
+    fields:
+      method: automated-test
+    links:
+      - type: verifies
+        target: SWREQ-AIR-001
+      - type: verifies
+        target: SWREQ-AIR-002
diff --git a/artifacts/verification/SWV-WOHL-004.yaml b/artifacts/verification/SWV-WOHL-004.yaml
new file mode 100644
index 0000000..ed33259
--- /dev/null
+++ b/artifacts/verification/SWV-WOHL-004.yaml
@@ -0,0 +1,17 @@
+artifacts:
+  - id: SWV-WOHL-004
+    type: sw-verification
+    title: Door watch SW requirement verification
+    status: approved
+    description: >
+      SW-level verification that the DoorWatch satisfies all door/window
+      supervision software requirements. Combines unit test evidence
+      (UV-DOOR-001) and formal verification evidence (UV-DOOR-002).
+    tags: [verification, door-watch, swe-6]
+    fields:
+      method: automated-test
+    links:
+      - type: verifies
+        target: SWREQ-DOOR-001
+      - type: verifies
+        target: SWREQ-DOOR-002
diff --git a/artifacts/verification/SWV-WOHL-005.yaml b/artifacts/verification/SWV-WOHL-005.yaml
new file mode 100644
index 0000000..cc17b34
--- /dev/null
+++ b/artifacts/verification/SWV-WOHL-005.yaml
@@ -0,0 +1,18 @@
+artifacts:
+  - id: SWV-WOHL-005
+    type: sw-verification
+    title: Alert dispatcher SW requirement verification
+    status: planned
+    description: >
+      SW-level verification that the AlertDispatcher satisfies alert
+      dispatch software requirements. Unit tests for deduplication
+      and rate limiting, plus formal verification that critical alerts
+      are never suppressed.
+    tags: [verification, alert, swe-6]
+    fields:
+      method: automated-test
+    links:
+      - type: verifies
+        target: SWREQ-ALERT-001
+      - type: verifies
+        target: SWREQ-ALERT-002