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 11Markdown 1TOML 187 Definiciones

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

se miraron los últimos 5 cambios del archivo