Tesserae v0.28.2 — verify_claim aus der Shell, und eine Doku, die darüber gelogen hat

<!-- translations:start -->

English · 한국어 · 中文 · 日本語 · Русский · Español · Français

<!-- translations:end -->

Released 2026-07-27 · PyPI · GitHub release · pip install --upgrade tesserae==0.28.2

Beide Punkte kamen von einem Team, das in einer anderen Codebasis auf verify_claim aufgebaut hat. Beide gehören zu der Sorte, die man nur findet, wenn man selbst Konsument wird.

tesserae verify-claim

verify_claim war ein MCP-Werkzeug und sonst nichts. Damit war es für alle unerreichbar, die per Subprozess mit Tesserae sprechen statt es zu importieren — und Importieren ist nicht umsonst: Es zieht den gesamten Baum in Ihre virtuelle Umgebung und koppelt die Version Ihres Projekts an unsere.

Dieselbe Lücke, die graph-map in v0.25 geschlossen hat, und dieselbe Lösung.

tesserae verify-claim -s 'Flash Attention' -p uses -o 'Tiling'
# -> {verdict, reason, triple, citation, provenance, advisory}

Endpunkte werden ausschließlich über die exakte Knoten-id, einen eindeutigen casefold-Namen oder einen eindeutigen Alias aufgelöst. Eine Eingabe in natürlicher Sprache gibt es per Design nicht — alles andere ergibt NOT_RESOLVABLE statt einer Vermutung.

Der Exit-Code ist 0 für jedes Verdikt, das eine Antwort ist, einschließlich ABSENT („dieser Graph behauptet das nicht" ist eine echte Antwort, kein Fehler), und 2 für NOT_RESOLVABLE, damit ein Skript konnte nicht prüfen von geprüft, und hier ist das Ergebnis unterscheiden kann. Verzweigen Sie über verdict zusammen mit provenance.class; niemals über reason.

Re-Grounding entscheidet über Verdikte. Die Doku behauptete, das könne es nie.

Die Dokumentation des Parameters reground versprach, er sei „advisory only" und könne „das Verdikt niemals ändern". Die Implementierung widerspricht dem, seit sie geschrieben wurde: document_backed verlangt regrounded is not False.

Recht hatte die Implementierung. SUPPORTED behauptet, dass der Beleg einer Aussage eine wörtliche Passage eines echten Dokuments ist — und im realen Graphen mit 15.284 Kanten zitierten 198 von 2.088 SUPPORTED-Verdikten Text, den die Datei nachweislich nicht enthält: Fragmente, die der Extraktor über Überschriften hinweg zusammengenäht hatte. Die Klasse allein kann das nicht sehen, denn sie stammt aus Metadaten, und nur das Re-Grounding liest die Platte.

Korrigiert wurde deshalb die Doku, nicht die Schranke:

• regrounded: false — wir haben die Datei gelesen, und die Passage fehlte. Widerlegter Beleg kann nicht SUPPORTED sein; das Verdikt wird auf PRESENT_UNEVIDENCED herabgestuft.
• regrounded: null — ungeprüft (--no-reground, oder kein lesbarer source_path). Stuft nichts herab. Widerlegen, nicht annehmen.

Das Verdikt bleibt eine reine Funktion der Graph-Bytes bei festem reground. Re-Grounding ist die eine Achse, auf der derselbe Graph anders antworten kann, weil es die eine Achse ist, die eine Datei liest, die dem Graphen nicht gehört — und sie kann ein Verdikt nur nach unten bewegen.

Wenn Sie verify_claim konsumieren, ändert das, was Sie lesen sollten. Auf verdict abzustellen war immer richtig. regrounded als ignorierbare Färbung zu behandeln war es nicht: Es ist eine Eingabe von verdict, keine Verzierung darauf.

Außerdem

Das CLI-Verb lädt seinen Graphen jetzt über denselben Pfad wie das MCP-Werkzeug, sodass das Overlay der Verbindungsentdeckung auf beiden greift. verify_claim ist paar-lokal, eine entdeckte Kante genau zwischen den beiden geprüften Endpunkten landete also auf der einen Oberfläche in der Kantenmenge und auf der anderen nicht — dasselbe Tripel antwortete je nach Aufrufweg unterschiedlich.

tesserae --help listete verify-claim zweimal auf.

Upgrade von v0.28.1

Drop-in. Keine API-Änderung; der Sieben-Verdikte-Vertrag von verify_claim und seine Payload-Schlüssel sind seit v0.27.0 unverändert.