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 Sutichaykuna

⎇ main src/oracle.rs Pi imata llamkarqan Qillqa

Sapa sutichay qhipa t'ikrayninwan, mana sapa siq'iwanchu: pi, hayk'aq, paqarirqanchu, ukhunpi t'ikrakurqanchu, silq'uyninpi t'ikrakurqanchu utaq huk sutiyuq karqanchu.

SutichaykunaQhipa t'ikrayPi
enum OracleVerdict pub paqarirqan M0/T0: scaffold del crate sheafsyncSergio · ⟲ Sutichaypa ñawpa willaynin
struct Share pub paqarirqan T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ Sutichaypa ñawpa willaynin
fn monotona pub paqarirqan T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ Sutichaypa ñawpa willaynin
fn no_monotona pub paqarirqan T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ Sutichaypa ñawpa willaynin
struct Config pub paqarirqan T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ Sutichaypa ñawpa willaynin
fn new pub paqarirqan T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ Sutichaypa ñawpa willaynin
fn calm_syntactic pub oracle_verdict sutiyuq karqan T8b: auditar y corregir el oráculo (monotonía de fusión, no de valor)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn oracle_verdict pub ukhunpi t'ikrakurqan T8b: auditar y corregir el oráculo (monotonía de fusión, no de valor)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn to_sheaf pub paqarirqan T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ Sutichaypa ñawpa willaynin
fn sheaf_verdict pub paqarirqan T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ Sutichaypa ñawpa willaynin
fn monotone_generations paqarirqan T7: veredicto por difusión de Tarski y cierre de discrepanciasSergio · ⟲ Sutichaypa ñawpa willaynin
fn find paqarirqan T7: veredicto por difusión de Tarski y cierre de discrepanciasSergio · ⟲ Sutichaypa ñawpa willaynin
fn tarski_verdict_labeled pub tarski_verdict sutiyuq karqan T8a: encoding desde el orden nativo — mata la circularidad de T5-T7Sergio · ⟲ Sutichaypa ñawpa willaynin
fn tarski_reconcile pub paqarirqan T8a: encoding desde el orden nativo — mata la circularidad de T5-T7Sergio · ⟲ Sutichaypa ñawpa willaynin
fn tarski_verdict pub ukhunpi t'ikrakurqan T8a: encoding desde el orden nativo — mata la circularidad de T5-T7Sergio · ⟲ Sutichaypa ñawpa willaynin
fn casos_de_acuerdo pub paqarirqan T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ Sutichaypa ñawpa willaynin
fn casos_de_discrepancia pub paqarirqan T4/M3: oráculo CRDT/CALM, batería de validación y DISCREPANCIESSergio · ⟲ Sutichaypa ñawpa willaynin
mod tests silq'uyninpi t'ikrakurqan T8b: auditar y corregir el oráculo (monotonía de fusión, no de valor)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn haz_lineal_coincide_con_calm_sintactico paqarirqan T8b: auditar y corregir el oráculo (monotonía de fusión, no de valor)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn discrepancias_del_lineal_persisten ukhunpi t'ikrakurqan T8b: auditar y corregir el oráculo (monotonía de fusión, no de valor)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn tarski_labeled_coincide_con_calm_sintactico_es_circular paqarirqan T8b: auditar y corregir el oráculo (monotonía de fusión, no de valor)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn t8b_oraculo_corregido_coincide_con_nativo paqarirqan T8b: auditar y corregir el oráculo (monotonía de fusión, no de valor)Sergio · ⟲ Sutichaypa ñawpa willaynin
fn t8a_el_orden_nativo_voltea_los_resets paqarirqan T8a: encoding desde el orden nativo — mata la circularidad de T5-T7Sergio · ⟲ Sutichaypa ñawpa willaynin
fn nativo_todo_crdt_puro_corre_libre paqarirqan T8a: encoding desde el orden nativo — mata la circularidad de T5-T7Sergio · ⟲ Sutichaypa ñawpa willaynin

qillqap qhipa 5 t'ikrayninkuna qhawasqa karqan