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 11Markdown 1TOML 187 Definiciones

⎇ main src/invariant.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
struct GlobalInvariant pub nació T9a: invariante global + certificado de escrowSergio · ⟲ Historia de la definición
fn new pub cambió de firma T9a: invariante global + certificado de escrowSergio · ⟲ Historia de la definición
fn slack pub nació T9a: invariante global + certificado de escrowSergio · ⟲ Historia de la definición
fn holds pub nació T9a: invariante global + certificado de escrowSergio · ⟲ Historia de la definición
struct AccountConfig pub nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición
fn new pub nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición
fn seeds nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición
fn reconcile pub nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición
fn components nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición
fn find nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición
fn haz_verdict pub nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición
fn haz_coordination pub nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición
fn calm_syntactic pub nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición
fn i_confluence_oracle pub nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición
fn es_discrepancia_buena pub nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición
mod tests cambió de firma T9a: invariante global + certificado de escrowSergio · ⟲ Historia de la definición
fn discrepancia_buena_existe nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición
fn sobregiro_coordina_y_localiza nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición
fn t9_punto_ciego_del_detector_particionado nació T9a: invariante global + certificado de escrowSergio · ⟲ Historia de la definición
fn la_caza_encuentra_muchas_discrepancias nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición
fn instancia nació T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ Historia de la definición

se miraron los últimos 2 cambios del archivo