diff --git a/VALIDATE.md b/VALIDATE.md
new file mode 100644
index 00000000..f914a355
--- /dev/null
+++ b/VALIDATE.md
@@ -0,0 +1,7 @@
+Pinned Sail RISC-V H Lean generation validation run.
+
+Validation input: official default module closure.
+Validation methods: pinned source compiler and pinned 0.20.2 release binary.
+Downloadable source-artifact workflow enabled.
+Existing generated source upload workflow enabled.
+Pinned lean-sail v5 source upload enabled.