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.
M0/T0: scaffold del crate sheafsync
1//! `oracle` — evaluador CRDT/CALM de referencia, independiente del haz (§8 M3).
2//!
3//! Para cada caso de prueba dice, por un camino independiente (monotonicidad de
4//! las operaciones + estructura del grafo), si es coordination-free. El test
5//! maestro de M3 comprueba que el veredicto del haz coincide con este.
6//!
7//! M0: solo la forma. La batería de ≥20 casos y la lógica llegan en T4.
8
9/// Predicción independiente del oráculo para una configuración.
10#[derive(Debug, Clone, Copy, PartialEq, Eq)]
11pub enum OracleVerdict {
12 /// El oráculo cree que la configuración es libre de coordinación.
13 CoordinationFree,
14 /// El oráculo cree que hace falta coordinar.
15 NeedsCoordination,
16}