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 14TOML 1358 Definitions

⎇ main src/oracle.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 OracleVerdict pub born M0/T0: scaffold del crate sheafsyncSergio · ⟲ History of the definition
struct Share pub born T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ History of the definition
fn monotona pub born T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ History of the definition
fn no_monotona pub born T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ History of the definition
struct Config pub born T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ History of the definition
fn new pub born T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ History of the definition
fn calm_syntactic pub was called oracle_verdict T8b: auditar y corregir el oráculo (monotonía de fusión, no de valor)Sergio · ⟲ History of the definition
fn oracle_verdict pub body changed T8b: auditar y corregir el oráculo (monotonía de fusión, no de valor)Sergio · ⟲ History of the definition
fn to_sheaf pub born T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ History of the definition
fn sheaf_verdict pub born T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ History of the definition
fn monotone_generations born T7: veredicto por difusión de Tarski y cierre de discrepanciasSergio · ⟲ History of the definition
fn find born T7: veredicto por difusión de Tarski y cierre de discrepanciasSergio · ⟲ History of the definition
fn tarski_verdict_labeled pub was called tarski_verdict T8a: encoding desde el orden nativo — mata la circularidad de T5-T7Sergio · ⟲ History of the definition
fn tarski_reconcile pub born T8a: encoding desde el orden nativo — mata la circularidad de T5-T7Sergio · ⟲ History of the definition
fn tarski_verdict pub body changed T8a: encoding desde el orden nativo — mata la circularidad de T5-T7Sergio · ⟲ History of the definition
fn casos_de_acuerdo pub born T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ History of the definition
fn casos_de_discrepancia pub born T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ History of the definition
mod tests signature changed T8b: auditar y corregir el oráculo (monotonía de fusión, no de valor)Sergio · ⟲ History of the definition
fn haz_lineal_coincide_con_calm_sintactico born T8b: auditar y corregir el oráculo (monotonía de fusión, no de valor)Sergio · ⟲ History of the definition
fn discrepancias_del_lineal_persisten body changed T8b: auditar y corregir el oráculo (monotonía de fusión, no de valor)Sergio · ⟲ History of the definition
fn tarski_labeled_coincide_con_calm_sintactico_es_circular born T8b: auditar y corregir el oráculo (monotonía de fusión, no de valor)Sergio · ⟲ History of the definition
fn t8b_oraculo_corregido_coincide_con_nativo born T8b: auditar y corregir el oráculo (monotonía de fusión, no de valor)Sergio · ⟲ History of the definition
fn t8a_el_orden_nativo_voltea_los_resets born T8a: encoding desde el orden nativo — mata la circularidad de T5-T7Sergio · ⟲ History of the definition
fn nativo_todo_crdt_puro_corre_libre born T8a: encoding desde el orden nativo — mata la circularidad de T5-T7Sergio · ⟲ History of the definition

the last 5 changes of the file were examined