From 86f8ff0b21d52504a94ce9634746cc4207c90b79 Mon Sep 17 00:00:00 2001 From: Brandon Schneider Date: Tue, 26 May 2026 15:11:11 -0500 Subject: [PATCH] chore: remove unused import subprocess from v14a (handled by rds_connect) --- 4-Infrastructure/shim/route_repair_v14a.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/4-Infrastructure/shim/route_repair_v14a.py b/4-Infrastructure/shim/route_repair_v14a.py index 417c21e7..901d1fab 100644 --- a/4-Infrastructure/shim/route_repair_v14a.py +++ b/4-Infrastructure/shim/route_repair_v14a.py @@ -5,7 +5,7 @@ Projects theorem structure onto a 16D modifier, chooses a local proof chart (4D) and generates 3D-ranked patch candidates. Focused on zero-bucket repair. """ -import json, os, re, subprocess, sys +import json, os, re, sys from collections import Counter, defaultdict from pathlib import Path