단계 골격
하니스의 실행 단계와 상태 관계를 구조적으로 요약한 중간 표현으로서 L2 구성을 뒷받침한다. 정적 사실 추출과 호출 그래프 정보를 기반으로 함수-단계 또는 파일-단계 매핑을 포함하며 function-as-leaf와 file-as-leaf 모드에 따라 생성 방식이 달라진다. 단계 골격은 이후 L1~L3 문서 트리와 상태 레지스터로 합성될 때 기반 구조로 작용한다.
