Commit ·
7f6de27
1
Parent(s): 9c6cff5
Final fix: strict stdout + safe execution
Browse files- inference.py +160 -146
inference.py
CHANGED
|
@@ -29,7 +29,7 @@ from openai import OpenAI
|
|
| 29 |
API_BASE_URL = os.getenv("API_BASE_URL") or "https://api.openai.com/v1"
|
| 30 |
MODEL_NAME = os.getenv("MODEL_NAME") or "gpt-4o-mini"
|
| 31 |
HF_TOKEN = os.getenv("HF_TOKEN")
|
| 32 |
-
ENV_URL: str
|
| 33 |
LOCAL_IMAGE_NAME: str | None = os.getenv("LOCAL_IMAGE_NAME")
|
| 34 |
|
| 35 |
TASKS: List[str] = ["rename_variables", "remove_dead_code", "full_refactor"]
|
|
@@ -55,23 +55,41 @@ Actions:
|
|
| 55 |
Respond ONLY with valid JSON (no markdown):
|
| 56 |
{"action": <0-4>, "reason": "<one sentence>"}"""
|
| 57 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 58 |
|
| 59 |
def _env_url() -> str:
|
| 60 |
-
|
| 61 |
-
|
| 62 |
-
raise RuntimeError("ENV_URL must be set before running inference.py")
|
| 63 |
|
| 64 |
|
| 65 |
def _post(path: str, payload: dict | None = None) -> dict:
|
| 66 |
-
|
| 67 |
-
|
| 68 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
| 69 |
|
| 70 |
|
| 71 |
def _get(path: str) -> dict:
|
| 72 |
-
|
| 73 |
-
|
| 74 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
| 75 |
|
| 76 |
|
| 77 |
def reset_env(task_id: str) -> dict:
|
|
@@ -87,13 +105,17 @@ def get_state() -> dict:
|
|
| 87 |
|
| 88 |
|
| 89 |
def grade(task_id: str, code: str) -> float:
|
| 90 |
-
|
| 91 |
-
|
| 92 |
-
|
| 93 |
-
|
| 94 |
-
|
| 95 |
-
|
| 96 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
| 97 |
|
| 98 |
|
| 99 |
def choose_action(client: Optional[OpenAI], state: dict, task_id: str) -> Tuple[int, str]:
|
|
@@ -226,150 +248,142 @@ def run_all_tasks() -> Dict[str, float]:
|
|
| 226 |
|
| 227 |
This is used by the FastAPI server to show live demo results on the Space.
|
| 228 |
"""
|
| 229 |
-
|
| 230 |
-
# Prefer local in-process execution when running inside the server (no ENV_URL needed).
|
| 231 |
try:
|
| 232 |
-
|
| 233 |
-
|
| 234 |
-
|
| 235 |
-
|
| 236 |
-
|
| 237 |
-
|
| 238 |
-
|
| 239 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 240 |
|
| 241 |
-
|
| 242 |
-
|
| 243 |
-
|
| 244 |
-
|
| 245 |
-
|
| 246 |
-
|
| 247 |
-
|
| 248 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 249 |
|
| 250 |
-
if task_id == "rename_variables":
|
| 251 |
if has_generic:
|
| 252 |
return 0
|
| 253 |
-
if has_if_false or "unused" in code:
|
| 254 |
-
return 1
|
| 255 |
-
if has_append_loop:
|
| 256 |
-
return 2
|
| 257 |
-
if has_if_true or has_double_not:
|
| 258 |
-
return 3
|
| 259 |
-
return 4
|
| 260 |
-
|
| 261 |
-
if task_id == "remove_dead_code":
|
| 262 |
-
if has_if_false or "unused" in code:
|
| 263 |
-
return 1
|
| 264 |
if has_append_loop:
|
| 265 |
return 2
|
| 266 |
-
if has_if_true or has_double_not:
|
| 267 |
return 3
|
| 268 |
-
if
|
| 269 |
-
return
|
| 270 |
-
return
|
| 271 |
-
|
| 272 |
-
|
| 273 |
-
|
| 274 |
-
|
| 275 |
-
|
| 276 |
-
|
| 277 |
-
|
| 278 |
-
|
| 279 |
-
|
| 280 |
-
|
| 281 |
-
|
| 282 |
-
|
| 283 |
-
|
| 284 |
-
|
| 285 |
-
|
| 286 |
-
|
| 287 |
-
|
| 288 |
-
|
| 289 |
-
|
| 290 |
-
|
| 291 |
-
|
| 292 |
-
|
| 293 |
-
|
| 294 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 295 |
return results
|
| 296 |
-
# Use existing HTTP-driven path.
|
| 297 |
-
client: Optional[OpenAI] = None
|
| 298 |
-
for label, task_id in task_plan:
|
| 299 |
-
print(f"START {label}", flush=True)
|
| 300 |
-
reset_env(task_id)
|
| 301 |
-
for _ in range(5):
|
| 302 |
-
state = get_state()
|
| 303 |
-
action = _choose_action_name(str(state.get("current_code", "")), task_id)
|
| 304 |
-
action_name = ACTION_MEANINGS.get(int(action), "unknown")
|
| 305 |
-
print(f"STEP {action_name}", flush=True)
|
| 306 |
-
step_env(action)
|
| 307 |
-
final_state = get_state()
|
| 308 |
-
score = float(grade(task_id, final_state.get("current_code", "")))
|
| 309 |
-
print(f"END score: {score:.2f}", flush=True)
|
| 310 |
-
scores.append(score)
|
| 311 |
-
if task_id == "rename_variables":
|
| 312 |
-
results["easy"] = score
|
| 313 |
-
elif task_id == "remove_dead_code":
|
| 314 |
-
results["medium"] = score
|
| 315 |
-
else:
|
| 316 |
-
results["hard"] = score
|
| 317 |
-
|
| 318 |
-
results["final"] = float(sum(scores) / len(scores)) if scores else 0.0
|
| 319 |
-
return results
|
| 320 |
|
| 321 |
-
# Local in-process execution (fast + no network recursion).
|
| 322 |
-
for label, task_id in task_plan:
|
| 323 |
-
print(f"START {label}", flush=True)
|
| 324 |
-
env.reset(seed=0, task_id=task_id)
|
| 325 |
-
for _ in range(5):
|
| 326 |
-
st = env.state()
|
| 327 |
-
code = str(st.current_code)
|
| 328 |
-
action = int(_choose_action_name(code, task_id))
|
| 329 |
-
action_name = env.action_meanings.get(action, "unknown")
|
| 330 |
-
print(f"STEP {action_name}", flush=True)
|
| 331 |
-
env.step(action)
|
| 332 |
-
st = env.state()
|
| 333 |
-
task = registry.get_task(task_id)
|
| 334 |
-
score = float(task.grade_against_expected(st.current_code)) if task is not None else 0.0
|
| 335 |
-
print(f"END score: {score:.2f}", flush=True)
|
| 336 |
-
scores.append(score)
|
| 337 |
-
if task_id == "rename_variables":
|
| 338 |
-
results["easy"] = score
|
| 339 |
-
elif task_id == "remove_dead_code":
|
| 340 |
-
results["medium"] = score
|
| 341 |
else:
|
| 342 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 343 |
|
| 344 |
-
|
| 345 |
-
|
|
|
|
|
|
|
|
|
|
| 346 |
|
| 347 |
|
| 348 |
def main() -> None:
|
| 349 |
-
|
| 350 |
-
|
| 351 |
-
|
| 352 |
-
|
| 353 |
-
|
| 354 |
-
|
| 355 |
-
|
| 356 |
-
|
| 357 |
-
scores: Dict[str, float] = {}
|
| 358 |
-
for i, task_id in enumerate(TASKS, start=1):
|
| 359 |
-
scores[task_id] = run_episode(client, task_id, i)
|
| 360 |
-
|
| 361 |
-
easy = float(scores.get("rename_variables", 0.0))
|
| 362 |
-
medium = float(scores.get("remove_dead_code", 0.0))
|
| 363 |
-
hard = float(scores.get("full_refactor", 0.0))
|
| 364 |
-
avg_score = (easy + medium + hard) / 3.0
|
| 365 |
-
|
| 366 |
-
print(f"Easy: {easy:.4f}")
|
| 367 |
-
print(f"Medium: {medium:.4f}")
|
| 368 |
-
print(f"Hard: {hard:.4f}")
|
| 369 |
-
print(f"Final: {avg_score:.4f}")
|
| 370 |
-
|
| 371 |
-
sys.exit(0 if avg_score >= 0.5 else 1)
|
| 372 |
|
| 373 |
|
| 374 |
if __name__ == "__main__":
|
| 375 |
-
|
|
|
|
|
|
|
|
|
|
|
|
| 29 |
API_BASE_URL = os.getenv("API_BASE_URL") or "https://api.openai.com/v1"
|
| 30 |
MODEL_NAME = os.getenv("MODEL_NAME") or "gpt-4o-mini"
|
| 31 |
HF_TOKEN = os.getenv("HF_TOKEN")
|
| 32 |
+
ENV_URL: str = os.getenv("ENV_URL", "http://localhost:7860")
|
| 33 |
LOCAL_IMAGE_NAME: str | None = os.getenv("LOCAL_IMAGE_NAME")
|
| 34 |
|
| 35 |
TASKS: List[str] = ["rename_variables", "remove_dead_code", "full_refactor"]
|
|
|
|
| 55 |
Respond ONLY with valid JSON (no markdown):
|
| 56 |
{"action": <0-4>, "reason": "<one sentence>"}"""
|
| 57 |
|
| 58 |
+
SAFE_FALLBACK_SCORES: Dict[str, float] = {
|
| 59 |
+
"easy": 0.0,
|
| 60 |
+
"medium": 0.0,
|
| 61 |
+
"hard": 0.0,
|
| 62 |
+
"final": 0.0,
|
| 63 |
+
}
|
| 64 |
+
|
| 65 |
+
|
| 66 |
+
def _safe_scores() -> Dict[str, float]:
|
| 67 |
+
return dict(SAFE_FALLBACK_SCORES)
|
| 68 |
+
|
| 69 |
|
| 70 |
def _env_url() -> str:
|
| 71 |
+
# Never crash due to missing env var.
|
| 72 |
+
return str(ENV_URL or "http://localhost:7860").rstrip("/")
|
|
|
|
| 73 |
|
| 74 |
|
| 75 |
def _post(path: str, payload: dict | None = None) -> dict:
|
| 76 |
+
try:
|
| 77 |
+
response = requests.post(f"{_env_url()}{path}", json=payload or {}, timeout=5)
|
| 78 |
+
response.raise_for_status()
|
| 79 |
+
return response.json()
|
| 80 |
+
except Exception:
|
| 81 |
+
print("Warning: Could not reach environment", file=sys.stderr)
|
| 82 |
+
return {}
|
| 83 |
|
| 84 |
|
| 85 |
def _get(path: str) -> dict:
|
| 86 |
+
try:
|
| 87 |
+
response = requests.get(f"{_env_url()}{path}", timeout=5)
|
| 88 |
+
response.raise_for_status()
|
| 89 |
+
return response.json()
|
| 90 |
+
except Exception:
|
| 91 |
+
print("Warning: Could not reach environment", file=sys.stderr)
|
| 92 |
+
return {}
|
| 93 |
|
| 94 |
|
| 95 |
def reset_env(task_id: str) -> dict:
|
|
|
|
| 105 |
|
| 106 |
|
| 107 |
def grade(task_id: str, code: str) -> float:
|
| 108 |
+
try:
|
| 109 |
+
response = requests.post(
|
| 110 |
+
f"{_env_url()}/tasks/{task_id}/grade",
|
| 111 |
+
json={"code": code},
|
| 112 |
+
timeout=5,
|
| 113 |
+
)
|
| 114 |
+
response.raise_for_status()
|
| 115 |
+
return float(response.json().get("score", 0.0))
|
| 116 |
+
except Exception:
|
| 117 |
+
print("Warning: Could not reach environment", file=sys.stderr)
|
| 118 |
+
return 0.0
|
| 119 |
|
| 120 |
|
| 121 |
def choose_action(client: Optional[OpenAI], state: dict, task_id: str) -> Tuple[int, str]:
|
|
|
|
| 248 |
|
| 249 |
This is used by the FastAPI server to show live demo results on the Space.
|
| 250 |
"""
|
|
|
|
|
|
|
| 251 |
try:
|
| 252 |
+
# Prefer local in-process execution when running inside the server (no ENV_URL needed).
|
| 253 |
+
try:
|
| 254 |
+
from acre.tasks.task_registry import TaskRegistry
|
| 255 |
+
from openenv_interface import OpenEnvRefactorEnv
|
| 256 |
+
except Exception:
|
| 257 |
+
TaskRegistry = None # type: ignore[assignment]
|
| 258 |
+
OpenEnvRefactorEnv = None # type: ignore[assignment]
|
| 259 |
+
|
| 260 |
+
registry = TaskRegistry() if TaskRegistry is not None else None
|
| 261 |
+
env = OpenEnvRefactorEnv(registry=registry) if OpenEnvRefactorEnv is not None else None
|
| 262 |
+
|
| 263 |
+
def _choose_action_name(code: str, task_id: str) -> int:
|
| 264 |
+
# Reuse the same heuristic logic (deterministic).
|
| 265 |
+
has_generic = re.search(r"\b(x|tmp|i)\b", code) is not None
|
| 266 |
+
has_if_false = re.search(r"\bif\s+False\b", code) is not None
|
| 267 |
+
has_if_true = re.search(r"\bif\s+True\b", code) is not None
|
| 268 |
+
has_append_loop = ".append(" in code and "for " in code
|
| 269 |
+
has_double_not = "not not" in code
|
| 270 |
+
has_add_call = "add(" in code
|
| 271 |
|
| 272 |
+
if task_id == "rename_variables":
|
| 273 |
+
if has_generic:
|
| 274 |
+
return 0
|
| 275 |
+
if has_if_false or "unused" in code:
|
| 276 |
+
return 1
|
| 277 |
+
if has_append_loop:
|
| 278 |
+
return 2
|
| 279 |
+
if has_if_true or has_double_not:
|
| 280 |
+
return 3
|
| 281 |
+
return 4
|
| 282 |
+
|
| 283 |
+
if task_id == "remove_dead_code":
|
| 284 |
+
if has_if_false or "unused" in code:
|
| 285 |
+
return 1
|
| 286 |
+
if has_append_loop:
|
| 287 |
+
return 2
|
| 288 |
+
if has_if_true or has_double_not:
|
| 289 |
+
return 3
|
| 290 |
+
if has_generic:
|
| 291 |
+
return 0
|
| 292 |
+
return 4
|
| 293 |
|
|
|
|
| 294 |
if has_generic:
|
| 295 |
return 0
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 296 |
if has_append_loop:
|
| 297 |
return 2
|
| 298 |
+
if has_if_false or has_if_true or has_double_not:
|
| 299 |
return 3
|
| 300 |
+
if has_add_call:
|
| 301 |
+
return 4
|
| 302 |
+
return 1
|
| 303 |
+
|
| 304 |
+
task_plan = [
|
| 305 |
+
"rename_variables",
|
| 306 |
+
"remove_dead_code",
|
| 307 |
+
"full_refactor",
|
| 308 |
+
]
|
| 309 |
+
|
| 310 |
+
results: Dict[str, float] = _safe_scores()
|
| 311 |
+
scores: List[float] = []
|
| 312 |
+
|
| 313 |
+
# If we have a local env, use it. Otherwise fall back to HTTP.
|
| 314 |
+
if env is None or registry is None:
|
| 315 |
+
# Network safety: quick health probe before running.
|
| 316 |
+
try:
|
| 317 |
+
r = requests.get(f"{_env_url()}/health", timeout=5)
|
| 318 |
+
r.raise_for_status()
|
| 319 |
+
except Exception:
|
| 320 |
+
print("Warning: Could not reach environment", file=sys.stderr)
|
| 321 |
+
return _safe_scores()
|
| 322 |
+
|
| 323 |
+
for task_id in task_plan:
|
| 324 |
+
print(f"START {task_id}", flush=True)
|
| 325 |
+
reset_env(task_id)
|
| 326 |
+
for _ in range(5):
|
| 327 |
+
state = get_state()
|
| 328 |
+
action = _choose_action_name(str(state.get("current_code", "")), task_id)
|
| 329 |
+
print(f"STEP {int(action)}", flush=True)
|
| 330 |
+
step_env(action)
|
| 331 |
+
final_state = get_state()
|
| 332 |
+
score = float(grade(task_id, final_state.get("current_code", "")))
|
| 333 |
+
print(f"END {float(score):.4f}", flush=True)
|
| 334 |
+
scores.append(score)
|
| 335 |
+
if task_id == "rename_variables":
|
| 336 |
+
results["easy"] = score
|
| 337 |
+
elif task_id == "remove_dead_code":
|
| 338 |
+
results["medium"] = score
|
| 339 |
+
else:
|
| 340 |
+
results["hard"] = score
|
| 341 |
+
|
| 342 |
+
results["final"] = float(sum(scores) / len(scores)) if scores else 0.0
|
| 343 |
return results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 344 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 345 |
else:
|
| 346 |
+
# Local in-process execution (fast + no network recursion).
|
| 347 |
+
for task_id in task_plan:
|
| 348 |
+
print(f"START {task_id}", flush=True)
|
| 349 |
+
env.reset(seed=0, task_id=task_id)
|
| 350 |
+
for _ in range(5):
|
| 351 |
+
st = env.state()
|
| 352 |
+
code = str(st.current_code)
|
| 353 |
+
action = int(_choose_action_name(code, task_id))
|
| 354 |
+
print(f"STEP {int(action)}", flush=True)
|
| 355 |
+
env.step(action)
|
| 356 |
+
st = env.state()
|
| 357 |
+
task = registry.get_task(task_id)
|
| 358 |
+
score = float(task.grade_against_expected(st.current_code)) if task is not None else 0.0
|
| 359 |
+
print(f"END {float(score):.4f}", flush=True)
|
| 360 |
+
scores.append(score)
|
| 361 |
+
if task_id == "rename_variables":
|
| 362 |
+
results["easy"] = score
|
| 363 |
+
elif task_id == "remove_dead_code":
|
| 364 |
+
results["medium"] = score
|
| 365 |
+
else:
|
| 366 |
+
results["hard"] = score
|
| 367 |
|
| 368 |
+
results["final"] = float(sum(scores) / len(scores)) if scores else 0.0
|
| 369 |
+
return results
|
| 370 |
+
except Exception as e:
|
| 371 |
+
print(f"ERROR: {str(e)}", file=sys.stderr)
|
| 372 |
+
return _safe_scores()
|
| 373 |
|
| 374 |
|
| 375 |
def main() -> None:
|
| 376 |
+
# Never crash. Always produce output.
|
| 377 |
+
result = run_all_tasks()
|
| 378 |
+
print(f"Easy: {float(result.get('easy', 0.0)):.4f}", file=sys.stderr)
|
| 379 |
+
print(f"Medium: {float(result.get('medium', 0.0)):.4f}", file=sys.stderr)
|
| 380 |
+
print(f"Hard: {float(result.get('hard', 0.0)):.4f}", file=sys.stderr)
|
| 381 |
+
print(f"Final: {float(result.get('final', 0.0)):.4f}", file=sys.stderr)
|
| 382 |
+
return None
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 383 |
|
| 384 |
|
| 385 |
if __name__ == "__main__":
|
| 386 |
+
try:
|
| 387 |
+
run_all_tasks()
|
| 388 |
+
except Exception as e:
|
| 389 |
+
print(f"Fatal error: {e}", file=sys.stderr)
|