From 818c15759635a31a623f197cab46c0bd0bdaddeb Mon Sep 17 00:00:00 2001 From: sergio Date: Fri, 12 Jun 2026 08:52:40 -0400 Subject: [PATCH] =?UTF-8?q?runbook:=20=E2=9C=93=20REPRODUCIBLE=20verificad?= =?UTF-8?q?o=20end-to-end=20in-VM=20contra=20baseline=200039b2b9=20(cu=3D1?= =?UTF-8?q?)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Corrida KVM=1 MEM=24576 ./scripts/selfhost-verify.sh en el host (libre/cachyos): la VM reconstruyó los 4/4 con el toolchain de adentro (arje-zero cu=1 compiló en 27m32s in-VM), of_tree(stage1')=b3:0039b2b9… igualó la referencia ⇒ ✓ REPRODUCIBLE: stage1' == stage1 (auto-alojado bit a bit), DRIVER_RC=0. Cierra el hunt de codegen-units (commit 4c9bcc0): la reproducibilidad de arje-zero queda confirmada en el bucle completo host↔VM, no sólo host↔host. Co-Authored-By: Claude Opus 4.8 (1M context) --- docs/runbooks/stage1-vm-boot.md | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/docs/runbooks/stage1-vm-boot.md b/docs/runbooks/stage1-vm-boot.md index 457008ef..a561648e 100644 --- a/docs/runbooks/stage1-vm-boot.md +++ b/docs/runbooks/stage1-vm-boot.md @@ -440,8 +440,14 @@ confiar en que cada repo upstream lo declare ([SDD 09 §2](../09-trust-model.md) builds cu=1 de `arje-zero` → **byte-idénticos**, y el `of_tree(stage1)` queda estable. Nueva referencia **reproducible 4/4** (cu=1): `of_tree(stage1)=b3:0039b2b90fddf62221ad5b804a34df93ef57dc533cb210512cf53752876afdff` (reemplaza la `198f209f…` de cu=16, que ya era no-reproducible). El store del host se refrescó a este -baseline y `EXPECT_REF` en `selfhost-verify.sh` se actualizó. **Pendiente:** re-correr el verify -end-to-end in-VM (debe dar `✓ REPRODUCIBLE` contra `0039b2b9…`). +baseline y `EXPECT_REF` en `selfhost-verify.sh` se actualizó. + +**✓ REPRODUCIBLE — verificado end-to-end in-VM (2026-06-12).** `KVM=1 MEM=24576 ./scripts/selfhost-verify.sh` +en el host `libre` (cachyos, `/dev/kvm` + swap 32G): la VM reconstruyó los **4/4** con el toolchain de +adentro (arje-zero cu=1 compiló en **27m32s** in-VM), selló el rootfs key `2bd7c91b…` y su +`of_tree(stage1') = b3:0039b2b9…` **igualó la referencia** ⇒ `✓ REPRODUCIBLE: stage1' == stage1 +(auto-alojado bit a bit)`, `DRIVER_RC=0`. **El auto-alojamiento bit-a-bit de Stage 1 queda cerrado y +confirmado en el bucle completo** (host↔VM), no sólo host↔host. **Tarea reproducible end-to-end: `scripts/selfhost-verify.sh`.** Un solo comando hace TODO el pipeline (stage0 → stage1 baseline → stage2 ref → inyectar `overlay.ko`/`e1000.ko` del kernel local → ensamblar