gioser

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

⎇ fc986d7cd7125c337a3117308bdde4bc03f1a5a7 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 gf2 pub paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ 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 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 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 3 t'ikrayninkuna qhawasqa karqan