Esta página es una traducción. La versión en inglés es la de referencia: English
Confía, pero verifica
Verifica un bundle.
Suelta un .bundle.json de hypgraph export. Tu navegador vuelve a calcular cada SHA-256 de la cadena y comprueba las filas frente a los eventos en ambos sentidos: cada fila la escribió un evento y coincide con él campo por campo, y la fila de cada evento está ahí. Nada sale de tu máquina.
Lo que esto demuestra — y lo que no
- Demuestra: que el hash de cada evento es el SHA-256 de la cadena exacta mostrada y que cada uno enlaza con el anterior; que cada nodo, versión, enlace, retirada, retractación y reserva del bundle lo escribió un evento y coincide con él campo por campo; y que no falta ninguna fila que escribiera un evento. Nada se editó, añadió ni quitó después de escribirse. Los hechos que el explorador muestra a su lado (qué nodos y enlaces, sus títulos, autores, horas, si están retirados) también se comprueban frente a esas filas.
- No cubre: la situación (estado de revisión, apoyo, riesgo, el resumen de una línea). Eso es lo que derivó el motor que lo exportó; vuelve a derivarlo a partir de las filas verificadas con
hypgraph verify --standing. Los registros escritos antes de la 0.7.13 no hasheaban algunos campos de fila en sus eventos (el motivo de un enlace, por ejemplo); el resultado los enumera como sin cobertura. - No se fía de la política propia del bundle (quiénes son el importador y los revisores): la cadena no la cubre, así que esta página usa el importador por defecto y avisa cuando el bundle nombra otro. Para comprobar bajo la política que declara quien lo publica, usa
hypgraph verify --policy policy.json(o--importer NAME). - No demuestra por sí solo: que el registro entero no se reconstruyera desde cero. Para eso, pega arriba el hash de la cabeza publicado en su momento (en un artículo, un prerregistro, una etiqueta del repositorio).
- Los bundles con alcance (una investigación sacada de un registro compartido) ocultan los eventos de fuera. Esos no se pueden comprobar, y el resultado lo dice: que queden fuera es palabra del bundle, y solo el registro completo frente a la cabeza publicada descarta un cambio escondido entre ellos. El propio alcance debe nombrar una investigación y el bundle contener solo sus nodos, para que ninguna afirmación se haga pasar por la investigación ni ningún registro entero por una de sus partes.