diff --git a/audits/geode5-final-external.trigger b/audits/geode5-final-external.trigger
new file mode 100644
index 00000000..8311a304
--- /dev/null
+++ b/audits/geode5-final-external.trigger
@@ -0,0 +1,2 @@
+DomTheDeveloper/formal-conjectures@89a8f3c8de74039ab989100c27a6bf24234556f8
+FormalConjectures/Arxiv/2508.10245/Geode5.lean