hifas · los hilos con que crece un hongo · sheafsync
hifas · the threads a fungus grows with · sheafsync
Decide, con demostración y no a ojo, cuándo un conjunto de copias puede trabajar sin coordinarse — y cuando la respuesta es que sí dentro de ciertos límites, entrega el mecanismo que los sostiene.
Decides, with a proof rather than by eye, when a set of replicas can work without coordinating — and when the answer is yes within limits, it hands over the mechanism that holds them.
01 · la pregunta01 · the question
Dos personas con la misma aplicación abierta y sin red entre ellas van a hacer cambios. Cuando la red vuelve, alguien tiene que decidir si los dos cambios pueden convivir. La respuesta corriente es coordinar antes —pedir permiso a un servidor, tomar un candado— y eso te deja sin trabajar cuando la red no está.
Two people with the same application open and no network between them are going to make changes. When the network comes back, somebody has to decide whether both changes can coexist. The usual answer is to coordinate first — ask a server, take a lock — and that leaves you unable to work when the network is gone.
hifas contesta la pregunta anterior: ¿hacía falta coordinar? Para muchos invariantes la respuesta es que no, y se puede demostrar. Para los que sí, hifas entrega un certificado de escrow: cada copia sabe cuánto puede gastar sola sin romper el invariante común, y mientras se mantenga adentro de su parte no necesita hablar con nadie.
hifas answers the question before that one: was coordination needed at all? For many invariants the answer is no, and it can be proved. For the ones that do need it, hifas hands over an escrow certificate: each replica knows how much it can spend alone without breaking the shared invariant, and while it stays inside its share it never needs to talk to anyone.
02 · el cuaderno02 · the notebook
El proyecto nació como una apuesta topológica: modelar el estado distribuido como un haz celular y usar su cohomología para detectar obstrucciones a la consistencia. La apuesta se puso a prueba con honestidad y el resultado fue humillante y valioso a la vez: la maquinaria de haces casi nunca fue lo que sostuvo la garantía. El valor real vino de implementar bien el trabajo previo del área y de nombrar con precisión las fronteras.
The project started as a topological bet: model distributed state as a cellular sheaf and use its cohomology to detect obstructions to consistency. The bet was tested honestly and the result was humbling and valuable at once: the sheaf machinery was almost never what held the guarantee. The real value came from implementing the field's prior art properly and from naming the borders precisely.
| FasePhase | PrometíaPromised | Terminó siendoTurned out to be |
|---|---|---|
| MVP | detectar coordinación por cohomologíadetect coordination via cohomology | medía topología; falso positivo en ciclosmeasured topology; false positive on cycles |
| RetículosLattices | cerrar la brechaclose the gap | circular — el encoding leía la etiquetacircular — the encoding read the label |
| I-confluence | superar a CALMbeat CALM | detección, no evitación; punto ciegodetection, not avoidance; blind spot |
| Escrow | evitación realreal avoidance | certificado sobre el politopo, ruteo por el grafocertificate over the polytope, routing on the graph |
| Escrow dinámicoDynamic escrow | seguro en una fotosafe on a snapshot | seguro bajo concurrencia, partición y caídasafe under concurrency, partition and crash |
| Fuente monótonaMonotone source | seguro sin mássafe, full stop | seguro módulo un supuesto físico nombradosafe modulo one named physical assumption |
| AdaptadorAdapter | — | API congelada; rehúsa si no hay durabilidadfrozen API; refuses without durability |
Un cuaderno de laboratorio confiable vale más que un resultado fuerte reclamado de más. A trustworthy lab notebook is worth more than a strong result claimed too loudly.
Cada reclamo que hubo que retirar está escrito en los documentos de diseño, con su fecha y su motivo. Se conserva a propósito.
Every claim that had to be withdrawn is written in the design documents, with its date and its reason. It is kept on purpose.
03 · dónde termina03 · where it ends
Seguridad sin coordinación, módulo un supuesto físico nombrado: cada celda de presupuesto tiene un único escritor durable. Bajo ese supuesto, el certificado aplica sin coordinar. Si se rompe —una copia clonada—, el daño queda acotado a una celda por clon no detectado, y se detecta al reconectar. Nunca silencioso ni ilimitado. Coordination-free safety, modulo one named physical assumption: each budget cell has a single durable writer. Under that assumption the certificate applies with no coordination. If it is broken — a cloned replica — the damage is bounded to one cell per undetected clone, and it is detected on reconnect. Never silent, never unbounded.
clippy limpio.89 tests — unit, property and integration — and a clean clippy.