Motor de datos / Rust / Verificación offline

Hyphae mark

Los datos deberían recordar cómo llegaron a ser verdad.

Hyphae es un motor de datos autónomo, integrable y verificable escrito en Rust.

v0.2.0Publicado el 21 de julio de 2026Verificado 2026-07-28
Estratos minerales translúcidos atravesados por líneas testigo color ámbar.
La versión pública verificada de Hyphae es 0.2.0.

01 / TESIS

El almacenamiento no basta cuando el resultado debe defenderse.

Hyphae conserva el rastro que conecta una escritura con el estado reconstruido, la consulta que lo leyó y la prueba que otra máquina puede verificar sin confiar en el proceso original.

02 / SISTEMA

Del evento a la prueba.

Una cadena legible, con autoridad definida en cada transición.

01

Escribir

Cada mutación entra en un registro append-only con checksum y cadena de digest.

02

Reconstruir

Los índices son derivados y reconstruibles; el registro durable conserva la autoridad.

03

Consultar

Filtros, orden, cursores y agregaciones ejecutan con límites explícitos y sin resultados parciales.

04

Probar

El resultado se vincula a un snapshot, un ancla fijada por el llamador y una reejecución offline.

03 / CAPACIDADES

Autonomía que puede inspeccionarse.

01

Un núcleo local

Hyphae ejecuta localmente su almacenamiento central, consulta determinista, recuperación y verificación como un binario nativo con un directorio de datos.

02

Consulta determinista

Las mismas entradas, snapshot y límites producen una respuesta que puede volver a ejecutarse y compararse.

03

Pruebas que viajan

Hyphae puede emitir pruebas portátiles de resultado que vinculan una consulta determinista con un testigo de snapshot y un ancla fijada por el llamador para reejecución offline.

04

Superficies sin rehacer el motor

Rust, TypeScript, Python, CLI, MCP y una API OpenAPI /v1 rodean el mismo límite de producto.

04 / OPERAR

Crear, consultar, demostrar.

El flujo esencial no necesita una nube, una base externa ni un modelo de embeddings.

hyphae init ./ledger
hyphae put --collection decisions --json decision.json
hyphae query --collection decisions --filter 'status=accepted' --proof result.hproof
hyphae verify result.hproof --offline

05 / LÍMITE

Un motor preciso, no una promesa total.

Hyphae mantiene una frontera deliberadamente estrecha para que sus garantías sigan siendo legibles.

  • No es Mycelium ni un runtime cognitivo.
  • No es un SaaS hospedado, base SQL ni servicio de embeddings.
  • No incluye clustering, replicación, multitenancy ni control plane.
  • TLS, cifrado en reposo y operación distribuida pertenecen al integrador.

06 / LANZAMIENTO

Hyphae 0.2.0

La versión pública verificada de Hyphae es 0.2.0.

Continuar hacia PliegoRS