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 Definiciones

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

se miraron los últimos 4 cambios del archivo