| RETP-2026-093 | 2026-09-07 | bc3b22c9e9319e8f191390c8cfe9fa1577904d87 | 9b32edda21072b3d2a138d9e92d95febdbc21ac4 | 80aee0a48adb72710770adbfbe9f5d0d71585a6f | #78 | NodeId como CoupledSpec del grafo del horizonte; rango; unicidad de destino y de tipo de suceso; guardas estructurales | Los nueve casos causales no pertenecían al corpus compartido y por ello no ejercitaban WASI ni navegador | Migración de los nueve casos a tests/conformance/invalid; comprobador causal sobre las mismas fuentes; eliminación de duplicados; navegador alineado con 95 inválidos; DFL-012 y DFL-013 registradas | Conformidad 34164984055; R0-8 34164984130; R0 Rust 34164984049; R0 WASM 34164984231; 211/211 unitarias; corpus 14+95; causal 9/9; mutaciones 12/12; nativo WASI y navegador conformes | 10033851370 sha256:bab862e9254ee3b5ba2902f5e58ab433bcf8e6ed8493c034411dd8b8e8c78438; 10033855035 sha256:b4744a0e595aba79f71b824f8a164bda09a40dda27973127259d828ed0e6facb; 10033866342 sha256:b701aad62c25b5db3834860affb9df82d66e8a70cfc20c58b98c76fd5322ff33 | Bienformación local y cobertura multientorno; sin ejecución ni causalidad material | DFL-005; H06/H07; relación TransitionData-marcos; DFL-012 nombre cell_ref; DFL-013 independencia semántica | CANDIDATA_VERIFICADA_NO_PROMOVIDA |