tawasuyu/hifas
Motor en Rust para decidir, con demostración y no a ojo, cuándo un conjunto de réplicas local-first puede operar sin coordinación y cuándo no — y, cuando la respuesta es "sí, dentro de límites", proveer el mecanismo que lo garantiza.
Sapa sutichay qhipa t'ikrayninwan, mana sapa siq'iwanchu: pi, hayk'aq, paqarirqanchu, ukhunpi t'ikrakurqanchu, silq'uyninpi t'ikrakurqanchu utaq huk sutiyuq karqanchu.
| Sutichaykuna | Qhipa t'ikray | Pi | |
|---|---|---|---|
| fn main | ukhunpi t'ikrakurqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte) | Sergio · | ⟲ Sutichaypa ñawpa willaynin |
| fn veredicto | paqarirqan T2: CRDTs GCounter/ResettableRegister + hito M1 de punta a punta | Sergio · | ⟲ Sutichaypa ñawpa willaynin |
| fn corrida_a | paqarirqan T2: CRDTs GCounter/ResettableRegister + hito M1 de punta a punta | Sergio · | ⟲ Sutichaypa ñawpa willaynin |
| fn corrida_b | paqarirqan T2: CRDTs GCounter/ResettableRegister + hito M1 de punta a punta | Sergio · | ⟲ Sutichaypa ñawpa willaynin |
| fn contraste_tarski | paqarirqan T7: veredicto por difusión de Tarski y cierre de discrepancias | Sergio · | ⟲ Sutichaypa ñawpa willaynin |
| fn contraste_invariante | paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte) | Sergio · | ⟲ Sutichaypa ñawpa willaynin |
qillqap qhipa 4 t'ikrayninkuna qhawasqa karqan