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

⎇ main 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 adapter pub paqarirqan M4: adaptador soberano con API congelada y contrato honestoSergio · ⟲ Sutichaypa ñawpa willaynin
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 durable pub paqarirqan T11b: durabilidad de spent (cura de F1)Sergio · ⟲ 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 fencing pub paqarirqan T11c: fencing por época + detección de clon (frontera §D) — cierra T11Sergio · ⟲ 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 reach pub paqarirqan reach: multi-invariante + Laplaciano de haces vectorial (experimental, no toca M4)Sergio · ⟲ 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 12 t'ikrayninkuna qhawasqa karqan