From 6eb9b15ad7a6db493b188f81740942f58733dcea Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Fri, 22 May 2026 19:47:07 +0200 Subject: [PATCH] Fix SV-WOHL verification artifact ID collision MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit artifacts/verification/SV-WOHL-001.yaml was a bundle declaring five sw-verification artifacts as SV-WOHL-001..005. But SV-WOHL-002.yaml ..008.yaml are separate sys-verification artifacts — IDs 002..005 were declared twice by two different artifact families (a software- requirement verification and a system verification colliding on the same ID). rivet 0.12.0 flags duplicate IDs as errors (rivet 0.10.0, which the repo's CI runs had been using until the unpinned rivel-cli rebuilt to a newer version, did not) — so CI now fails on this pre-existing bug. Fix (architect's call): re-prefix by verification kind. - sys-verification artifacts keep SV-WOHL-* (SV = System Verification). - The five sw-verification artifacts move to SWV-WOHL-001..005, one file each, matching the one-artifact-per-file convention of the rest of artifacts/verification/. The SV-WOHL-001.yaml bundle is removed. No cross-references needed updating — nothing links to these IDs; their `verifies` links point outward to SWREQ-* (unchanged). rivet validate (0.12.0): PASS, 0 errors. Co-Authored-By: Claude Opus 4.7 (1M context) --- artifacts/verification/SV-WOHL-001.yaml | 91 ------------------------ artifacts/verification/SWV-WOHL-001.yaml | 20 ++++++ artifacts/verification/SWV-WOHL-002.yaml | 19 +++++ artifacts/verification/SWV-WOHL-003.yaml | 17 +++++ artifacts/verification/SWV-WOHL-004.yaml | 17 +++++ artifacts/verification/SWV-WOHL-005.yaml | 18 +++++ 6 files changed, 91 insertions(+), 91 deletions(-) delete mode 100644 artifacts/verification/SV-WOHL-001.yaml create mode 100644 artifacts/verification/SWV-WOHL-001.yaml create mode 100644 artifacts/verification/SWV-WOHL-002.yaml create mode 100644 artifacts/verification/SWV-WOHL-003.yaml create mode 100644 artifacts/verification/SWV-WOHL-004.yaml create mode 100644 artifacts/verification/SWV-WOHL-005.yaml 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