typed-plan-ir

Typed Plan IR은 LLM이 제안한 전략을 정형화한 중간 표현으로, 각 단계의 입력·출력·의존성·수용 조건을 기계가 검증할 수 있게 기술한다. Plan IR은 플래너의 제안을 deterministic worker가 안전하게 실행하도록 바인딩하는 역할을 한다. 이를 통해 모델의 산출물이 '제안'에서 '실행 가능 명세'로 전환된다.