From 0ee89fe347b07c694bca769f0398cda0381dfb81 Mon Sep 17 00:00:00 2001
From: Jason Walker <913443@dadeschools.net>
Date: Wed, 8 Jul 2026 22:56:55 -0400
Subject: [PATCH] fix: resolve broken ISSUE_LOCK_FILE import in
 webui/lease_loader.py (Closes #569)

---
 webui/lease_loader.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/webui/lease_loader.py b/webui/lease_loader.py
index 717feef..548aec3 100644
--- a/webui/lease_loader.py
+++ b/webui/lease_loader.py
@@ -11,7 +11,8 @@ from urllib.parse import urlparse
 
 from gitea_auth import api_fetch_page, get_auth_header, repo_api_url
 from issue_claim_heartbeat import build_claim_inventory
-from merged_cleanup_reconcile import ISSUE_LOCK_FILE, read_issue_lock
+from merged_cleanup_reconcile import read_issue_lock
+from issue_lock_provenance import ISSUE_LOCK_FILE
 
 from webui.project_registry import ProjectRecord, load_registry
 from webui.queue_loader import _extract_linked_issue, _fetch_issues, _fetch_prs