From c177d417abcc9d64f5bcca6155df33e5febadb66 Mon Sep 17 00:00:00 2001
From: mrwulf <mrwulf.cleaner@gmail.com>
Date: Sat, 4 Jul 2026 19:46:14 +0200
Subject: [PATCH] Remove stray audit temp file

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
---
 verification/.apex-LS0V.lean | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 verification/.apex-LS0V.lean

diff --git a/verification/.apex-LS0V.lean b/verification/.apex-LS0V.lean
deleted file mode 100644
index 2a46885..0000000
--- a/verification/.apex-LS0V.lean
+++ /dev/null
@@ -1 +0,0 @@
-import Proofs.SigApexSpec