Actual
Una llei d’escenari immutable pot donar suport a moltes execucions independents. Una RunKey compartida té una història local acceptada. Les classificacions actuals són NotReady, ReadyUnopened, OpenIncomplete i Completed; completat és un subconjunt de obert. La preparació deriva del progrés acceptat de Xarxa. Obrir registres treballa començar però no la propietat. Els intents semàntics falsos/desconeguts romanen atribuïts i reintentables; Verd proposa una completació.
Les operacions actuals utilitzen caps exactes i identitats d’operació semàntica nominal. DG crea un RunId opac no reutilitzable a partir d’una sol·licitud de creació idempotent. La derivació de candidats pura pot executar-se de manera concurrent; només la resolució de rebut/cap i l’acceptació atòmica de registre/estat/rebut/intenció es serialitzen. Un candidat obsolet no canvia res i ha de ser re-derivat sota una nova identitat d’operació.
La memòria i SQLite implementen la mateixa autoritat d’execució acceptada neutral respecte al backend. Ambdós reprodueixen les setze traces genèriques del protocol PF-03; SQLite només reprodueix les dues traces de fallada/reinici. La materialització actual està limitada, mentre que els registres acceptats, rebut, intents, presentacions i intencions són famílies immutables indexades separades. L’estat i la mutació no reprodueixen la història retinguda.
Gaps restants
PF-05 ara posseeix l’exportació coherent runpack-v6 implementada i el tancament de reclamació de material subministrat independent. L’autenticitat/actualitat externa, la resistència coherent a la reversió, l’enviament, el desplegament i les reclamacions de llançament romanen separades. PF-06A especifica l’enviament/recuperació, PF-06B implementa el temps d’execució local, i PF-06C qualifica la seva correspondència de model/backend i reclamació fora de línia. PF-06D i PF-06E posseeixen per separat el contracte d’adaptador de plataforma externa i la integració del producte. La detecció coherent de reversió requereix un ancoratge extern, i cap backend local estableix propietat distribuïda, failover, fusió activa-activa, o qualificació de flota.