Diese Seite ist eine Übersetzung. Maßgeblich ist die englische Fassung: English

Open Source · Python · AbhängigkeitenMCP-Server · Agent Skill · HTTP-API

Ein Protokoll, das prüft, was Ihre Agenten behaupten.

Agenten schreiben ihre Hypothesen, Läufe, Ergebnisse und Behauptungen in HypGraph. Es lehnt eine Zahl ab, die kein Ergebnis erklärt, „immer“ ohne die Zählungen und „ausgeschlossen“ ohne eine Suche mit ausreichender Teststärke, und leitet aus dem Protokoll bei jedem Lesen ab, was gezeigt ist und was gefährdet ist.

Glauben Sie dem Hype nicht. Prüfen Sie die Hypothese.
wird verifiziert …
Was Sie prüfen können

Fakten, jeweils mit Quelle.

Jede Zahl auf dieser Seite ist eine Behauptung im eigenen HypGraph-Protokoll der Seite, gebunden an die Messung, aus der sie stammt, und von einem Prüfer vor dem Erstellen der Seite auf anderem Weg erneut gemessen. Klicken Sie auf eine Behauptung, um sie im Protokoll zu öffnen.

Tests
bestanden in diesem Build; die CI läuft unter Linux, macOS und Windows
Laufzeitabhängigkeiten
Engine, CLI, HTTP-Server und Oberfläche nutzen die Standardbibliothek
Die Beispielprotokolle verifizieren sich
SHA-256 über die exakten Zeichenketten, die gehasht wurden — führen Sie es hier aus, in Ihrem Browser
Was es ablehnt

Überbehauptungen kommen nicht ins Protokoll.

Sie wurden beim Erstellen dieser Seite in ein Testprotokoll geschrieben. Die Engine lehnte jede mit einem Code und dem ab, was zu korrigieren war; die Neufassung darunter, mit denselben Belegen, wurde angenommen.

Acht Regeln

Jede Regel ist ein Fehler, der tatsächlich gemacht wurde.

HypGraph entstand aus einem Team von KI-Agenten, das lange Untersuchungen durchführte, und aus den Fehlern, die sie trotz gegenteiliger Anweisungen machten. Jeder wurde zu einer Regel, die das Protokoll beim Schreiben der Arbeit durchsetzt — nicht zu einem Ratschlag, der hofft, befolgt zu werden.

Der Stand wird abgeleitet

Kein Feld sagt „bestätigt“. Prüfung, Risiko, Stützung und Belegstärke werden beim Lesen aus dem Protokoll berechnet.

Nur Anhängen

Verkettet mit SHA-256. Korrekturen sind neue Versionen; Rückzüge bleiben im Protokoll. verify() erkennt eine Änderung.

Prüfungen fixieren Versionen

Korrigieren Sie eine geprüfte Behauptung, wird ihre Prüfung veraltet. Eine Entscheidung, die auf der alten Version beruht, wird zur Überprüfung markiert.

Behauptungen tragen Zahlen

Die Zahlen einer Behauptung sind an Ergebnisfelder gebunden. Eine Zahl ohne Quelle wird abgelehnt — der häufigste Weg, auf dem Zusammenfassungen danebenliegen.

Unabhängigkeit wird gezählt

Drei Ergebnisse aus einem Lauf sind eine Beleglinie, nicht drei. Linien, die Daten oder eine Quelle teilen, verschmelzen.

Ausschlüsse brauchen Teststärke

„Schließt aus“ erst, nachdem gezeigt wurde, dass eine Suche eine eingepflanzte Antwort findet. Sonst ist das Ergebnis nicht schlüssig.

Autoren prüfen sich nicht selbst

Nur Urteile benannter Prüfer zählen, und nie über ihre eigene Arbeit. Die aller anderen werden als Kommentare aufbewahrt.

Instrumente sprechen für sich

Nur der Laborausführer zeichnet einen Laborlauf auf. Ein Lauf, den Sie beschreiben, wird als Ihr Bericht markiert.

Die Arithmetik von nie

Fehler in Tests lassen immer noch pro Million Nutzungen zu.

Ein Agent, der in seinen Tests keinen sieht, schreibt „das passiert nie“. Das Protokoll lehnt diesen Satz ab und verlangt die Zählungen, dann nennt es, was sie in dem Maßstab offenlassen, in dem Sie einsetzen.

Die Arithmetik, Schritt für Schritt

Fehler nicht ausgeschlossen bei Nutzungen, mit 95 % Konfidenz, aus in Tests.

Ein Protokoll, fünf Workflows

Die Methode jeder Disziplin, vom Protokoll durchgesetzt.

Ein Profil trägt die Phasen seiner Disziplin, die Ausgangsschranke jeder Phase und was als erledigt gilt. Die Phase wird aus dem Protokoll abgeleitet, nie von einem Agenten gesetzt. Jede Zeile hat ein Live-Beispiel.

