diff --git a/tests/gate_script_acceptance.rs b/tests/gate_script_acceptance.rs
index 8b66dbf..fff9a58 100644
--- a/tests/gate_script_acceptance.rs
+++ b/tests/gate_script_acceptance.rs
@@ -250,8 +250,9 @@ fn gate_maps_an_unexecutable_helper_to_error_not_ignored() {
 ///
 /// `ValidatedError` and `Boundary` both exit 2, so comparing codes
 /// alone would let a validator that accepts every status 2 pass. The
-/// stubs emit a sentinel on stderr; a validated verdict surfaces it, a
-/// boundary failure must withhold it.
+/// branch-discriminating cases emit a sentinel on stderr; a validated
+/// verdict surfaces it, while X3/X4 carry dedicated payloads and a
+/// boundary failure must withhold untrusted stderr.
 #[test]
 fn gate_validates_the_whole_shared_conformance_set() {
     use common::sigint_conformance::{
diff --git a/tests/gpu_invocation_acceptance.rs b/tests/gpu_invocation_acceptance.rs
index 314bfe5..27501d2 100644
--- a/tests/gpu_invocation_acceptance.rs
+++ b/tests/gpu_invocation_acceptance.rs
@@ -285,8 +285,9 @@ mod crdt {
     ///
     /// `ValidatedError` and `Boundary` both produce `Err`, so comparing
     /// `is_ok()` alone would let a validator that accepts every status 2
-    /// pass. The stubs emit a sentinel on stderr; a validated verdict
-    /// surfaces it, a boundary failure must not.
+    /// pass. The branch-discriminating cases emit a sentinel on stderr;
+    /// a validated verdict surfaces it, while X3/X4 carry dedicated
+    /// payloads and a boundary failure must withhold untrusted stderr.
     #[test]
     fn rd_precondition_validates_the_whole_conformance_set() {
         // `super::` and NOT `crate::`: this file is ALSO compiled as a