From 4a2abdbe843fd6acda1c329090d3e3fe7601d17a Mon Sep 17 00:00:00 2001
From: Vito Sansevero <vito.sansevero@gmail.com>
Date: Sat, 17 Oct 2026 22:20:25 -0700
Subject: [PATCH] docs(history): clarify defensive lease cleanup

---
 utils/execution_history_writer.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/utils/execution_history_writer.py b/utils/execution_history_writer.py
index b49f794..759be2c 100644
--- a/utils/execution_history_writer.py
+++ b/utils/execution_history_writer.py
@@ -131,6 +131,7 @@ class HistoryWriter:
                 try:
                     lease.release()
                 except (AttributeError, TypeError, ValueError):
+                    # Invalid leases may lack reservations; keep independent evidence.
                     pass
 
     def _consume_context_locked(self, context: SealedContext) -> SealedContext: