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 24Markdown 15TOML 1358 Definitions

⎇ main src/invariant.rs Who touched what Code

Each definition with the last change that left it this way, not each line: who, when, and whether it was born, changed inside, changed signature or went by another name.

DefinitionsLast changeWho
struct GlobalInvariant pub born T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
fn new pub signature changed T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
fn slack pub born T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
fn holds pub born T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
struct AccountConfig pub born T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ History of the definition
fn new pub born T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ History of the definition
fn seeds born T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ History of the definition
fn reconcile pub born T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ History of the definition
fn components born T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ History of the definition
fn find born T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ History of the definition
fn haz_verdict pub born T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ History of the definition
fn haz_coordination pub born T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ History of the definition
fn calm_syntactic pub born T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ History of the definition
fn i_confluence_oracle pub born T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ History of the definition
fn es_discrepancia_buena pub born T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ History of the definition
mod tests signature changed T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
fn discrepancia_buena_existe born T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ History of the definition
fn sobregiro_coordina_y_localiza born T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ History of the definition
fn t9_punto_ciego_del_detector_particionado born T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
fn la_caza_encuentra_muchas_discrepancias born T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ History of the definition
fn instancia born T8c: invariante, I-confluence y la discrepancia buena (versión fuerte)Sergio · ⟲ History of the definition

the last 2 changes of the file were examined