정적 타입 계약 기반 State Machine으로 Workflow 불확실성 제거

Context

기존 Workflow 구현 방식은 상태 정의와 전이 로직이 일반 코드에 분산되어 컨벤션에 의존하는 한계 존재. 이로 인해 런타임에 예상치 못한 상태가 생성되거나 데이터 흐름을 파악하기 위해 전체 코드를 검색해야 하는 가시성 부족 문제 발생.

Technical Solution

• .gu 파일을 통한 Workflow Contract 명시화로 상태, 전이, 부수 효과를 단일 진실 공급원(Single Source of Truth)으로 관리
• State별 개별 데이터 스키마 정의를 통해 각 단계에서 필요한 데이터셋을 엄격히 제한하고 Data Threading 가시성 확보
• Transition을 단순 문자열이 아닌 타입화된 계약으로 정의하여 컴파일 단계에서 유효하지 않은 상태 전이를 원천 차단
• Effect와 Action을 구분하여 정의함으로써 Replay 시 안전하게 재실행 가능한 로직과 외부 노출 side-effect를 구조적으로 분리
• 핸들러 내 goto 문과 ctx 바인딩을 통해 상태 전이의 대상과 입력 데이터를 강제하는 컴파일러 수준의 검증 체계 구축