개념 검토

누군가 그 위에 구축하기 전에 추론이나 구현 명세가 타당한지 결정합니다. 사용자가 별도로 편집을 요청하지 않는 한 읽기 전용으로 유지합니다.

증거부터 시작

먼저 저렴한 증거를 검색합니다: 리포지토리 상태, 테스트, 컴파일러 또는 타입체커 출력, 문서, 로그, 벤치마크, 구성, 런타임 동작. 추론은 증거가 끝나는 지점에서 시작합니다. 절대 확인 대신 추론하지 마세요.
요청된 리비전, 브랜치, 범위 및 읽기 제한을 준수합니다. 명세가 특정 커밋에 바인딩된 경우 작업 트리가 아닌 해당 커밋을 읽습니다.
모든 인용문, 숫자, 리포지토리 주장 및 인용된 선례를 검증해야 할 대상으로 취급합니다.
각 중요한 전제를 관찰됨, 추론됨, 가정됨 또는 알 수 없음으로 레이블 지정합니다. 출처를 사용할 수 없는 것은 확인이 아니라 적용 범위의 공백입니다.

명세가 논쟁의 여지가 있는 주장에 기반한 경우 두 가지를 모두 사용합니다.

구현 또는 그 수용을 잘못되게 만들 수 있는 것을 확인합니다:

결과: 동작, 제외 사항 및 전제 조건이 서로 일치합니다.
출처: 인용문, 범위, 프로토콜 규칙, 공식 및 외부 사실이 1차 출처와 일치합니다.
산술: 개수, 경계, 행렬 및 합계가 정확히 재계산됩니다.
적용 범위: 영향을 받는 모든 호출자, 테스트, 인터페이스, 불변 조건, 호환성 약속 및 문서 문장이 설명됩니다. 명세가 지정한 경로를 넘어 제한된 검색을 실행하되, 관련 없는 아키텍처 검토로 빠지지 않습니다.
수용 능력: 각 필수 테스트가 대상으로 하는 결함에 대해 실패할 수 있습니다. 통제는 의미 있고, 부정적인 경우는 관찰 가능한 실패가 있습니다.
실행 명확성: 파일 범위, 순서, 경계 및 실패 동작, 완료 증명이 추측할 여지를 남기지 않습니다.
범위: 선례와 향후 작업이 현재 증거가 요구하는 것보다 더 많은 것을 조용히 정당화하지 않습니다.

리포지토리의 심각도 용어로 결과를 평가하거나:

평결로 시작합니다. 추론 모드: 추론은 타당함, 또는 무엇이 그것을 깨뜨리는지. 명세 모드: 준비됨 또는 준비되지 않음, 결정적인 이유와 함께.
추론 모드는 중요한 것만 제공합니다: 주요 가정, 최약 링크, 최선의 반론 및 권장 사항.
명세 모드는 우선순위 순서대로 번호가 매겨진 결과(제목, 심각도, 정확한 증거, 중요한 이유, 구체적인 수정)와 생존한 중요한 주장의 짧은 확인됨 목록을 제공합니다.
신뢰도(높음, 중간 또는 낮음), 평결을 변경할 가능성이 가장 높은 증거, 적용 범위 공백 또는 확인되지 않은 출처로 끝냅니다.

근거: Anthropic and Redwood Research의 개념 추론 인덱스 작업을 개발자 워크플로우로 각색했습니다. 이 스킬은 CRI 또는 그 벤치마크를 구현하지 않습니다.