enestanerr/prove

Was macht prove?

Du liest das Dokument und schlägst Prüfungen vor. provecheck entscheidet über jedes Urteil.

PROVE bedeutet im Folgenden python3 ${CLAUDE_SKILL_DIR}/scripts/provecheck.pyz. Falls ${CLAUDE_SKILL_DIR} nicht durch einen Pfad ersetzt wurde, in dem du dies liest, ist es der Ordner, der diese SKILL.md enthält.

• Wenn python3 fehlt oder fehlschlägt (unter Windows ist es oft nur eine Store-Verknüpfung), führe denselben Befehl mit python aus, und falls das auch fehlschlägt, mit py -3. Suche nicht auf dem Rechner nach einem Interpreter.
• Schreibe den vollständigen Pfad in jeden Befehl: speichere ihn nicht in einer Shell-Variable. Führe einen PROVE-Befehl pro Aufruf aus. Setze den Pfad in Anführungszeichen, wenn er Leerzeichen enthält.
• Öffne die reference/-Dateien mit deinem Dateilesewerkzeug und schreibe claims.json mit deinem Dateischreibwerkzeug, nicht mit cat oder einem Shell-Heredoc.

Regeln, die du nicht brechen darfst

1. Gib niemals ein Urteil ab, das provecheck nicht ausgegeben hat. Ändere niemals eines. Bezeichne eine Behauptung nicht aufgrund deines eigenen Urteils als falsch, richtig, in Ordnung oder verdächtig.
2. Kopiere Zahlen exakt so, wie sie gedruckt sind, zusammen mit dem Satz oder der Tabellenzeile, in der sie stehen. Korrigiere, runde, formatiere oder konvertiere sie nicht.
3. Eine Zahl ist gerundet, es sei denn, du kannst benennen, warum sie exakt ist: count, ledger, defined oder cell.
4. Wenn du nicht sagen kannst, wie eine Zahl berechnet werden sollte, erfinde keine Herleitung. Lasse sie ohne Behauptung.
5. Jede Zahl im Dokument landet entweder in numbers oder in skipped mit einem Grund. Führe den Coverage-Schritt aus und gehe zurück, um etwas zu ergänzen, das übersehen wurde.
6. Korrigiere das Dokument nicht und bearbeite verdicts.json oder die Berichte nicht.

Schritte

Arbeite in einem Ordner namens prove-work/ im aktuellen Verzeichnis. DOC ist die Datei des Benutzers.

1. Einlesen. PROVE ingest DOC -o prove-work/doc.json --render-pages prove-work/pages Falls die Meldung kommt, dass die PDF-Unterstützung fehlt, versuche einmal pip install pymupdf. Wenn das nicht möglich ist, lies die Datei mit deinen eigenen Werkzeugen, überspringe --doc in Schritt 4 und teile dem Benutzer mit, dass Zahlen nicht verankert werden konnten, sodass nichts als widersprochen gemeldet werden kann.
2. Scannen. PROVE scan prove-work/doc.json listet jedes numerische Token mit seiner Seite auf. Dies ist deine Checkliste für Regel 5. PROVE text prove-work/doc.json gibt den Text jeder Seite aus: kopiere deine Zitate daraus.
3. Lese und schreibe prove-work/claims.json. Lies zuerst reference/claims-schema.md in diesem Skill-Ordner: es definiert jedes Feld. Dann lies das Dokument selbst (und die Seitenbilder bei einem PDF) und zeichne auf:
   • Abgeleitete Zahlen: Summen, Differenzen, Anteile, Wachstumsraten, Durchschnitte, CAGR, Ränge. Wenn die Teile gedruckt sind, berechne einen Anteil aus der Summe der Teile, nicht aus einer gedruckten Summe, die selbst geprüft wird.
   • Querverweise: dieselbe Größe an zwei Stellen gedruckt (eq).
   • Diagramme: erst nachdem du reference/charts.md gelesen hast. Lies jede Markierung zweimal, das zweite Mal aus einem 2×-Ausschnitt, der mit PROVE crop erstellt wurde. Gib ein ehrliches Intervall an, keinen Punkt.
   • Quellen: DOIs, arXiv-IDs, URLs und jedes direkte Zitat mit seiner Quelle.
   • Alles andere Numerische kommt in skipped mit einem Grund (Jahr, Seitenzahl, …). Seitenzahlen und Zitate müssen mit dem übereinstimmen, was PROVE text ausgegeben hat, nicht mit deiner Erinnerung.
4. Prüfen. PROVE check prove-work/claims.json --doc prove-work/doc.json Es gibt die Urteile aus und schreibt prove-work/verdicts.json. Wenn es Schema-Fehler meldet, not-grounded, parse-mismatch, unit-mismatch, scale-mismatch oder übersehene Zahlen, liegt die Ursache normalerweise in deiner Behauptungsdatei: korrigiere die Datei und führe sie erneut aus. Korrigiere niemals, indem du änderst, was das Dokument sagt. Höre auf, wenn das, was übrig bleibt, für das Dokument zutrifft.
5. Quellen. PROVE sources prove-work/claims.json falls die Datei welche auflistet. Ohne Netzwerkzugang füge --offline hinzu und teile dem Benutzer mit, dass die Quellen nicht überprüft wurden.
6. Bericht. PROVE report prove-work/verdicts.json --html --md --card Exit-Code 1 bedeutet hier, dass mindestens eine Behauptung widersprochen wurde. Es ist ein Befund, kein Fehler.
7. Teile dem Benutzer mit, in dieser Reihenfolge:
   • wie viele Behauptungen widersprochen wurden, dann jede einzelne in einem Satz mit der Berechnung, kopiert aus dem, was provecheck ausgegeben hat;
   • die verdächtigen Behauptungen, jeweils mit ihrem möglichen Bereich;
   • die Coverage-Zeile und wie viele Zahlen ggf. übersehen wurden;
   • was nicht geprüft wurde und warum (nicht verifizierte Behauptungen, Quellen bei Offline-Betrieb, Diagramme, die nicht gelesen werden konnten);
   • den Pfad von prove-work/prove-report.html.

Was zu jedem Urteil zu sagen ist

• widersprochen: „Dies kann bei keiner Rundung stimmen.“ Zeige die Zahlen.
• verdächtig: „Dies funktioniert nur, wenn die Eingaben am Rand ihrer Rundung liegen.“ Zeige den Bereich.
• nicht verifiziert: „Nicht geprüft“, mit dem Grund. Präsentiere es niemals als Problem mit dem Dokument.
• verifiziert: nenne die Anzahl; liste sie nur auf Nachfrage.

Diagramm-Urteile beruhen auf deiner Ablesung des Bildes, und der Bericht kennzeichnet sie mit read. Sage dies und halte sie in deiner Zusammenfassung von den berechneten getrennt.

Ein sauberer Bericht bedeutet, dass die geprüften Behauptungen bestanden wurden. Sage, wie viele geprüft wurden.

Weitere Details, bei Bedarf geladen

• reference/claims-schema.md — die Behauptungsdatei, Feld für Feld, mit der Liste der Relationen und der Bedeutung jedes unverified-Grundes. Vor Schritt 3 lesen.
• reference/charts.md — wie man ein Diagramm für Prove liest. Vor jeder Diagramm-Behauptung lesen.
• reference/examples.md — zwei vollständige durchgearbeitete Beispiele.