gioser

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.

⎇ 67c1eb776f64dd43ab986286053d01f4fa8e7780 src/verdict.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
def SUPPORT_EPS nació T2: CRDTs GCounter/ResettableRegister + hito M1 de punta a puntaSergio · ⟲ Historia de la definición
struct Knot pub nació M0/T0: scaffold del crate sheafsyncSergio · ⟲ Historia de la definición
enum Verdict pub nació M0/T0: scaffold del crate sheafsyncSergio · ⟲ Historia de la definición
fn diagnose pub nació T2: CRDTs GCounter/ResettableRegister + hito M1 de punta a puntaSergio · ⟲ Historia de la definición
fn via_tarski pub nació T7: veredicto por difusión de Tarski y cierre de discrepanciasSergio · ⟲ Historia de la definición
fn fmt nació T2: CRDTs GCounter/ResettableRegister + hito M1 de punta a puntaSergio · ⟲ Historia de la definición
mod tests nació T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Historia de la definición
fn arbol_corre_libre nació T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Historia de la definición
fn dos_triangulos_reportan_dos_nudos nació T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Historia de la definición

se miraron los últimos 4 cambios del archivo