La durabilidad preserva la información operativa aceptada frente a interrupciones del proceso. La recuperación continúa a partir de la información preservada sin requerir que la operación fiscal subyacente sea ejecutada nuevamente.
Límite de Durabilidad
La información operativa adquiere relevancia para la recuperación una vez que ha sido aceptada en el estado durable del runtime.
La durabilidad preserva la información necesaria para continuar el procesamiento operativo después de la terminación de un proceso, un reinicio o la pérdida del contexto transitorio de ejecución. No modifica el estado fiscal del documento subyacente.
Información Preservada
| Información | Propósito para la recuperación |
|---|---|
| Identidad de la operación | Restablece la operación a la que pertenece la información preservada |
| Referencia del sujeto | Mantiene la asociación con el sujeto operativo correspondiente |
| Evidencia observada | Preserva la información ya establecida mediante observación |
| Referencia externa confirmada | Conserva una referencia externa cuando esta ha sido establecida |
| Condición operativa conocida | Representa la última condición respaldada por la información preservada |
| Condición no resuelta | Preserva el hecho de que la información disponible todavía no es suficiente para establecer una conclusión |
| Contexto de contrato/versión | Mantiene el contexto de interpretación aplicable a la información preservada |
El contrato de durabilidad especifica la información que debe permanecer recuperable, no el mecanismo interno de almacenamiento utilizado para preservarla.
Semántica de Recuperación
La recuperación reconstruye la continuidad operativa a partir de información durable después de una interrupción.
La recuperación no implica la reejecución de la operación fiscal subyacente. La evidencia preservada y las referencias confirmadas continúan siendo la base para determinar qué procesamiento operativo puede continuar de forma segura.
Cuando la información preservada es incompleta, la recuperación conserva esa condición en lugar de sustituirla por un resultado supuesto.
Invariantes de Recuperación
| Invariante | Garantía observable |
|---|---|
| Identidad preservada | La información recuperada permanece asociada con la misma operación |
| Continuidad de evidencia | La evidencia aceptada antes de la interrupción permanece disponible para el procesamiento posterior |
| Continuidad de referencia externa | Una referencia externa confirmada no se descarta durante la recuperación |
| Sin finalización inferida | La recuperación no convierte evidencia incompleta en un resultado fiscal finalizado |
| Sin requisito de reejecución fiscal | Restablecer la continuidad operativa no requiere emitir nuevamente la operación fiscal |
| Continuación segura ante repetición | La recuperación puede continuar el procesamiento sin implicar la repetición de efectos fiscales externos |
La continuación segura ante repetición se especifica con mayor detalle en el capítulo 10.
Información Incompleta
La recuperación solo puede restaurar información que haya sido establecida de forma durable.
Si la evidencia preservada no establece la condición final de una operación, la representación recuperada permanece sin resolver. Evidencia posterior o una reconciliación pueden establecer información adicional, pero la recuperación por sí misma no infiere el resultado faltante.
Relación con la Idempotencia
La durabilidad determina qué información sobrevive a una interrupción. La idempotencia gobierna las garantías aplicables cuando el procesamiento se reanuda o cuando se vuelve a encontrar información observada previamente.
Ambas propiedades son complementarias: la información durable proporciona continuidad; el procesamiento idempotente evita que esa continuidad se convierta en repetición no intencionada.
Documentación Relacionada
- 08. Observación del Runtime — evidencia operativa, observación e información incompleta.
- 10. Idempotencia y Garantías de Procesamiento — procesamiento seguro ante repetición y garantías sobre efectos.
- 11. Modelo de Fallas y Aislamiento — interrupciones, límites de fallo y aislamiento operativo.
- 12. Validación en Producción — validación en producción del comportamiento de durabilidad y recuperación.