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 24Markdown 15TOML 1358 Sutichaykuna

⎇ 89c62aa71132362861e3dfbf35826482ea331ee5 src/verdict.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
def SUPPORT_EPS paqarirqan T2: CRDTs GCounter/ResettableRegister + hito M1 de punta a puntaSergio · ⟲ Sutichaypa ñawpa willaynin
struct Knot pub paqarirqan M0/T0: scaffold del crate sheafsyncSergio · ⟲ Sutichaypa ñawpa willaynin
enum Verdict pub paqarirqan M0/T0: scaffold del crate sheafsyncSergio · ⟲ Sutichaypa ñawpa willaynin
fn diagnose pub paqarirqan T2: CRDTs GCounter/ResettableRegister + hito M1 de punta a puntaSergio · ⟲ Sutichaypa ñawpa willaynin
fn via_tarski pub paqarirqan T7: veredicto por difusión de Tarski y cierre de discrepanciasSergio · ⟲ Sutichaypa ñawpa willaynin
fn via_escrow pub paqarirqan T9a: invariante global + certificado de escrowSergio · ⟲ Sutichaypa ñawpa willaynin
fn fmt paqarirqan T2: CRDTs GCounter/ResettableRegister + hito M1 de punta a puntaSergio · ⟲ Sutichaypa ñawpa willaynin
mod tests paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn arbol_corre_libre paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn dos_triangulos_reportan_dos_nudos paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin

qillqap qhipa 5 t'ikrayninkuna qhawasqa karqan