기술 스택

v1.0 구현·운영 기술 카탈로그 + 의도적 미사용 기술

쉽게 말하면 — 어떤 도구를 쓰고, 무엇을 일부러 안 썼는지와 그 이유예요. 전체 그림이 궁금하면 쉬운 설명 부터.

16 deps MIT/BSD only Anthropic 단일 provider

언어 · 런타임

Python 3.11+ 강제 (Pydantic v2 typed artifact, asyncio, mypy --strict 호환)

노드별 모델 tiering — Architect/Coder = Opus(정확성 임계), Designer = Sonnet. v2 QA 최종 게이트는 품질 우선으로 Sonnet 승급(#156).

노드 ↔ 모델 tiering (비용 규율)

노드	모델 tier	이유
Architect	Opus	spec 정확성 임계 (expected_output 오류 = 직접 실패)
Algorithm Designer	Sonnet	algorithm 선택 + pseudocode — Coder 분해
Coder	Opus	golden + brute 구현 정확성
Executor / 검증 / 집계	code	결정론 코드 = 비용 0
QA / Critic (v2)	Sonnet	최종 품질 게이트 정성판단 — 모호성/공정성/유출/난이도 (#156 Haiku→Sonnet 승급)

⚠️ list price upper bound — Anthropic Tier 할인 / prompt cache 미반영. 실제 청구 ≈ 0.4x. run당 비용은 마일스톤마다 실측해 anchor 화.

LLM 생성 코드는 격리 환경에서만 — OS와 가용성에 따라 자동 선택

⚠️ 알려진 한계

• Phase C 직렬화: subprocess + RLIMIT_CPU race(SIGXCPU) 회피 위해 PHASE_C_WORKERS=1 로 직렬 실행. ulimit wrapper 로 병렬 복귀는 후속.
• Linux JVM: RLIMIT_AS + JVM 상호작용 불안정 → Java integration test Linux CI 에서 skip.

pytest + ruff + mypy --strict 0 errors. 현재 862 collected · coverage 87% (ipe/v1)

최소 dependency 정책 — 후보가 있었지만 의도적으로 제외한 기술 + 이유

Layer 분리 — CLI / Orchestration / Nodes / Verification / Sandbox

CLI main_v1.py + measurement runner

↓

Orchestration ipe/v1/graph.py (langgraph)

↓ typed state 흐름

Nodes architect · designer · coder

↔

LLM (langchain-anthropic)
Opus / Sonnet

↓

Executor + Verification ipe/v1/verifiers/*
19 symbolic verifier (code, 비용 0)

→

Sandbox 4-tier

↓

Docker / nsjail / sandbox-exec / RLIMIT

↓

outputs/<run_id>/ 영속화 + SqliteSaver checkpoint