//! `oracle` — evaluador CRDT/CALM de referencia, independiente del haz (§8 M3).
//!
//! Para cada caso de prueba dice, por un camino independiente (monotonicidad de
//! las operaciones + estructura del grafo), si es coordination-free. El test
//! maestro de M3 comprueba que el veredicto del haz coincide con este.
//!
//! M0: solo la forma. La batería de ≥20 casos y la lógica llegan en T4.

/// Predicción independiente del oráculo para una configuración.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum OracleVerdict {
    /// El oráculo cree que la configuración es libre de coordinación.
    CoordinationFree,
    /// El oráculo cree que hace falta coordinar.
    NeedsCoordination,
}