데이터 흐름을 역방향으로 추적해 정역 일관성을 검증하는 프롬프트를 생성한다.
Name: PHL-Reverse
Intent: 기존 로직을 역방향 관점에서 검증한다
Procedure:
Step 1: 정방향 흐름 매핑 (입력→변환→출력 문서화)
Step 2: 역방향 흐름 설계 (역함수 존재 여부·비가역 지점 표시)
Step 3: 역순 로깅 삽입 ([REVERSE] step={name} input={hash} output={hash} reversible={bool})
Step 4: 역테스트 작성 (reverse(forward(x))==x, 불변량, 경계값, 비가역 예상치)
Step 5: 불일치 분석 (의도적 비가역·버그·부동소수점 분류)
Commit Format:
PHL-Reverse: <module> - <summary>
- 역방향 매핑: [흐름도/문서]
- 역테스트: [추가된 테스트]
- 역순 로깅: [삽입 지점]
- 불일치: [발견 건수, 의도적/버그 분류]
Key Test: reverse(forward(x)) == x (가역 구간)