Informe de Mapeo DVE: Integración Formal de SCF y VEROK en un Marco de Viabilidad Computable | Synapse