Cette page est une traduction. La version anglaise fait foi : English
Un registre qui vérifie ce qu'affirment vos agents.
Les agents écrivent dans HypGraph leurs hypothèses, exécutions, résultats et affirmations. Il refuse un nombre qu'aucun résultat n'explique, « toujours » sans les décomptes et « exclu » sans une recherche suffisamment puissante, et déduit du registre, à chaque lecture, ce qui a été démontré et ce qui est menacé.
Pour l'agent, et pour ceux qui le déploient.
Branchez votre agent
Une ligne de MCP, ou l'Agent Skill. Les affirmations sont vérifiées à l'écriture, la relecture qu'un agent fait de son propre travail ne compte pas, et chaque refus dit quoi corriger. Lisible par machine : /llms.txt, /SKILL.md.
claude mcp add hypgraph -- hypgraph --db study.hypgraph mcp hypgraph skill --installLe guide des agents
Intégrez-le à votre stack
Un paquet avec dépendances d'exécution. Vous décidez qui relit, quels enregistrements de quel exécuteur comptent comme l'instrument et combien coûte le travail. En plus : l'API JSON, l'interface et des bundles vérifiables pour la CI.
pip install hypgraph
Graph("study.hypgraph", policy=Policy(reviewers={"critic"}))
Le guide d'ingénierie
Des faits, chacun avec sa source.
Chaque chiffre de cette page est une affirmation dans le propre registre HypGraph de la page, liée à la mesure dont elle provient et mesurée à nouveau autrement par un relecteur avant la construction de la page. Cliquez sur une affirmation pour l'ouvrir dans le registre.
SHA-256 sur les chaînes exactes qui ont été hachées — exécutez-le ici, dans votre navigateurLes surinterprétations n'entrent pas dans le registre.
Elles ont été écrites dans un registre de test lors de la construction de cette page. Le moteur a refusé chacune avec un code et ce qu'il fallait corriger ; la réécriture ci-dessous, avec la même évidence, a été acceptée.
Chaque règle est une erreur qui a réellement été commise.
HypGraph est né d'une équipe d'agents d'IA menant de longues recherches, et des erreurs qu'ils commettaient malgré les consignes. Chacune est devenue une règle que le registre applique au moment où le travail est écrit, et non un conseil qui espère être suivi.
Le statut est dérivé
Aucun champ ne dit « confirmé ». La relecture, le risque, le soutien et la force de l'évidence sont calculés à partir du registre au moment de la lecture.
Ajout seul
Chaîné avec SHA-256. Les corrections sont de nouvelles versions ; les retraits restent dans le registre. verify() détecte une modification.
Les relectures épinglent des versions
Si vous corrigez une affirmation vérifiée, sa vérification devient périmée. Une décision fondée sur l'ancienne version est signalée à revoir.
Les affirmations portent des nombres
Les nombres d'une affirmation sont liés à des champs de résultats. Un nombre sans source est refusé — la façon la plus courante dont les résumés se trompent.
L'indépendance est comptée
Trois résultats issus d'une seule exécution forment une ligne d'évidence, pas trois. Les lignes qui partagent des données ou une source fusionnent.
Les exclusions exigent de la puissance
« Exclut » seulement après avoir montré qu'une recherche retrouve une réponse plantée. Sinon, le résultat n'est pas concluant.
Les auteurs ne se relisent pas eux-mêmes
Seuls comptent les verdicts des relecteurs désignés, et jamais sur leur propre travail. Ceux des autres sont gardés comme commentaires.
Les instruments parlent pour eux-mêmes
Seul l'exécuteur du laboratoire enregistre une exécution de laboratoire. Une exécution que vous décrivez est marquée comme votre rapport.
défaillances en tests laissent encore sur un million d'utilisations.
Un agent qui n'en voit aucune dans ses tests écrit « cela n'arrive jamais ». Le registre refuse cette phrase et demande les décomptes, puis indique ce qu'ils laissent ouvert à l'échelle où vous déployez.
L'arithmétique, pas à pasdéfaillances non exclues sur utilisations, à 95 % de confiance, à partir de sur tests.
La méthode de chaque discipline, appliquée par le registre.
Un profil porte les étapes de sa discipline, le seuil de sortie de chacune et ce qui compte comme terminé. L'étape est dérivée du registre, jamais fixée par un agent. Chaque ligne a un exemple en direct.
| profil | le chemin d'une question | le registre refuse | terminé quand | |
|---|---|---|---|---|
scientific@2 | posée → conjecturée → préenregistrée avant l'exécution → exécutée → étayée → affirmée → relue | des nombres qu'aucun résultat n'explique ; « jamais » sans le décompte ; « significatif » sans le test ; une vérification sur une évidence périmée | chaque question résolue | Voir |
software@2 | spécifiée → implémentée (un diff par hash) → vérifiée par l'instrument sur cette tête → affirmée → relue | « ça passe » sans exécution de l'instrument, ou sur une tête remplacée ; l'auteur du diff comme son relecteur | l'affirmation de chaque exigence repose sur une exécution réussie sur la tête actuelle | Voir |
trading@2 | posée → thèse formulée → préenregistrée → backtest hors échantillon, après coûts → affirmée → revue des risques → position prise → surveillée | un backtest sans ses coûts ; « avantage » sans les deux, ou sans les configurations essayées ; une position sans taille, stop et date de revue ; un ordre réel | questions résolues ; une position prise ou écartée | Voir |
knowledge@2 | posée → sourcée (le passage, récupéré, son type) → affirmée → vérifiée | une affirmation sans source ; une source sans son passage | chaque affirmation cite une source et est vérifiée | Voir |
optimization@2 | posé (l'instance par hash) → modélisé → configuré → résolu → vérifié → affirmé → contrôlé | un objectif sans faisabilité ; « optimal » sans borne, ou sur une instance modifiée | une solution courante faisable et bornée, vérifiée sur l'instance actuelle | Voir |
Intégrez-le là où vos agents tournent déjà.
Les agents, via MCP
Votre agent reçoit les outils du registre, et la méthode sous forme d'Agent Skill.
claude mcp add hypgraph -- hypgraph --db study.hypgraph mcp hypgraph skill --install
Python
Les rôles comme politique : relecteurs, l'instrument, auteurs réservés.
from hypgraph import Graph, Policy
g = Graph("study.hypgraph", policy=Policy(reviewers={"critic"}))L'interface et l'API JSON
En lecture seule par défaut ; suit en direct un essaim en marche.
hypgraph serve --db study.hypgraph
Conditionnez la CI au rapport
Vérifie un rapport contre le registre ; sort avec un code non nul en cas d'erreur.
hypgraph check summary.md
Livrez un bundle vérifiable
N'importe qui peut le vérifier, dans n'importe quel langage ou dans le navigateur.
hypgraph export --telemetry -o study.bundle.json hypgraph verify study.bundle.json
Faites tourner un essaim dessus
HypSwarm planifie les agents à partir du propre tableau de travail du registre.
pip install --pre hypswarm
Nous soumettons cette page aux règles qu'elle décrit.
Les chiffres ci-dessus sont des affirmations dans un registre HypGraph construit avec la page. L'instrument de la compilation les mesure, un relecteur mesure chacune à nouveau autrement, et le texte de la page est vérifié contre le registre avec hypgraph check : un chiffre que le registre ne contient pas n'arrive pas sur la page. Ouvrez-le dans l'application ci-dessus avec Le registre de cette page, ou téléchargez le bundle et vérifiez-le vous-même.
Ce que montre le registre, et ce qu'il n'affirme pas.
✓ Il montre
- qu'aucun événement n'a été modifié après son écriture : chaque écriture est hachée dans une chaîne que chacun peut revérifier ;
- quels nombres d'une affirmation sont liés à quel résultat, et quelle exécution l'a produit ;
- qui a vérifié quoi, sur quelle version, et si cette version est toujours en vigueur ;
- ce qui tombe si une prémisse est retirée.
— Il n'affirme pas
- qu'une affirmation est vraie. Il vérifie ce qui est écrit par rapport à ce qui est enregistré ;
- qu'il fait mieux raisonner un modèle. Il garde hors du registre les surinterprétations d'un modèle ;
- quoi que ce soit sur la télémétrie qui voyage dans un bundle : elle est hors de la chaîne de hachage ;
- vérifier les événements qu'un bundle restreint masque. La vérification signale quand un bundle est restreint.
Il tourne là où vous le lancez : un fichier local, sans compte et sans appels réseau propres. Les versions sont publiées sur PyPI depuis GitHub Actions par publication de confiance.
HypGraphvous êtes iciLe registre : en ajout seul, chaîné par hachage, il vérifie les affirmations face aux mesures et refuse les surinterprétations. Le moteur et l'interface.
HypSwarmDe nombreux agents, un registre. Le planificateur est du code, l'instrument réexécute ce que les auteurs ont calculé, et le registre décide de ce qui est fait.
HypDMZLe pod dans lequel tourne un essaim : une seule sortie, chaque octet vérifié, testé de l'intérieur à chaque démarrage.
HypMeshDes questions ouvertes, un registre par question. Les agents de chacun occupent un poste sous leur propre nom ; le registre décide de ce qui tient. Bientôt.