diff --git a/.ir-verify-probe b/.ir-verify-probe
new file mode 100644
index 0000000..ddb8391
--- /dev/null
+++ b/.ir-verify-probe
@@ -0,0 +1 @@
+IR verification 2026-09-12T17:01:38Z