enestanerr/prove

prove은(는) 무엇을 하나요?

당신은 문서를 읽고 검사 항목을 제안합니다. provecheck가 모든 판정을 결정합니다.

아래 PROVE는 python3 ${CLAUDE_SKILL_DIR}/scripts/provecheck.pyz를 의미합니다. ${CLAUDE_SKILL_DIR}이 이 파일을 읽은 경로로 치환되지 않은 경우, 이 SKILL.md가 있는 폴더입니다.

• python3이 없거나 실패하는 경우(Windows에서는 Store 바로가기인 경우가 많음), 동일한 명령을 python으로 실행하고, 그래도 실패하면 py -3으로 실행하세요. 시스템에서 인터프리터를 검색하지 마세요.
• 모든 명령에 전체 경로를 작성하세요. 셸 변수에 저장하지 마세요. 호출당 하나의 PROVE 명령을 실행하세요. 경로에 공백이 있으면 따옴표로 감싸세요.
• reference/ 파일은 파일 읽기 도구로 열고, claims.json은 파일 쓰기 도구로 작성하세요. cat이나 셸 heredoc을 사용하지 마세요.

절대 위반해서는 안 되는 규칙

1. provecheck가 출력하지 않은 판정을 절대 언급하지 마세요. 판정을 절대 변경하지 마세요. 자신의 판단으로 주장이 틀렸다, 맞았다, 괜찮다, 의심스럽다고 말하지 마세요.
2. 숫자가 포함된 문장이나 테이블 행과 함께 숫자를 있는 그대로 정확히 복사하세요. 수정, 반올림, 재형식화 또는 변환하지 마세요.
3. 숫자가 count, ledger, defined 또는 cell과 같이 정확하다고 말할 수 있는 이유가 없다면 반올림된 것으로 간주합니다.
4. 숫자를 어떻게 계산해야 하는지 말할 수 없다면, 임의로 유도 방식을 만들어내지 마세요. 해당 항목은 주장 없이 남겨둡니다.
5. 문서의 모든 숫자는 numbers 배열에 포함되거나 이유와 함께 skipped에 포함되어야 합니다. 적용 범위(coverage) 단계를 실행하고 놓친 항목이 있으면 다시 돌아가세요.
6. 문서를 수정하지 말고, verdicts.json이나 보고서를 편집하지 마세요.

단계

현재 디렉토리에 prove-work/ 폴더를 만들어 작업하세요. DOC는 사용자의 파일입니다.

1. 수집(Ingest). PROVE ingest DOC -o prove-work/doc.json --render-pages prove-work/pages PDF 지원이 없다고 나오면 pip install pymupdf를 한 번 시도하세요. 그것도 불가능하면 자신의 도구로 파일을 읽고, 4단계에서 --doc을 생략한 후, 사용자에게 숫자를 근거화(ground)할 수 없어서 모순되었다고 보고할 수 없다고 알리세요.
2. 스캔(Scan). PROVE scan prove-work/doc.json은 모든 숫자 토큰과 해당 페이지를 나열합니다. 이 목록이 규칙 5의 체크리스트입니다. PROVE text prove-work/doc.json은 각 페이지의 텍스트를 출력합니다. 인용문은 여기서 복사하세요.
3. prove-work/claims.json을 읽고 작성하세요. 먼저 이 스킬 폴더에 있는 reference/claims-schema.md를 읽으세요. 모든 필드가 정의되어 있습니다. 그런 다음 문서 자체(그리고 PDF의 경우 페이지 이미지)를 읽고 다음을 기록하세요:
   • 파생된 숫자: 합계, 차이, 비율, 성장률, 평균, CAGR, 순위. 구성 요소가 인쇄되어 있을 때는, 검사 대상인 인쇄된 합계가 아닌 구성 요소의 합계로 비율을 계산하세요.
   • 상호 참조: 두 곳에 인쇄된 동일한 수량(eq).
   • 차트: reference/charts.md를 읽은 후에만. 각 마크를 두 번 읽는데, 두 번째는 PROVE crop으로 만든 2배 확대(crop)에서 읽습니다. 점 추정이 아닌 정직한 구간을 제시하세요.
   • 출처: DOI, arXiv ID, URL 및 출처가 있는 직접 인용문.
   • 그 외 모든 숫자형 데이터는 이유(연도, 페이지 번호 등)와 함께 skipped에 들어갑니다. 페이지 번호와 인용문은 PROVE text가 출력한 내용과 일치해야 하며, 기억에 의존하지 마세요.
4. 검사(Check). PROVE check prove-work/claims.json --doc prove-work/doc.json 판정을 출력하고 prove-work/verdicts.json을 작성합니다. 스키마 오류, not-grounded, parse-mismatch, unit-mismatch, scale-mismatch 또는 놓친 숫자가 보고되면, 원인은 대개 당신의 claims 파일에 있습니다. 파일을 수정하고 다시 실행하세요. 문서가 말하는 내용을 바꿔서 수정하지 마세요. 문서에 대해 남은 내용이 사실이 될 때까지 중단하지 마세요.
5. 출처(Source). PROVE sources prove-work/claims.json (파일에 출처가 있는 경우). 네트워크 접근이 없으면 --offline을 추가하고 사용자에게 출처가 확인되지 않았다고 알리세요.
6. 보고(Report). PROVE report prove-work/verdicts.json --html --md --card 여기서 종료 코드 1은 최소한 하나의 주장이 모순되었음을 의미합니다. 이는 발견(findings)이지 실패가 아닙니다.
7. 사용자에게 알리세요. 다음 순서로 알립니다:
   • 모순된 주장의 개수, 그리고 각각에 대해 provecheck가 출력한 내용에서 복사한 계산과 함께 한 문장으로 설명;
   • 의심스러운 주장, 각각의 가능한 범위와 함께;
   • 적용 범위(coverage) 줄, 그리고 놓친 숫자가 있다면 그 개수;
   • 확인되지 않은 항목과 그 이유(미확인 주장, 오프라인일 때 출처, 읽을 수 없었던 차트);
   • prove-work/prove-report.html의 경로.

각 판정에 대해 말할 내용

• 모순(contradicted): "이것은 어떤 반올림에서도 맞을 수 없습니다." 숫자를 보여주세요.
• 의심(suspect): "이것은 입력 값이 반올림 경계에 있을 때만 성립합니다." 범위를 보여주세요.
• 미확인(unverified): "확인되지 않음", 이유와 함께. 절대 문서 자체의 문제인 것처럼 제시하지 마세요.
• 확인(verified): 개수를 언급하세요. 요청이 있을 때만 목록을 보여주세요.

차트 판정은 이미지에 대한 당신의 독해에 기반하며, 보고서는 이를 read로 태그합니다. 그렇게 말하고, 요약에서 계산된 판정과 분리하여 유지하세요.

깔끔한 보고서는 검사된 주장이 통과되었음을 의미합니다. 검사된 주장의 개수를 말하세요.

더 자세한 내용 (필요 시 로드)

• reference/claims-schema.md — 주장 파일의 각 필드와 관계 목록 및 각 unverified 이유의 의미. 3단계 전에 읽으세요.
• reference/charts.md — Prove를 위해 차트를 읽는 방법. 차트 주장 전에 읽으세요.
• reference/examples.md — 두 개의 완전한 작업 예제.