Test release wiring by its effective behavior

docs/roadmap/remediation.md

@@ -4,7 +4,7 @@
 `3c405f0524ec6c098d00d4e371abbace7648d446`.
 **Scope:** ReleaseKit adoption commits after `721365e`, including CLI version
 reporting, local release wiring, CI delivery, tests, and documentation.
-**Status:** R1–R2 addressed; R3 pending. The findings below describe the reviewed
+**Status:** R1–R3 addressed. The findings below describe the reviewed
 baseline; completed work is recorded under Resolution Record.
 
 ## Architecture Assessment
@@ -141,3 +141,11 @@ matrix.
   and an unintended target, while accepting equivalent reordered/repeated lists.
   The cases reproduced the faulty membership behavior before the fix;
   `go test ./scripts` passed afterward.
+- **R3:** Wrapper coverage now checks the executable's actual destination, and
+  profile coverage checks the effective additional-check list. Equivalent output
+  paths and an explicit empty list are accepted. Fixture helpers use standard
+  library operations where appropriate. Disposable mutation checks accepted
+  `-o bin/releasekit`, `-o=bin/releasekit`, and `"checks": []`, while detecting a
+  wrong executable destination, changed product, nonempty checks, lost argument
+  boundaries, and lost tool status. The complete `go test ./...` suite passed
+  with all three remediations in place. No new release gates were added.