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.

⎇ main src/lib.rs Quién tocó qué Código

Cada definición con el último cambio que la dejó así, no cada línea: quién, cuándo, y si nació, cambió por dentro, cambió de firma o se llamaba de otra forma.

DefinicionesÚltimo cambioQuién
mod adapter pub nació M4: adaptador soberano con API congelada y contrato honestoSergio · ⟲ Historia de la definición
mod cell pub nació M0/T0: scaffold del crate sheafsyncSergio · ⟲ Historia de la definición
mod cohomology pub nació M0/T0: scaffold del crate sheafsyncSergio · ⟲ Historia de la definición
mod durable pub nació T11b: durabilidad de spent (cura de F1)Sergio · ⟲ Historia de la definición
mod error pub nació M0/T0: scaffold del crate sheafsyncSergio · ⟲ Historia de la definición
mod escrow pub nació T9a: invariante global + certificado de escrowSergio · ⟲ Historia de la definición
mod fencing pub nació T11c: fencing por época + detección de clon (frontera §D) — cierra T11Sergio · ⟲ Historia de la definición
mod gf2 pub nació T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Historia de la definición
mod invariant pub nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición
mod lattice pub nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
mod linalg pub nació M0/T0: scaffold del crate sheafsyncSergio · ⟲ Historia de la definición
mod native pub nació T8a: encoding desde el orden nativo — mata la circularidad de T5-T7Sergio · ⟲ Historia de la definición
mod nerve pub nació M0/T0: scaffold del crate sheafsyncSergio · ⟲ Historia de la definición
mod oracle pub nació M0/T0: scaffold del crate sheafsyncSergio · ⟲ Historia de la definición
mod reach pub nació reach: multi-invariante + Laplaciano de haces vectorial (experimental, no toca M4)Sergio · ⟲ Historia de la definición
mod router pub nació T9b: ruteo de presupuesto por Laplaciano (BudgetRouter)Sergio · ⟲ Historia de la definición
mod sheaf pub nació M0/T0: scaffold del crate sheafsyncSergio · ⟲ Historia de la definición
mod tarski pub nació T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Historia de la definición
mod verdict pub nació M0/T0: scaffold del crate sheafsyncSergio · ⟲ Historia de la definición
mod tests nació M0/T0: scaffold del crate sheafsyncSergio · ⟲ Historia de la definición
fn scaffold_compila nació M0/T0: scaffold del crate sheafsyncSergio · ⟲ Historia de la definición

se miraron los últimos 12 cambios del archivo