Estados de un Asunto en RELUA: Máquina de Estados Finita y Transiciones
Un Asunto nunca tiene un estado ambiguo. RELUA funciona como una Máquina de Estados Finita (FSM) donde cada transición obedece a eventos verificables y reglas de neutralidad entre partes.
Los 4 Estados Fundamentales
| Estado | Condición de Entrada | Qué Significa | Siguiente Paso Válido |
|---|---|---|---|
| OPEN (Abierto) | El asunto ha sido creado y está en proceso de definición o recopilación de acuerdos iniciales. | Evento génesis MATTER_CREATED o claims pendientes de validación. | |
| COMMITTED (Consensuado) | Todas las afirmaciones activas han sido validadas por las partes involucradas. Existe consenso formal. | Evento CLAIM_COMMITTED emitido por la contraparte según la regla de neutralidad. | |
| DISPUTED (En Disputa) | Existe una discrepancia, objeción o desacuerdo abierto sobre alguna afirmación o entrega técnica. | Evento CLAIM_DISPUTED emitido por cualquiera de las partes. | |
| CLOSED (Cerrado) | El objetivo del asunto concluyó definitivamente (ej. liquidación total del préstamo o recepción de obra). | Evento MATTER_CLOSED con balance final y firmas de conformidad. |
La Regla de Neutralidad Bilateral
El Núcleo de la Confianza:
Si un asunto cuenta con múltiples partes, el autor de una afirmación NO puede auto-consolidarla unilateralmente. Si el Contratista dice “Obra finalizada”, el estado no pasa a COMMITTED hasta que el Cliente emita su validación o firma. Esto evita que una parte imponga su versión de los hechos sobre la otra.
Cómo se Resuelve una Disputa (DISPUTED)
A diferencia de un chat donde una discusión se convierte en un bucle interminable de mensajes, en RELUA una disputa tiene un camino estructurado:
- La parte que objeta emite un evento
CLAIM_DISPUTEDdetallando la razón técnica o material (ej. “Falta instalar la grifería del segundo piso”). - La contraparte subsana el problema aportando un nuevo evento con la evidencia corregida.
- La parte que objetó valida la subsanación mediante
commit_claim. - El asunto regresa automáticamente de
DISPUTEDaCOMMITTED.