Catalyst, AI 에이전트용 컴파일된 코드 변수 검증 도구 공개

AI 에이전트가 복잡한 컴파일된 시스템에서 실제로 중요한 변수를 식별하고 검증할 수 있는 도구 Catalyst가 공개되었다. 이 도구는 Rust 코드를 LLVM IR로 변환한 후 컴파일러 출력을 직접 분석하여, 입력 변수가 최종 결과에 미치는 영향을 미분값으로 계산한다.

핵심 기능 및 성능

• 초고속 분석: 52개 입력 변수를 가진 72시간 시뮬레이션 모델에서 모든 미분값 계산과 105개 포인트의 독립적 검증을 1.37초 내에 완료한다.
• 정밀도 보장: Complex-step reference와 비교 시 최대 상대 오차가 약 2.1e-15로, 수치적 정확성이 검증되었다.
• 재사용 아티팩트: 검증된 결과를 아티팩트로 생성하며, 이후 재실행 시간은 약 12ms로 매우 빠르다. 아티팩트 변조 시 자동으로 거부되는 무결성 검사도 포함된다.

환경별 민감도 분석 사례

데이터센터 냉각/전력 플랜트 데모에서 동일한 소스 코드라도 운영 환경에 따라 지배적인 변수가 완전히 달라짐을 입증했다.

• 열파 상황(38°C): 팬 제어(fan_target_c)가 비용 영향의 1위이며, 52개 중 17개 변수가 비용의 90%를 결정한다.
• 온화한 날씨(18°C): UPS 및 PDU 효율이 주요 동인이 되며, fan_target_c의 영향력은 정확히 0으로 수렴한다.

실용적 가치

에이전트는 코드 추측 대신 측정된 데이터를 기반으로 최적화 결정을 내릴 수 있다. 데모에서는 이 방식을 통해 모델링된 운영 비용을 18.1% 절감했다. 또한 Go/R 코드로의 독립적 내보내기 및 프로덕션 오류 재현 축소 등 다양한 엔지니어링 워크플로우에 적용 가능하다.