Migrate review storage from reviews/ folder to per-requirement timestamps

The new proof binary writes reviewed_at/reviewed_by directly into each
.req.yaml file, eliminating the centralized reviews/trace-link-reviews.yaml.
This moves 506 review records across 116 requirements inline. Full audit
passes with 0 errors, 0 warnings.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: buger

reviews/trace-link-reviews.yaml

@@ -18,6 +18,8 @@ variables: []
 traces:
     documented_by_extra:
         - README.md
+    reviewed_at: "2026-04-27T06:25:19.194955Z"
+    reviewed_by: human:leonidbugaev
 verification:
     assurance_level: E
     formalization_status: none

specs/stakeholder/requirements/STK-REQ-001.req.yaml

@@ -18,6 +18,8 @@ variables: []
 traces:
     documented_by_extra:
         - README.md
+    reviewed_at: "2026-04-27T06:25:19.19831Z"
+    reviewed_by: human:leonidbugaev
 verification:
     assurance_level: E
     formalization_status: none

specs/stakeholder/requirements/STK-REQ-002.req.yaml

@@ -18,6 +18,8 @@ variables: []
 traces:
     documented_by_extra:
         - README.md
+    reviewed_at: "2026-04-27T06:25:19.200401Z"
+    reviewed_by: human:leonidbugaev
 verification:
     assurance_level: E
     formalization_status: none

specs/stakeholder/requirements/STK-REQ-003.req.yaml

@@ -20,6 +20,8 @@ variables: []
 traces:
     documented_by_extra:
         - README.md
+    reviewed_at: "2026-04-27T06:25:19.202291Z"
+    reviewed_by: human:leonidbugaev
 verification:
     assurance_level: E
     formalization_status: none

specs/stakeholder/requirements/STK-REQ-004.req.yaml

@@ -20,6 +20,8 @@ variables: []
 traces:
     documented_by_extra:
         - README.md
+    reviewed_at: "2026-04-27T06:25:19.204096Z"
+    reviewed_by: human:leonidbugaev
 verification:
     assurance_level: E
     formalization_status: none

specs/stakeholder/requirements/STK-REQ-005.req.yaml

@@ -18,6 +18,8 @@ variables: []
 traces:
     documented_by_extra:
         - README.md
+    reviewed_at: "2026-04-27T06:25:19.206431Z"
+    reviewed_by: human:leonidbugaev
 verification:
     assurance_level: E
     formalization_status: none

specs/stakeholder/requirements/STK-REQ-006.req.yaml

@@ -20,6 +20,8 @@ variables: []
 traces:
     documented_by_extra:
         - README.md
+    reviewed_at: "2026-04-27T06:25:19.208511Z"
+    reviewed_by: human:leonidbugaev
 verification:
     assurance_level: E
     formalization_status: none

specs/stakeholder/requirements/STK-REQ-007.req.yaml

@@ -27,6 +27,8 @@ traces:
         - parser_test.go
     documented_by_extra:
         - README.md
+    reviewed_at: "2026-04-27T06:25:19.210461Z"
+    reviewed_by: human:leonidbugaev
 verification:
     assurance_level: B
     formalization_status: valid

specs/system/requirements/SYS-REQ-001.req.yaml

@@ -26,6 +26,8 @@ traces:
         - mcdc_supplement_test.go
     documented_by_extra:
         - README.md
+    reviewed_at: "2026-04-27T06:25:19.215485Z"
+    reviewed_by: human:leonidbugaev
 verification:
     assurance_level: E
     formalization_status: valid