enestanerr/prove

¿Qué hace prove?

Lee el documento y propone comprobaciones. provecheck decide cada veredicto.

PROVE abajo significa python3 ${CLAUDE_SKILL_DIR}/scripts/provecheck.pyz. Si ${CLAUDE_SKILL_DIR} no está reemplazado por una ruta donde leíste esto, es la carpeta que contiene este SKILL.md.

• Si falta python3 o falla (en Windows a menudo es solo un acceso directo de la Tienda), ejecuta el mismo comando con python, y si eso también falla, con py -3. No busques un intérprete en la máquina.
• Escribe la ruta completa en cada comando: no la almacenes en una variable de shell. Ejecuta un comando PROVE por llamada. Pon la ruta entre comillas si contiene espacios.
• Abre los archivos de reference/ con tu herramienta de lectura de archivos y escribe claims.json con tu herramienta de escritura de archivos, no con cat ni un heredoc de shell.

Reglas que no debes romper

1. Nunca afirmes un veredicto que provecheck no haya impreso. No lo cambies. No califiques una afirmación como incorrecta, correcta, aceptable o sospechosa por tu propio juicio.
2. Copia los números exactamente como aparecen impresos, con la oración o fila de tabla donde se encuentran. No los corrijas, redondees, reformatees ni conviertas.
3. Un número está redondeado a menos que puedas nombrar por qué es exacto: count, ledger, defined o cell.
4. Si no puedes decir cómo debería calcularse un número, no inventes una derivación. Déjalo sin afirmación.
5. Cada número en el documento termina en numbers o en skipped con un motivo. Ejecuta el paso de cobertura y vuelve atrás por cualquier cosa que se haya omitido.
6. No arregles el documento, y no edites verdicts.json ni los informes.

Pasos

Trabaja en una carpeta llamada prove-work/ en el directorio actual. DOC es el archivo del usuario.

1. Ingerir. PROVE ingest DOC -o prove-work/doc.json --render-pages prove-work/pages Si dice que falta soporte para PDF, intenta pip install pymupdf una vez. Si eso no es posible, lee el archivo con tus propias herramientas, omite --doc en el paso 4, y dile al usuario que los números no se pudieron fundamentar, por lo que no se puede informar nada como contradicho.
2. Escanear. PROVE scan prove-work/doc.json lista cada token numérico con su página. Esta es tu lista de verificación para la regla 5. PROVE text prove-work/doc.json imprime el texto de cada página: copia tus citas de allí.
3. Leer y escribir prove-work/claims.json. Primero lee reference/claims-schema.md en la carpeta de esta skill: define cada campo. Luego lee el documento en sí (y las imágenes de página para un PDF) y registra:
   • Números derivados: totales, diferencias, participaciones, tasas de crecimiento, promedios, CAGR, rangos. Cuando las partes están impresas, calcula una participación a partir de la suma de las partes, no de un total impreso que se está verificando.
   • Referencias cruzadas: la misma cantidad impresa en dos lugares (eq).
   • Gráficos: solo después de leer reference/charts.md. Lee cada marca dos veces, la segunda vez desde un recorte 2× hecho con PROVE crop. Da un intervalo honesto, no un punto.
   • Fuentes: DOIs, IDs de arXiv, URLs, y cualquier cita directa con su fuente.
   • Todo lo demás numérico va en skipped con un motivo (año, número de página, …). Los números de página y las citas deben coincidir con lo que imprimió PROVE text, no con tu memoria.
4. Verificar. PROVE check prove-work/claims.json --doc prove-work/doc.json Imprime los veredictos y escribe prove-work/verdicts.json. Si informa errores de esquema, not-grounded, parse-mismatch, unit-mismatch, scale-mismatch o números omitidos, la causa suele estar en tu archivo de afirmaciones: corrige el archivo y ejecútalo de nuevo. Nunca lo arregles cambiando lo que dice el documento. Detente cuando lo que quede sea cierto del documento.
5. Fuentes. PROVE sources prove-work/claims.json si el archivo lista alguna. Sin acceso a la red añade --offline y dile al usuario que las fuentes no fueron verificadas.
6. Informe. PROVE report prove-work/verdicts.json --html --md --card El código de salida 1 aquí significa que al menos una afirmación está contradicha. Es un hallazgo, no un fallo.
7. Dile al usuario, en este orden:
   • cuántas afirmaciones fueron contradichas, luego cada una en una oración con el cálculo, copiado de lo que imprimió provecheck;
   • las afirmaciones sospechosas, cada una con su rango posible;
   • la línea de cobertura, y cuántos números se omitieron si los hay;
   • lo que no se verificó y por qué (afirmaciones no verificadas, fuentes cuando estén sin conexión, gráficos que no se pudieron leer);
   • la ruta de prove-work/prove-report.html.

Qué decir sobre cada veredicto

• contradicho: "Esto no puede ser correcto bajo ningún redondeo." Muestra los números.
• sospechoso: "Esto solo funciona si los valores de entrada están en el límite de su redondeo." Muestra el rango.
• no verificado: "No verificado", con el motivo. Nunca lo presentes como un problema con el documento.
• verificado: menciona la cantidad; enuméralos solo si te lo piden.

Los veredictos de gráficos se basan en tu lectura de la imagen, y el informe los etiqueta read. Dilo, y mantenlos separados de los calculados en tu resumen.

Un informe limpio significa que las afirmaciones verificadas pasaron. Di cuántas fueron verificadas.

Más detalle, cargado cuando sea necesario

• reference/claims-schema.md — el archivo de afirmaciones, campo por campo, con la lista de relaciones y lo que significa cada motivo unverified. Léelo antes del paso 3.
• reference/charts.md — cómo leer un gráfico para Prove. Léelo antes de cualquier afirmación sobre gráficos.
• reference/examples.md — dos ejemplos completos resueltos.