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/escrow.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
enum SpendResult pub born T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
struct Budget pub born T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
fn new pub born T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
fn split pub born T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
fn is_valid_split pub born T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
fn remaining pub born T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
fn try_spend pub born T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
fn value_after pub born T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
struct EscrowState pub born T10a: presupuesto con procedencia (transferencia CRDT)Sergio · ⟲ History of the definition
fn new pub signature changed T10a: presupuesto con procedencia (transferencia CRDT)Sergio · ⟲ History of the definition
fn replicas pub born T10a: presupuesto con procedencia (transferencia CRDT)Sergio · ⟲ History of the definition
fn avail pub born T10a: presupuesto con procedencia (transferencia CRDT)Sergio · ⟲ History of the definition
fn total_avail pub born T10a: presupuesto con procedencia (transferencia CRDT)Sergio · ⟲ History of the definition
fn sum_avail pub born T10a: presupuesto con procedencia (transferencia CRDT)Sergio · ⟲ History of the definition
fn grant pub born T10a: presupuesto con procedencia (transferencia CRDT)Sergio · ⟲ History of the definition
fn spend pub born T10a: presupuesto con procedencia (transferencia CRDT)Sergio · ⟲ History of the definition
fn merge pub born T10a: presupuesto con procedencia (transferencia CRDT)Sergio · ⟲ History of the definition
struct Identity pub born T11a: réplica por dispositivo (cura de F2)Sergio · ⟲ History of the definition
fn new pub signature changed T11a: réplica por dispositivo (cura de F2)Sergio · ⟲ History of the definition
fn total_avail pub signature changed T11a: réplica por dispositivo (cura de F2)Sergio · ⟲ History of the definition
fn value pub born T11a: réplica por dispositivo (cura de F2)Sergio · ⟲ History of the definition
fn invariant_holds pub born T11a: réplica por dispositivo (cura de F2)Sergio · ⟲ History of the definition
mod tests signature changed T11a: réplica por dispositivo (cura de F2)Sergio · ⟲ History of the definition
fn t9_particionado_60_es_bloqueado_no_libre born T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
fn gasto_dentro_de_presupuesto_es_local born T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
fn split_valido born T9a: invariante global + certificado de escrowSergio · ⟲ History of the definition
fn grant_guardado_previene_la_fabricacion born T10a: presupuesto con procedencia (transferencia CRDT)Sergio · ⟲ History of the definition
fn crash_a_mitad_de_transferencia_es_seguro born T10a: presupuesto con procedencia (transferencia CRDT)Sergio · ⟲ History of the definition
fn t11a_dos_dispositivos_gastan_sin_pisarse born T11a: réplica por dispositivo (cura de F2)Sergio · ⟲ History of the definition
fn t11a_rebalanceo_entre_dispositivos_conserva born T11a: réplica por dispositivo (cura de F2)Sergio · ⟲ History of the definition
fn t11a_identidades_disjuntas_aisladas born T11a: réplica por dispositivo (cura de F2)Sergio · ⟲ History of the definition
fn escrow_st born T10a: presupuesto con procedencia (transferencia CRDT)Sergio · ⟲ History of the definition
fn par_de_escrow born T10a: presupuesto con procedencia (transferencia CRDT)Sergio · ⟲ History of the definition
fn merge_all born T10c: certificado dinámico (el teorema) — cierra T10Sergio · ⟲ History of the definition
fn escenario born T10c: certificado dinámico (el teorema) — cierra T10Sergio · ⟲ History of the definition

the last 4 changes of the file were examined