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.

Rust 24Markdown 15TOML 1358 Definitions

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

the last 4 changes of the file were examined