diff --git a/docs/renaser-integracion.md b/docs/renaser-integracion.md
index c465c4e..786bd56 100644
--- a/docs/renaser-integracion.md
+++ b/docs/renaser-integracion.md
@@ -79,9 +79,14 @@ compartido.** Al promover un crate nuevo, añadirlo al array `CORES` del script.
     verificación estructural de minga, o cambiar el SHA256 del protocolo
     `Card`). Lo único común —un newtype de hash de 32 bytes— no justifica
     tocar el kernel verificado.
-- **Paso 3 — pendiente, bloqueado.** Converger el ABI WASM/`Card`. Requiere
-  primero unificar `wasmi`: brahman usa `0.40`, renaser `1.0`.
 - **Paso 4 ✅** — el guardián `no_std` (`scripts/check-shared-cores.sh`).
+- **wasmi unificado ✅** — brahman y renaser corren ambos `wasmi 1.0`
+  (`arje-wasm` migrado de `0.40`). El ABI WASM del host es ahora la misma
+  versión en Linux y en bare-metal.
+- **Paso 3 — pendiente, ya desbloqueado.** Converger el ABI `Card`/WASM:
+  la matriz `sys_*` de capacidades de renaser y el contrato `Card` de
+  brahman aún son universos paralelos. Es trabajo de diseño (qué forma
+  toma una capacidad compartida), no un bump mecánico.
 
 Fase 8 de renaser (su propia hoja de ruta): el kernel usa `mirada-layout` para
 el compositor, con su framebuffer nativo.