docs(renaser): Fase 7a verificada en QEMU — el userspace nace del grafo

Captura headless por el monitor de QEMU (screendump) de los dos caminos
del Manifiesto de Génesis:

- Disco virgen: sembrar_genesis() puebla el grafo y ancla el manifiesto;
  consola imprime «genesis sembrada» + «5 apps nacidas del grafo».
- Disco ya sembrado: cargar() lee el manifiesto del ancla del superbloque
  sin resembrar; «grafo montado :: 6 objetos :: raíz presente», la
  cronista pinta su segunda celda (la cuenta de arranques perdura).

Pantalla idéntica a la Fase 6.2 en ambos casos. CHANGELOG: la sección
«Pendiente de verificación» de la 7a pasa a «Verificado».

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
This commit is contained in:
sergio
2026-05-22 17:02:37 +00:00
parent 36d6645e7f
commit 277b2ab8d2
+14 -5
View File
@@ -514,8 +514,17 @@ un Manifiesto de Génesis que también vive en el grafo.
`manifiesto.rs` (`include_bytes!`) como semilla. La Fase 7b lo moverá al
constructor de imagen `boot` y el `include_bytes!` morirá del todo.
### Pendiente de verificación
- QEMU (la corre el operador): la pantalla debe verse idéntica a la Fase 6.2
—cinco apps en sus regiones—, más una línea de consola «manifiesto :: …».
El primer arranque reformatea el disco v1→v2 y siembra la génesis; los
siguientes cargan el manifiesto ya grabado en el grafo.
### Verificado
- QEMU (captura headless por el monitor, `screendump`): los dos caminos del
Manifiesto confirmados.
- **Disco virgen** — el almacén reporta «disco formateado :: 65536 sectores
:: 0 objetos», la consola imprime «manifiesto :: genesis sembrada en disco
virgen» y «manifiesto :: 5 apps nacidas del grafo». La pantalla es
idéntica a la Fase 6.2: dos `hello_wasm` renderizando, discola desalojada
en púrpura, glotona en amarillo, cronista pintando su primera celda.
- **Disco ya sembrado** — sin línea de siembra: el almacén reporta «grafo
montado :: 6 objetos :: raíz presente» (las 5 semillas más el objeto que
la cronista persistió), la consola imprime sólo «manifiesto :: 5 apps
nacidas del grafo», y la cronista pinta su segunda celda — la cuenta de
arranques sobrevivió al apagón. El userspace nace del grafo en ambos
casos.