Hyphae es durabilidad opcional
Los sitios estáticos PliegoRS no requieren base de datos. Las aplicaciones que necesitan historia durable compartida pueden usar Hyphae mediante el protocolo v2 de pliego-hyphae. El crate define y verifica el límite cliente; no es la implementación del servicio Hyphae.
Verifica cada append
Un request de append vincula identidad del stream, eventos locales ordenados, identidad de idempotencia y cursor esperado. La respuesta sigue sin confianza hasta que su page attestation y cada firma de recibo resuelven mediante la misma política de autoridad aceptada.
Reproduce dentro de un snapshot fijo
El primer pull descubre un cursor terminal de snapshot. Cada continuación queda vinculada a ese head exacto; las páginas no pueden retroceder, bifurcarse en la misma posición, avanzar más allá del snapshot, cambiar completion ni omitir la attestation aunque no retornen eventos.
Latest(after) -> VerifiedPage(snapshot=S, next=A)
Exact(S, after=A) -> VerifiedPage(snapshot=S, next=S, complete=true)Consume estado verificado
La verificación retorna typestate consumible: las respuestas no verificadas no pueden exponer eventos admitidos de la aplicación y las páginas verificadas sólo pueden aplicarse contra el stream, cursor, snapshot y autoridad que las produjeron. La evidencia persistida debe reproducirse mediante los mismos checks.