ritamgh/claude-skills

증거 계약

실제 저장소에 근거하여 테스트 가능하고 검증 가능한 계획을 만듭니다.

활성화

작업에 비사소한 구현 계획이나 계획 검토가 필요한 경우 이 스킬을 자동으로 적용하십시오. 사용자가 명시적으로 호출할 때까지 기다리지 마십시오.

대상, 동작 및 검증이 이미 명확한 사소한 변경 사항의 경우 전체 계약을 건너뛰고 간단한 검사를 명시하십시오.

이 스킬은 계획 전용입니다. 사용자가 계획 실행을 요청하지 않는 한 구현 파일을 편집하지 마십시오.

워크플로우

1. 의도와 성공 기준 수립

원하는 결과를 한 문장으로 명시하십시오. 요청에서 구체적인 수용 동작을 추출하십시오. 문구가 모호한 경우 사용자에게 묻기 전에 저장소를 조사하십시오. 조사 후에도 실질적으로 다른 결과가 가능한 경우에만 질문하십시오.

2. 최소 충분 증거 수집

아키텍처를 제안하거나 영향을 받는 파일을 지정하기 전에:

1. PROJECT_CONTEXT.md가 있을 경우 먼저 읽습니다.
2. 대상 검색으로 기능 진입점을 찾습니다.
3. 관련 구현, 구성 및 테스트 파일 중 최소 집합을 읽습니다.
4. 중요한 호출자, 종속성, 지속성 경계 및 공용 인터페이스를 추적합니다.
5. 문서와 코드 사이의 모순을 기록합니다. 코드와 실행 가능한 동작을 더 강력한 증거로 취급합니다.

대상 증거로 충분할 때 광범위한 저장소 검색을 피하십시오.

3. 모든 실질적 주장 분류

내부적으로 이러한 라벨을 사용하고 유용할 때 공개하십시오:

• 관찰됨: 파일, 심볼, 명령 결과, 테스트 또는 런타임 관찰에 의해 직접적으로 뒷받침됨.
• 추론됨: 관찰된 증거에 의해 강력하게 암시되지만 직접적으로 입증되지는 않음.
• 알 수 없음: 아직 확립되지 않은 실질적 정보.

추론 또는 알 수 없음 주장을 사실로 제시하지 마십시오. 중요한 관찰 주장에는 코드 위치나 도구 관찰을 포함하십시오. 파일 경로, API, 종속성 또는 기존 동작을 임의로 만들지 마십시오.

4. 차단하는 알 수 없음 해결

아키텍처, 범위, 데이터 흐름, 호환성 또는 수용 동작을 변경할 수 있는 알 수 없는 사항을 조사하십시오. 알 수 없는 사항을 로컬에서 해결할 수 없는 경우:

• 명시적으로 언급하고,
• 왜 중요한지 설명하고,
• 가장 안전한 제한된 가정을 제안하며,
• 진행해도 잘못된 결과가 나올 수 있는 경우에만 사용자에게 문의하십시오.

5. 증거 기반 계획 생성

모든 비사소한 계획 항목에는 다음이 포함되어야 합니다:

1. 변경: 가장 작은 일관된 구현 단계.
2. 증거: 단계를 정당화하는 관찰된 저장소 사실(관련 경로 또는 심볼 포함).
3. 영향 영역: 변경될 가능성이 있는 파일, 인터페이스, 데이터, 호출자, 종속성 또는 워크플로우.
4. 성공 검사: 실행 가능한 테스트, 빌드, 린트, 런타임 또는 수용 관찰.
5. 위험 또는 가정: 실질적일 때만, 추론됨 또는 알 수 없음으로 표시.

하나의 요구 사항을 하나의 관찰 가능한 검사에 매핑하는 계획을 선호하십시오. 버그 수정 및 호환성에 민감한 변경에 대해 회귀 테스트 범위를 포함하십시오.

6. 계획 게이트 실행

계획을 제시하기 전에 다음을 확인하십시오:

• 각 요청된 결과가 최소 하나의 계획 항목에 매핑됩니다.
• 각 계획 항목에 증거와 구체적인 성공 검사가 있습니다.
• 명명된 파일과 심볼이 관찰되었으며 추측되지 않았습니다.
• 실질적 가정이 표시되고 분류되었습니다.
• 종속성과 통합 경계가 다루어졌습니다.
• 계획이 요청을 충족하는 가장 작은 변경을 사용합니다.
• 추측 기능 또는 관련 없는 리팩터링이 추가되지 않았습니다.

게이트가 실패하면 계획을 반환하기 전에 조사하거나 수정하십시오.

출력 형식

작업이 복잡하지 않으면 결과를 간결하게 유지하십시오.

## 증거 계약
- 관찰됨: `경로/파일`이 다음을 확립합니다...
- 추론됨: ... 왜냐하면 ...
- 알 수 없음: ...; 제한된 가정 또는 필요한 결정 ...

## 계획
1. **변경** ...
   - 증거: ...
   - 영향: ...
   - 검증: ...
   - 위험/가정: ...

## 완료 게이트
- [ ] 요구 사항-검사 매핑이 완전함
- [ ] 라벨이 지정되지 않은 가정이 남아 있지 않음
- [ ] 수용 검사가 실행 가능함

빈 추론 또는 알 수 없음 섹션은 생략하십시오. 작은 계획의 경우 각 항목을 한 줄로 압축하면서 증거와 검증을 유지하십시오.

안티패턴

다음을 하지 마십시오:

• 파일 이름만으로 계획을 생성,
• "아마도", "아마", "해야 한다"와 같은 표현을 추론 표시 없이 사용,
• 테스트를 실행하지 않고 통과했다고 주장,
• 사용 가능한 실제 수용 경로 대신 모의 검사 사용,
• 저장소에서 답변할 수 있는 질문으로 사용자에게 부담,
• 사소한 변경에 대해 계약을 문서 작업으로 전환,
• 계획이 완료되었다는 이유만으로 구현 시작.