PHL-Reverse

역방향 검증 Generator

데이터 흐름을 역방향으로 추적해 정역 일관성을 검증하는 프롬프트를 생성한다.

대상 정보

검증 항목 선택

추가 컨텍스트 (선택)

생성된 프롬프트 — Claude Code에 붙여넣기

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 (가역 구간)
클립보드에 복사됨