chore: remove unused import subprocess from v14a (handled by rds_connect)

This commit is contained in:
Brandon Schneider 2026-05-26 15:11:11 -05:00
parent 02f1c928d7
commit 86f8ff0b21

View file

@ -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