Actual
Una ley de escenario inmutable puede respaldar muchas ejecuciones independientes. Una RunKey compartida tiene una historia aceptada local. Las clasificaciones actuales son NotReady, ReadyUnopened, OpenIncomplete y Completed; completado es un subconjunto de abierto. La preparación deriva del progreso aceptado de Xarxa. La apertura de registros inicia el trabajo pero no la propiedad. Los intentos semánticos Falsos/Desconocidos siguen siendo atribuidos y reintentables; Verdadero propone una finalización.
Las operaciones actuales utilizan cabezas exactas e identidades de operación semántica nominal. DG acuña un RunId opaco no reutilizable a partir de una solicitud de creación idempotente. La derivación de candidatos puros puede ejecutarse de manera concurrente; solo la recepción/resolución de cabezas y la aceptación atómica de registros/estado/recibo/intención se serializan. Un candidato obsoleto no cambia nada y debe ser re-derivado bajo una nueva identidad de operación.
La memoria y SQLite implementan la misma autoridad de ejecución aceptada neutral al backend. Ambos reproducen los dieciséis trazas genéricas de protocolo PF-03; SQLite solo reproduce las dos trazas de falla/reinicio. La materialización actual está limitada, mientras que los registros aceptados, recibos, intentos, envíos e intenciones son familias inmutables indexadas separadas. El estado y la mutación no reproducen la historia retenida.
Brechas restantes
PF-05 ahora posee la exportación coherente runpack-v6 implementada y el cierre de reclamos de material suministrado independiente. La autenticidad/actualidad externa, la resistencia a la reversión coherente, despacho, implementación y reclamos de liberación permanecen separados. PF-06A especifica despacho/recuperación, PF-06B implementa el tiempo de ejecución local, y PF-06C califica su modelo/backend y correspondencia de reclamos fuera de línea. PF-06D y PF-06E poseen por separado el contrato del adaptador de plataforma externa y la integración del producto. La detección de reversión coherente requiere un ancla externa, y ningún backend local establece propiedad distribuida, failover, fusión activa-activa o calificación de flota.