diff --git a/tests/m8-writestatemd-scan-after-lock.test.cjs b/tests/m8-writestatemd-scan-after-lock.test.cjs
index a5c87cd09..72445e956 100644
--- a/tests/m8-writestatemd-scan-after-lock.test.cjs
+++ b/tests/m8-writestatemd-scan-after-lock.test.cjs
@@ -1,5 +1,5 @@
 'use strict';
-// allow-test-rule: architectural-invariant
+// allow-test-rule: architectural-invariant (see #1531)
 // writeStateMd's "scan happens INSIDE the lock" property is a concurrency invariant.
 // A single-threaded test cannot observe the difference between scan-before-lock and
 // scan-after-lock unless something mutates the disk in the window between the two.
diff --git a/tests/m9-statelock-write-error-orphan.test.cjs b/tests/m9-statelock-write-error-orphan.test.cjs
index 06776986d..69e2b64e7 100644
--- a/tests/m9-statelock-write-error-orphan.test.cjs
+++ b/tests/m9-statelock-write-error-orphan.test.cjs
@@ -1,5 +1,5 @@
 'use strict';
-// allow-test-rule: architectural-invariant
+// allow-test-rule: architectural-invariant (see #1531)
 // acquireStateLock's "no orphan empty lock + no fd leak on a recoverable
 // writeSync/closeSync error" property is a resource-safety invariant of a private
 // function. A single-threaded test cannot otherwise force the openSync-succeeds-