diff --git a/.github/required-contexts.txt b/.github/required-contexts.txt
index ca4a55c5..71c95021 100644
--- a/.github/required-contexts.txt
+++ b/.github/required-contexts.txt
@@ -18,3 +18,5 @@ Lean Proofs
 V-closure needed?
 no requirement lags its closed V
 every required context can actually report
+no raw env import survives in the composed graph
+a denied write really faults (REQ-OS-MPU-001 kill-criterion)