diff --git a/host/chez/host-contract.ss b/host/chez/host-contract.ss
index 44fd9dc..a26cb73 100644
--- a/host/chez/host-contract.ss
+++ b/host/chez/host-contract.ss
@@ -215,6 +215,7 @@
                (let ((g (hc-sq-gensym (substring nm 0 (- (string-length nm) 1)))))
                  (hashtable-set! gsmap nm g) g)))
           ((hc-special-symbol? nm) form)               ; special form: leave bare
+          ((hc-interop-head? nm) form)                 ; interop (.method / Class. / .-field): bare
           ((var-cell-lookup "clojure.core" nm) (jolt-symbol "clojure.core" nm))
           (else (jolt-symbol (chez-actx-cns ctx) nm)))  ; else: qualify to compile ns
         ;; qualified (a real ns or an alias): ns aliases aren't modeled on the Chez
diff --git a/host/chez/run-corpus.ss b/host/chez/run-corpus.ss
index 3aa2e28..1ae6b16 100644
--- a/host/chez/run-corpus.ss
+++ b/host/chez/run-corpus.ss
@@ -11,7 +11,7 @@
 ;; reset between cases so there is no leakage — same isolation a fresh process gives.
 ;;
 ;;   chez --script host/chez/run-corpus.ss
-;;   JOLT_CHEZ_ZJ_FLOOR=N   override the regression floor (default 2694)
+;;   JOLT_CHEZ_ZJ_FLOOR=N   override the regression floor (default 2695)
 ;;   JOLT_CORPUS_LIMIT=N    every-Nth stride (fast iteration; floor drops to 0)
 ;;   JOLT_DUMP_CRASH_LABELS=1   list crash + allowlisted labels
 (import (chezscheme))
@@ -203,7 +203,7 @@
 
 ;; Regression floor: fail on any NEW divergence or if pass drops below the floor.
 (define base-floor (let ((s (getenv "JOLT_CHEZ_ZJ_FLOOR")))
-                     (if s (string->number s) 2694)))
+                     (if s (string->number s) 2695)))
 (define floor (if limit 0 base-floor))
 (when (or (> (length diverged) 0) (< pass floor))
   (printf "REGRESSION: pass ~a < floor ~a or ~a new divergence(s)\n"