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/lib.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
mod cell pub paqarirqan M0/T0: scaffold del crate sheafsyncSergio · ⟲ Sutichaypa ñawpa willaynin
mod cohomology pub paqarirqan M0/T0: scaffold del crate sheafsyncSergio · ⟲ Sutichaypa ñawpa willaynin
mod error pub paqarirqan M0/T0: scaffold del crate sheafsyncSergio · ⟲ Sutichaypa ñawpa willaynin
mod escrow pub paqarirqan T9a: invariante global + certificado de escrowSergio · ⟲ Sutichaypa ñawpa willaynin
mod gf2 pub paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
mod invariant pub paqarirqan T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Sutichaypa ñawpa willaynin
mod lattice pub paqarirqan T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Sutichaypa ñawpa willaynin
mod linalg pub paqarirqan M0/T0: scaffold del crate sheafsyncSergio · ⟲ Sutichaypa ñawpa willaynin
mod native pub paqarirqan T8a: encoding desde el orden nativo — mata la circularidad de T5-T7Sergio · ⟲ Sutichaypa ñawpa willaynin
mod nerve pub paqarirqan M0/T0: scaffold del crate sheafsyncSergio · ⟲ Sutichaypa ñawpa willaynin
mod oracle pub paqarirqan M0/T0: scaffold del crate sheafsyncSergio · ⟲ Sutichaypa ñawpa willaynin
mod sheaf pub paqarirqan M0/T0: scaffold del crate sheafsyncSergio · ⟲ Sutichaypa ñawpa willaynin
mod tarski pub paqarirqan T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Sutichaypa ñawpa willaynin
mod verdict pub paqarirqan M0/T0: scaffold del crate sheafsyncSergio · ⟲ Sutichaypa ñawpa willaynin
mod tests paqarirqan M0/T0: scaffold del crate sheafsyncSergio · ⟲ Sutichaypa ñawpa willaynin
fn scaffold_compila paqarirqan M0/T0: scaffold del crate sheafsyncSergio · ⟲ Sutichaypa ñawpa willaynin

qillqap qhipa 7 t'ikrayninkuna qhawasqa karqan