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.

⎇ 580988cdd9f7570a799f94f44430c89e57b755ab 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 router pub paqarirqan T9b: ruteo de presupuesto por Laplaciano (BudgetRouter)Sergio · ⟲ 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 8 t'ikrayninkuna qhawasqa karqan