Quant-Off · Quant-TheodoreFelix · Apr 18, 2026 · Mar 28, 2026 · Mar 31, 2026 · Mar 31, 2026
diff --git a/.dockerignore b/.dockerignore
@@ -0,0 +1,3 @@
+target/
+.git/
+**/.DS_Store
diff --git a/.github/workflows/secure_release.yml b/.github/workflows/secure_release.yml
@@ -1,8 +1,6 @@
 name: Secure Release & Publish Pipeline
 
 on:
-  pull_request:
-    branches: [ master ]
   push:
     tags:
       - 'v*.*.*'

diff --git a/core/constant-time/Cargo.toml b/core/constant-time/Cargo.toml
@@ -7,21 +7,18 @@ license.workspace = true
 
 [dependencies]
 
-[dev-dependencies]
-dudect-bencher = "0.6.0"
-rand = "0.10.0"
-
 [build-dependencies]
 cc = "1.0.106"
 
 [features]
 default = []
 audit_mode = []
+saw_verify = ["audit_mode"]
 valgrind_taint_audit = []
 
-[[bench]]
-name = "dudect_audit"
-harness = false
+[[bin]]
+name = "dudect-eval"
+path = "dudect/main.rs"
 
 [[test]]
 name = "taint_audit"

diff --git a/core/constant-time/benches/dudect_audit.rs b/core/constant-time/benches/dudect_audit.rs