tawasuyu

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.

Rust 11Markdown 1TOML 187 Sutichaykuna

⎇ main src/invariant.rs Pi imata llamkarqan Qillqa

Sapa sutichay qhipa t'ikrayninwan, mana sapa siq'iwanchu: pi, hayk'aq, paqarirqanchu, ukhunpi t'ikrakurqanchu, silq'uyninpi t'ikrakurqanchu utaq huk sutiyuq karqanchu.

SutichaykunaQhipa t'ikrayPi
struct GlobalInvariant pub paqarirqan T9a: invariante global + certificado de escrowSergio · ⟲ Sutichaypa ñawpa willaynin
fn new pub silq'uyninpi t'ikrakurqan T9a: invariante global + certificado de escrowSergio · ⟲ Sutichaypa ñawpa willaynin
fn slack pub paqarirqan T9a: invariante global + certificado de escrowSergio · ⟲ Sutichaypa ñawpa willaynin
fn holds pub paqarirqan T9a: invariante global + certificado de escrowSergio · ⟲ Sutichaypa ñawpa willaynin
struct AccountConfig pub paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn new pub paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn seeds paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn reconcile pub paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn components paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn find paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn haz_verdict pub paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn haz_coordination pub paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn calm_syntactic pub paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn i_confluence_oracle pub paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn es_discrepancia_buena pub paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin
mod tests silq'uyninpi t'ikrakurqan T9a: invariante global + certificado de escrowSergio · ⟲ Sutichaypa ñawpa willaynin
fn discrepancia_buena_existe paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn sobregiro_coordina_y_localiza paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn t9_punto_ciego_del_detector_particionado paqarirqan T9a: invariante global + certificado de escrowSergio · ⟲ Sutichaypa ñawpa willaynin
fn la_caza_encuentra_muchas_discrepancias paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn instancia paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin

qillqap qhipa 2 t'ikrayninkuna qhawasqa karqan