Define las reglas que siempre deben cumplirse

Aprobar el texto de ayer no debería aprobar silenciosamente la revisión de hoy.

Una regla sobre el estado

Una propiedad invariable de seguridad debe mantenerse en los estados y transiciones permitidos pertinentes. Defínela con precisión suficiente: quién puede hacer qué, sobre qué objeto y bajo qué condición.

Para publicar, decir “necesita aprobación” puede ser incompleto. La aprobación puede corresponder a una revisión concreta; editar cambia aquello que se aprueba. La propiedad debe mantenerse en tareas programadas, reintentos y acciones administrativas que alcancen el mismo estado protegido.

Registro proporcionado: el tablón vecinal

La editora ficticia exige aprobar el texto exacto antes de publicarlo. La revisión del diseño registra:

R7: revisada y aprobada.
R8: editada después; sin aprobación registrada.
Acción web: rechaza publicar R8 sin su aprobación.
Tarea programada: publica R8 utilizando el indicador de aprobación anterior del aviso.

Supón que los estados son correctos y no existe excepción aprobada. Publicar R8 incumple la propiedad. La comprobación web sigue siendo útil, pero no demuestra que todo el flujo respete la regla.

Escribe la propiedad y los criterios

Define: “Una revisión solo puede pasar a publicada con aprobación válida para esa revisión”. Pide identificar el punto fiable de decisión para cada transición de publicación.

Tu tabla debe cubrir una revisión aprobada, otra editada pendiente de aprobación y la tarea programada procesando ambas. La auditoría debe relacionar la revisión publicada con su aprobación pertinente, no solamente indicar que alguien pulsó un botón alguna vez.

Esta propiedad no garantiza la exactitud factual del texto aprobado. Aplicar la propiedad invariable preserva una relación definida entre la evidencia de revisión y el estado de publicación.