From 4c3b02c337554504ede1a188bddc2291ff0697d9 Mon Sep 17 00:00:00 2001 From: sergio Date: Fri, 22 May 2026 14:53:12 +0000 Subject: [PATCH] =?UTF-8?q?docs(renaser):=20wasmi=20unificado=20=E2=80=94?= =?UTF-8?q?=20actualiza=20el=20estado=20del=20plan?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 4.7 --- docs/renaser-integracion.md | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) 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.