Profilder Weg einer Fragedas Protokoll lehnt aberledigt, wenn
scientific@2gestellt → vermutet → vor dem Lauf präregistriert → ausgeführt → belegt → behauptet → geprüft Zahlen, die kein Ergebnis erklärt; „nie“ ohne die Zählung; „signifikant“ ohne den Test; eine Prüfung auf veralteten Belegenjede Frage beantwortetAnsehen
software@2spezifiziert → implementiert (ein Diff per Hash) → vom Instrument auf diesem Head verifiziert → behauptet → geprüft „es besteht“ ohne einen Lauf des Instruments oder auf einem ersetzten Head; der Autor des Diffs als sein Prüferdie Behauptung jeder Anforderung stützt sich auf einen bestandenen Lauf auf dem aktuellen HeadAnsehen
trading@2gestellt → mit These → präregistriert → Out-of-Sample-Backtest nach Kosten → behauptet → Risikoprüfung → Position eingegangen → überwacht ein Backtest ohne seine Kosten; „Vorteil“ ohne beides oder ohne die getesteten Konfigurationen; eine Position ohne Größe, Stop und Prüfdatum; eine echte OrderFragen beantwortet; eine Position eingegangen oder verworfenAnsehen
knowledge@2gestellt → belegt (die Passage, abgerufen, ihre Art) → behauptet → geprüft eine Behauptung ohne Quelle; eine Quelle ohne ihre Passagejede Behauptung zitiert eine Quelle und ist geprüftAnsehen
optimization@2gestellt (die Instanz per Hash) → modelliert → konfiguriert → gelöst → verifiziert → behauptet → geprüft ein Zielwert ohne Zulässigkeit; „optimal“ ohne Schranke oder auf einer geänderten Instanzeine zulässige, beschränkte beste Lösung, verifiziert auf der aktuellen InstanzAnsehen
Für alle, die Agenten einsetzen

Binden Sie es dort ein, wo Ihre Agenten schon laufen.

Agenten, über MCP

Ihr Agent erhält die Werkzeuge des Protokolls und die Methode als Agent Skill.

claude mcp add hypgraph -- hypgraph --db study.hypgraph mcp
hypgraph skill --install

Python

Rollen als Richtlinie: Prüfer, das Instrument, reservierte Autoren.

from hypgraph import Graph, Policy
g = Graph("study.hypgraph", policy=Policy(reviewers={"critic"}))

Die Oberfläche und die JSON-API

Standardmäßig nur lesend; verfolgt einen laufenden Schwarm live.

hypgraph serve --db study.hypgraph

Machen Sie die CI vom Bericht abhängig

Prüft einen Bericht gegen das Protokoll; endet bei Fehlern mit einem Code ungleich null.

hypgraph check summary.md

Liefern Sie ein verifizierbares Bundle aus

Jeder kann es prüfen, in jeder Sprache oder im Browser.

hypgraph export --telemetry -o study.bundle.json
hypgraph verify study.bundle.json

Lassen Sie einen Schwarm darauf laufen

HypSwarm plant die Agenten aus dem eigenen Arbeitsboard des Protokolls.

pip install --pre hypswarm
Diese Seite hat ein Protokoll

Wir unterwerfen diese Seite den Regeln, die sie beschreibt.

Die Zahlen oben sind Behauptungen in einem HypGraph-Protokoll, das mit der Seite erstellt wird. Das Instrument des Builds misst sie, ein Prüfer misst jede auf anderem Weg erneut, und der Text der Seite wird mit hypgraph check gegen das Protokoll geprüft — eine Zahl, die das Protokoll nicht enthält, schafft es nicht auf die Seite. Öffnen Sie es in der App oben unter Das Protokoll dieser Seite, oder laden Sie das Bundle herunter und verifizieren Sie es selbst.

Vertrauen

Was das Protokoll zeigt und was es nicht behauptet.

✓ Es zeigt

  • dass kein Ereignis nach dem Schreiben geändert wurde: Jeder Schreibvorgang wird in eine Kette gehasht, die jeder erneut prüfen kann;
  • welche Zahlen einer Behauptung an welches Ergebnis gebunden sind und welcher Lauf es erzeugt hat;
  • wer was gegen welche Version geprüft hat und ob diese Version noch gilt;
  • was fällt, wenn eine Prämisse zurückgezogen wird.

— Es behauptet nicht

  • dass eine Behauptung wahr ist. Es prüft das Geschriebene gegen das Aufgezeichnete;
  • ein Modell besser denken zu lassen. Es hält die Überbehauptungen eines Modells aus dem Protokoll heraus;
  • irgendetwas über die Telemetrie, die in einem Bundle mitreist: Sie liegt außerhalb der Hash-Kette;
  • die Ereignisse zu prüfen, die ein Bundle mit Geltungsbereich verbirgt. Die Verifikation meldet, wenn ein Bundle einen Geltungsbereich hat.

Es läuft dort, wo Sie es ausführen: eine lokale Datei, kein Konto, keine eigenen Netzwerkaufrufe. Releases werden per Trusted Publishing aus GitHub Actions auf PyPI veröffentlicht.