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 corrida_a_corre_libre | ukhunpi t'ikrakurqan T3: backend GF(2) exacto + migración a aritmética sin epsilon | Sergio · | ⟲ Sutichaypa ñawpa willaynin |
| fn corrida_b_coordina_con_nudo_localizado | ukhunpi t'ikrakurqan T3: backend GF(2) exacto + migración a aritmética sin epsilon | Sergio · | ⟲ Sutichaypa ñawpa willaynin |
| fn m1_coincide_en_f64_y_gf2 | paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilon | Sergio · | ⟲ Sutichaypa ñawpa willaynin |
qillqap qhipa 2 t'ikrayninkuna qhawasqa karqan