From 34aa1a455b24d87cee5089ada77217bdc3e3000b Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Wed, 5 Aug 2026 16:15:26 +0000
Subject: [PATCH] TEMP sanity probe: rule_sanity basic on 9e3e2ae3 (throwaway,
 do not merge)

---
 certora/confs/MaxRepaidHealthy.conf | 1 +
 1 file changed, 1 insertion(+)

diff --git a/certora/confs/MaxRepaidHealthy.conf b/certora/confs/MaxRepaidHealthy.conf
index fa7dd33a3..1f1fb2aa5 100644
--- a/certora/confs/MaxRepaidHealthy.conf
+++ b/certora/confs/MaxRepaidHealthy.conf
@@ -12,6 +12,7 @@
   "solc_evm_version": "osaka",
   "optimistic_loop": true,
   "loop_iter": 2,
+  "rule_sanity": "basic",
   "optimistic_hashing": true,
   "hashing_length_bound": 2048,
   "prover_args": [