sergio/takana
> Una distribución Linux construida con un laboratorio funcional y hermético en el > sótano, y una terminal mutable, clásica y anárquica en el piso de arriba — diseñada > desde el suelo para que una IA programadora entienda, modifique y co…
⎇ b05badee231d3f5f3a8ad808397aa9ece272dbc4
crates/hammer-bootstrap/src/lib.rs
History
Who touched what
raw
selfhost-verify: pieza 3 (linux-headers swap) — SWAP_LINUX_HEADERS=1, byte-idéntico a Alpine en host
1//! Bootstrap from-scratch de hammer — el track posterior del [SDD 11](../../docs/11-bootstrap.md).
2//!
3//! Esta primera entrega cubre el **Stage 0**: ingerir un toolchain semilla ya construido
4//! (no se compila; ver [ADR 0008](../../docs/adr/0008-bootstrap-stages.md)) como una *fuente
5//! fijada por sha256* y sellarlo en el `Store`. El `ArtifactHash` resultante se deriva de la
6//! **identidad pinned** de la semilla (clase + versión + sha256), no de rutas del host, así
7//! que el resto del bootstrap depende de un artefacto reproducible y auditable.
8//!
9//! Stage 1 (userland mínimo cross-compilado) y Stage 2 (rebuild nativo + diff de hashes)
10//! llegan en entregas siguientes y reusan este mismo store.
11//!
12//! Cada etapa anota su línea en el [`manifest`] de bootstrap (`bootstrap.json`), el embrión del
13//! log de transparencia ([SDD 11 §4](../../docs/11-bootstrap.md)).
14
15pub mod manifest;
16
17use std::path::{Path, PathBuf};
18use std::process::Command;
19
20use hammer_build::download;
21use hammer_core::{ArtifactHash, Recipe, Store};
22
23pub use manifest::{BootstrapManifest, StageEntry};
24
25#[derive(Debug, thiserror::Error)]
26pub enum Error {
27 #[error("io: {0}")]
28 Io(#[from] std::io::Error),
29 #[error("core: {0}")]
30 Core(#[from] hammer_core::Error),
31 #[error("tar -x de la semilla falló (exit {0:?})")]
32 Untar(Option<i32>),
33 #[error("bootstrap: {0}")]
34 Other(String),
35}
36
37pub type Result<T> = std::result::Result<T, Error>;
38
39/// Qué toolchain semilla usamos. `zig` es la semilla primaria (ADR 0003/0007); `musl-cross-make`
40/// (gcc + musl) es la escotilla para paquetes con gcc-ismos.
41#[derive(Debug, Clone, Copy, PartialEq, Eq, serde::Serialize, serde::Deserialize)]
42#[serde(rename_all = "kebab-case")]
43pub enum SeedKind {
44 Zig,
45 MuslCrossMake,
46}
47
48impl SeedKind {
49 pub fn as_str(self) -> &'static str {
50 match self {
51 SeedKind::Zig => "zig",
52 SeedKind::MuslCrossMake => "musl-cross-make",
53 }
54 }
55}
56
57/// Especificación de una semilla: su identidad pinned. La integridad la garantiza `sha256`
58/// (fijado, [ADR 0006](../../docs/adr/0006-pinned-commits.md)); `url` puede ser cualquier
59/// esquema que entienda curl, incluido `file://` para ingestión offline.
60#[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize)]
61pub struct SeedSpec {
62 pub kind: SeedKind,
63 pub version: String,
64 pub url: String,
65 /// sha256 hex del tarball, fijado. Se verifica **antes** de extraer y sellar.
66 pub sha256: String,
67}
68
69impl SeedSpec {
70 /// Hash del artefacto del store para esta semilla. Función pura de la identidad pinned:
71 /// misma `(kind, version, sha256)` ⇒ mismo hash, en cualquier máquina. El `url` queda
72 /// fuera a propósito (un espejo distinto del mismo tarball produce el mismo artefacto).
73 pub fn seed_hash(&self) -> ArtifactHash {
74 ArtifactHash::of_inputs(&[
75 b"hammer-seed-v1",
76 self.kind.as_str().as_bytes(),
77 self.version.as_bytes(),
78 self.sha256.as_bytes(),
79 ])
80 }
81
82 /// Nombre del artefacto en el store: `seed-<kind>`.
83 pub fn store_name(&self) -> String {
84 format!("seed-{}", self.kind.as_str())
85 }
86
87 /// Directorio del toolchain **dentro de la semilla sellada**, listo para que el sandbox lo
88 /// bindee como `/opt/zig`. Stage 0 sella el árbol del tarball tal cual (ingesta pura, sin
89 /// aplanar): este método lo resuelve al usarlo, localizando el dir que contiene el ejecutable
90 /// `zig` —en la raíz si el tarball lo trae plano, o en el único hijo si trae el típico
91 /// top-level versionado `zig-linux-x86_64-<ver>/`—. Falla si la semilla no está sellada o si
92 /// el ejecutable no aparece (o es ambiguo).
93 pub fn toolchain_dir(&self, store: &Store) -> Result<PathBuf> {
94 seed_toolchain_dir(store, &self.seed_hash(), self.kind)
95 }
96}
97
98/// Igual que [`SeedSpec::toolchain_dir`] pero sólo desde la identidad mínima `(seed_hash, kind)`:
99/// lo que basta para localizar la semilla ya sellada sin re-pasar `url`/`sha256`. Lo usa Stage 1,
100/// que conoce el `seed_hash` (de Stage 0 o del manifiesto) pero no necesariamente el `SeedSpec`.
101pub fn seed_toolchain_dir(
102 store: &Store,
103 seed_hash: &ArtifactHash,
104 kind: SeedKind,
105) -> Result<PathBuf> {
106 let base = store.path_of(seed_hash, &format!("seed-{}", kind.as_str()));
107 if !base.is_dir() {
108 return Err(Error::Other(format!(
109 "semilla '{}' no sellada en {}; corre `hammer bootstrap stage0` primero",
110 kind.as_str(),
111 base.display()
112 )));
113 }
114 match kind {
115 SeedKind::Zig => locate_tool_dir(&base, "zig"),
116 SeedKind::MuslCrossMake => Err(Error::Other(
117 "toolchain_dir para musl-cross-make aún no implementado (escotilla diferida)".into(),
118 )),
119 }
120}
121
122/// Localiza, dentro de `base`, el directorio que contiene **directamente** el ejecutable `tool`.
123/// Mira la raíz primero y luego los hijos inmediatos; exige exactamente una coincidencia para no
124/// elegir a ciegas entre layouts ambiguos.
125fn locate_tool_dir(base: &Path, tool: &str) -> Result<PathBuf> {
126 if base.join(tool).is_file() {
127 return Ok(base.to_path_buf());
128 }
129 let mut hits = Vec::new();
130 for entry in std::fs::read_dir(base)? {
131 let path = entry?.path();
132 if path.is_dir() && path.join(tool).is_file() {
133 hits.push(path);
134 }
135 }
136 hits.sort();
137 match hits.len() {
138 1 => Ok(hits.pop().unwrap()),
139 0 => Err(Error::Other(format!(
140 "no encontré el ejecutable '{tool}' en la raíz ni en los hijos inmediatos de {}",
141 base.display()
142 ))),
143 _ => Err(Error::Other(format!(
144 "ambiguo: '{tool}' aparece en varios directorios de {}: {hits:?}",
145 base.display()
146 ))),
147 }
148}
149
150/// Deriva una [`hammer_build::BuildConfig`] desde `base` cuyo `zig_dir` apunta a la **semilla
151/// sellada** en vez del toolchain del host: así las recetas del Stage 1 cross-compilan con el
152/// toolchain fijado por hash (`seed_hash`), no con el `.dev-fs/tools/zig` de desarrollo. El resto
153/// de la config (rootfs, work, cache) se hereda intacto.
154pub fn seed_build_config(
155 base: &hammer_build::BuildConfig,
156 seed: &SeedSpec,
157 store: &Store,
158) -> Result<hammer_build::BuildConfig> {
159 let zig_dir = seed.toolchain_dir(store)?;
160 Ok(hammer_build::BuildConfig { zig_dir, ..base.clone() })
161}
162
163/// Hash de un rootfs sellado por Stage 1. Es un `ArtifactHash` derivado del **contenido lógico**
164/// (los hashes de sus componentes + el init), no del árbol en disco: así dos ensamblados de los
165/// mismos artefactos producen el mismo hash aunque difieran en inodes o timestamps.
166pub type RootfsHash = ArtifactHash;
167
168/// Los componentes del userland mínimo, en orden de ensamblado: `musl` (libc), `busybox`
169/// (coreutils + sh), `hammerd` (daemon, receta Cargo) y `arje-zero` (el init PID 1, ADR 0007).
170/// arje-zero es PID 1 vía el symlink `/sbin/init`; supervisa a `hammerd` y a la getty por la
171/// seed card ([SDD 12](../../docs/12-init-real.md)) — su muerte es el `CRASHED` real.
172const STAGE1_COMPONENTS: &[&str] = &["musl", "busybox", "hammerd", "arje-zero"];
173
174/// La **seed card** que arje-zero lee en `/ente/seed.card.json` al boot ([SDD 12 §4](../../docs/12-init-real.md)):
175/// un `Card` `Virtual` cuyos `genesis` son `hammerd` (servicio `Native` con `Restart` — el
176/// `CRASHED` real) y una `console-getty` supervisada. La forma replica una seed real de arje
177/// (`seeds/arje-qemu.card.json`) para que `Card::validate()` la acepte; los ULID son fijos para que
178/// el `RootfsHash` sea reproducible. Template autocontenido (opción A del SDD): hammer no depende de
179/// `card-core` como librería; el pin a arje-zero + el boot en VM cubren el drift de schema.
180const STAGE1_SEED_CARD: &str = r#"{
181 "schema_version": 1,
182 "id": "01HQAR53D4M2NBV8KZTYXFQA00",
183 "lineage": null,
184 "label": "hammer-stage1",
185 "provides": ["Spawn", "Journal"],
186 "requires": [],
187 "permissions": { "networking": "full", "filesystem": "read-write", "ipc": { "allow": [] }, "processes": true },
188 "soma": {
189 "namespaces": { "mount": false, "pid": false, "net": false, "uts": false, "ipc": false, "user": false, "cgroup": false },
190 "rlimits": { "mem_bytes": null, "nproc": null, "nofile": null },
191 "cgroup": { "path": "arje.slice/hammer", "cpu_weight": null, "io_weight": null },
192 "cpu_affinity": null
193 },
194 "payload": "Virtual",
195 "supervision": "OneShot",
196 "lifecycle": "daemon",
197 "priority": "normal",
198 "flow": { "input": [], "output": [] },
199 "genesis": [
200 {
201 "schema_version": 1,
202 "id": "01HQAR53D4M2NBV8KZTYXFQA01",
203 "lineage": null,
204 "label": "hammerd",
205 "provides": [],
206 "requires": [],
207 "permissions": { "networking": "full", "filesystem": "read-write", "ipc": { "allow": [] }, "processes": true },
208 "soma": {
209 "namespaces": { "mount": false, "pid": false, "net": false, "uts": false, "ipc": false, "user": false, "cgroup": false },
210 "rlimits": { "mem_bytes": null, "nproc": null, "nofile": null },
211 "cgroup": { "path": "arje.slice/hammerd", "cpu_weight": null, "io_weight": null },
212 "cpu_affinity": null
213 },
214 "payload": { "Native": {
215 "exec": "/usr/bin/hammerd",
216 "argv": ["--store", "/store", "--journal", "/var/lib/hammer/journal"],
217 "envp": [["RUST_LOG", "info"], ["ENTE_BUS_SOCK", "/run/ente-bus.sock"]]
218 }},
219 "supervision": { "Restart": { "initial": 200, "max": 10000 } },
220 "lifecycle": "daemon",
221 "priority": "normal",
222 "flow": { "input": [], "output": [] },
223 "genesis": []
224 },
225 {
226 "schema_version": 1,
227 "id": "01HQAR53D4M2NBV8KZTYXFQA02",
228 "lineage": null,
229 "label": "console-getty",
230 "provides": [],
231 "requires": [],
232 "permissions": { "networking": "none", "filesystem": "read-write", "ipc": { "allow": [] }, "processes": true },
233 "soma": {
234 "namespaces": { "mount": false, "pid": false, "net": false, "uts": false, "ipc": false, "user": false, "cgroup": false },
235 "rlimits": { "mem_bytes": null, "nproc": null, "nofile": null },
236 "cgroup": { "path": "arje.slice/getty", "cpu_weight": null, "io_weight": null },
237 "cpu_affinity": null
238 },
239 "payload": { "Native": {
240 "exec": "/bin/busybox",
241 "argv": ["getty", "-n", "-l", "/bin/sh", "115200", "console"],
242 "envp": []
243 }},
244 "supervision": { "Restart": { "initial": 200, "max": 10000 } },
245 "lifecycle": "daemon",
246 "priority": "normal",
247 "flow": { "input": [], "output": [] },
248 "genesis": []
249 }
250 ]
251}
252"#;
253
254/// Qué construir para Stage 1: la semilla ya sellada (por `(seed_hash, seed_kind)`) y el directorio
255/// de recetas donde viven `musl.toml` / `busybox.toml`.
256#[derive(Debug, Clone)]
257pub struct Stage1Spec {
258 pub seed_hash: ArtifactHash,
259 pub seed_kind: SeedKind,
260 pub recipes_dir: PathBuf,
261}
262
263/// **Stage 1** — cross-compila el userland mínimo con la semilla de Stage 0, ensambla un rootfs
264/// FHS y lo sella. Devuelve el [`RootfsHash`] y anota la línea del manifiesto.
265///
266/// Idempotente: si el rootfs (mismo hash de contenido) ya está sellado, no reconstruye. El
267/// cross-compile real requiere el rootfs base + toolchain del lab; en una máquina sin `.dev-fs`
268/// `hammer_build::build` falla limpio antes de ensamblar nada.
269pub fn stage1(
270 spec: &Stage1Spec,
271 base_cfg: &hammer_build::BuildConfig,
272 store: &Store,
273) -> Result<RootfsHash> {
274 // Toolchain = la semilla sellada, no el zig del host.
275 let zig_dir = seed_toolchain_dir(store, &spec.seed_hash, spec.seed_kind)?;
276 let cfg = hammer_build::BuildConfig { zig_dir, ..base_cfg.clone() };
277
278 // 1) Construir cada componente (cacheado por el lab si ya existe).
279 let mut components: Vec<(String, ArtifactHash)> = Vec::with_capacity(STAGE1_COMPONENTS.len());
280 for name in STAGE1_COMPONENTS {
281 let recipe_path = spec.recipes_dir.join(format!("{name}.toml"));
282 let recipe = Recipe::load_from_path(&recipe_path).map_err(|e| {
283 Error::Other(format!("receta '{name}' ({}): {e}", recipe_path.display()))
284 })?;
285 let h = hammer_build::build(&recipe, &cfg, store)?;
286 components.push((name.to_string(), h));
287 }
288
289 // 2) Hash del rootfs = función pura de sus componentes (reproducible, sin tocar disco).
290 let rootfs_hash = rootfs_hash(&components);
291 let store_name = "stage1-rootfs";
292
293 // 3) Ensamblar + sellar (si no estaba ya). Staging bajo el store ⇒ rename atómico en seal.
294 if !store.has(&rootfs_hash, store_name) {
295 let staging = store
296 .root()
297 .join(".bootstrap-tmp")
298 .join(rootfs_hash.store_dir_name(store_name));
299 let _ = std::fs::remove_dir_all(&staging);
300 std::fs::create_dir_all(&staging)?;
301 let result = assemble_and_seal(store, &components, &rootfs_hash, store_name, &staging);
302 let _ = std::fs::remove_dir_all(&staging);
303 result?;
304 } else {
305 tracing::info!(hash = %rootfs_hash, "stage1: rootfs ya sellado (idempotente)");
306 }
307
308 // 4) Línea del manifiesto. `recipe_hash = None`: el rootfs es un ensamblado de varias recetas,
309 // no de una sola; el `seed_hash` ancla de qué toolchain salió.
310 manifest::append_line(
311 store,
312 StageEntry {
313 stage: 1,
314 recipe_hash: None,
315 artifact_hash: rootfs_hash.clone(),
316 seed_hash: Some(spec.seed_hash.clone()),
317 ts: now_unix(),
318 },
319 )?;
320 Ok(rootfs_hash)
321}
322
323/// Hash de contenido del rootfs: tag de versión + `(name, hash)` de cada componente en orden + la
324/// seed card del init. Cambiar un componente, el orden o la seed re-hashea el rootfs. El tag `v2`
325/// marca el corte respecto al rootfs con init provisional (`v1`).
326fn rootfs_hash(components: &[(String, ArtifactHash)]) -> RootfsHash {
327 let mut inputs: Vec<Vec<u8>> = vec![b"hammer-stage1-rootfs-v2".to_vec()];
328 for (name, h) in components {
329 inputs.push(name.as_bytes().to_vec());
330 inputs.push(h.as_str().as_bytes().to_vec());
331 }
332 inputs.push(STAGE1_SEED_CARD.as_bytes().to_vec());
333 let refs: Vec<&[u8]> = inputs.iter().map(|v| v.as_slice()).collect();
334 ArtifactHash::of_inputs(&refs)
335}
336
337fn assemble_and_seal(
338 store: &Store,
339 components: &[(String, ArtifactHash)],
340 rootfs_hash: &RootfsHash,
341 store_name: &str,
342 staging: &Path,
343) -> Result<()> {
344 assemble_rootfs(store, components, staging)?;
345 store.seal(staging, rootfs_hash, store_name)?;
346 tracing::info!(hash = %rootfs_hash, "stage1: rootfs sellado");
347 Ok(())
348}
349
350/// Ensambla el árbol FHS del rootfs en `staging`: esqueleto de directorios, hidratación de cada
351/// componente sellado (hardlinks), la seed card de arje y `/sbin/init`→arje-zero. Es la pieza
352/// testeable sin build real ([SDD 12](../../docs/12-init-real.md)).
353fn assemble_rootfs(
354 store: &Store,
355 components: &[(String, ArtifactHash)],
356 staging: &Path,
357) -> Result<()> {
358 // Esqueleto FHS. arje-zero monta él mismo los pseudo-FS (arje-kernel), así que sólo deben
359 // existir como puntos de montaje vacíos; `/ente` lleva la seed, `/var/lib/hammer` el diario.
360 for d in [
361 "proc", "sys", "sys/fs/cgroup", "dev", "dev/pts", "dev/shm", "run", "tmp", "etc", "root",
362 "var", "var/lib/hammer", "ente", "usr/bin", "bin", "sbin",
363 ] {
364 std::fs::create_dir_all(staging.join(d))?;
365 }
366
367 // Cada componente se proyecta al rootfs por hardlink (mismo store, mismo filesystem).
368 for (name, h) in components {
369 let dir = store.path_of(h, name);
370 hammer_build::run_hydrate(&dir, staging, hammer_core::LinkMode::Static)?;
371 }
372
373 // El sidecar de provenance de cada receta (`.hammer/recipe.toml`) no pertenece al rootfs
374 // ejecutable: lo quitamos para que la imagen quede limpia y su hash no dependa de cuál
375 // componente lo escribió último.
376 let _ = std::fs::remove_dir_all(staging.join(".hammer"));
377
378 // La seed card que arje-zero lee al boot.
379 std::fs::write(staging.join("ente/seed.card.json"), STAGE1_SEED_CARD)?;
380
381 // arje-zero es PID 1 vía `/sbin/init`. Symlink absoluto: el kernel lo sigue sea cual sea el
382 // cmdline, sin exigir `init=`. Idempotente: si ya existe (re-ensamblado), lo reemplazamos.
383 let init_link = staging.join("sbin/init");
384 let _ = std::fs::remove_file(&init_link);
385 std::os::unix::fs::symlink("/usr/bin/arje-zero", &init_link)?;
386 Ok(())
387}
388
389// ── Stage 2: rebuild nativo + verificación de auto-alojamiento (SDD 11 §3) ──────────────────────
390//
391// El corte del cordón: dentro del rootfs de Stage 1 se reconstruyen Stage 0' y Stage 1' usando
392// **sólo** las herramientas de Stage 1, y se compara el **content-hash** (`of_tree`, no el hash
393// input-addressed del store) de stage1 vs stage1'. Iguales ⇒ el sistema se compila a sí mismo bit
394// a bit (auto-alojado y reproducible). El rebuild **dentro del rootfs** (bwrap/chroot/VM) corre en
395// la VM destino; lo que vive en hammer es la **referencia** (content-hash de stage1) y la
396// comparación. Ver `docs/runbooks/stage1-vm-boot.md`.
397
398/// Veredicto de la verificación de auto-alojamiento de Stage 2.
399#[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize)]
400pub enum Reproducibility {
401 /// stage1 y stage1' tienen el mismo content-hash: el sistema se reconstruye bit-idéntico.
402 Reproducible,
403 /// Difieren: hay no-determinismo que cazar ([SDD 09 §2](../../docs/09-trust-model.md)).
404 Divergent { stage1: ArtifactHash, rebuilt: ArtifactHash },
405 /// El rebuild nativo dentro del rootfs aún no corrió (se hace en la VM); sólo se ancló el
406 /// content-hash de stage1 como referencia a reproducir.
407 RebuildPending,
408}
409
410/// Reporte de Stage 2: la referencia (content-hash de stage1) y el veredicto.
411#[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize)]
412pub struct VerifyReport {
413 /// Hash input-addressed del rootfs en el store (el que devolvió `stage1`).
414 pub stage1_rootfs: RootfsHash,
415 /// Content-hash (`of_tree`) de stage1: los bytes reales que stage1' debe reproducir.
416 pub stage1_content: ArtifactHash,
417 pub verdict: Reproducibility,
418}
419
420/// Content-hash (`ArtifactHash::of_tree`) del artefacto sellado `(hash, name)` en el store.
421pub fn artifact_content_hash(
422 store: &Store,
423 hash: &ArtifactHash,
424 name: &str,
425) -> Result<ArtifactHash> {
426 let dir = store.path_of(hash, name);
427 if !dir.is_dir() {
428 return Err(Error::Other(format!(
429 "artefacto '{name}' no sellado en {}",
430 dir.display()
431 )));
432 }
433 ArtifactHash::of_tree(&dir).map_err(Error::Io)
434}
435
436/// **Stage 2** (referencia + manifiesto). Ancla el **content-hash** del rootfs de Stage 1 como la
437/// referencia a reproducir y lo anota en el manifiesto (línea stage 2). El rebuild nativo DENTRO
438/// del rootfs corre en la VM (SDD 11 §3); cuando produzca stage1', se compara con [`verify_against`].
439pub fn stage2(stage1: &RootfsHash, store: &Store) -> Result<VerifyReport> {
440 let content = artifact_content_hash(store, stage1, "stage1-rootfs")?;
441 manifest::append_line(
442 store,
443 StageEntry {
444 stage: 2,
445 recipe_hash: None,
446 artifact_hash: content.clone(),
447 seed_hash: None,
448 ts: now_unix(),
449 },
450 )?;
451 tracing::info!(content = %content, "stage2: content-hash de stage1 anclado (referencia)");
452 Ok(VerifyReport {
453 stage1_rootfs: stage1.clone(),
454 stage1_content: content,
455 verdict: Reproducibility::RebuildPending,
456 })
457}
458
459/// Compara la referencia (`report.stage1_content`) con el content-hash de un rebuild stage1'
460/// producido en la VM, y emite el veredicto de reproducibilidad.
461pub fn verify_against(report: &VerifyReport, rebuilt_content: ArtifactHash) -> Reproducibility {
462 if report.stage1_content == rebuilt_content {
463 Reproducibility::Reproducible
464 } else {
465 Reproducibility::Divergent {
466 stage1: report.stage1_content.clone(),
467 rebuilt: rebuilt_content,
468 }
469 }
470}
471
472// ── Builder rootfs: el camino al rebuild in-rootfs (Stage 2 pleno, SDD 11 §7) ────────────────────
473//
474// El Stage 1 que booteamos es un *runtime* (musl+busybox+hammerd+arje-zero): no trae compilador, no
475// puede reconstruirse. El **builder rootfs** es Stage 1 **+ el toolchain adentro** — la imagen que,
476// booteada en la VM, corre `hammer bootstrap stage1` dentro de sí misma y produce `stage1'`. Compara
477// su content-hash con la referencia anclada por `stage2`: iguales ⇒ auto-alojamiento bit a bit.
478//
479// Variante (a) **pragmática** (SDD 11 §7.2): el toolchain entra desde Alpine (no construido por
480// hammer). Demuestra el *mecanismo* y cierra la reproducibilidad end-to-end; no es aún el
481// auto-alojamiento *puro* (variante b: el toolchain construido por hammer desde fuente, incremental).
482//
483// El builder NO se sella en el store (su /toolchain Alpine no es content-addressed y abultaría): se
484// ensambla en un `out_dir` que se empaqueta como initramfs (ver runbook §8c). Su identidad sí es
485// reproducible: un `ArtifactHash` *lógico* de sus insumos (stage1 + semilla + recetas + binario +
486// tag del toolchain + el propio driver), apto para el log de transparencia.
487
488/// Driver embebido en `/usr/bin/rebuild-stage1`: corre el rebuild dentro del propio rootfs. Lee
489/// `/etc/hammer/rebuild.env` (`SEED_HASH`/`SEED_KIND`/`REF_CONTENT`), apunta el sandbox de build al
490/// toolchain de adentro (`/toolchain`) y compara `stage1'` contra la referencia. Si `REF_CONTENT` va
491/// vacío, sólo imprime el content-hash de `stage1'` para comparación manual.
492///
493/// El toolchain es Alpine **dinámico**: sus binarios (bwrap/git/curl/cargo/make) no corren desde el
494/// userland Stage 1, que es **estático** (no hay loader en `/lib`). El driver instala un *shim* del
495/// loader musl (`cp` a `/lib`) + `LD_LIBRARY_PATH`/`PATH` al toolchain, y a partir de ahí esas
496/// herramientas son ejecutables; el `hammer` estático vive en `/usr/bin/hammer`. El sandbox de build
497/// (bwrap) anida en `/toolchain`. (El shim sólo se usa para *invocar* el toolchain desde fuera del
498/// sandbox: fetch git/tarball; dentro del sandbox el loader está en su sitio.)
499const REBUILD_DRIVER: &str = r#"#!/bin/sh
500# rebuild-stage1 — rebuild de Stage 1 con el toolchain del propio rootfs (auto-alojamiento, SDD 11 §7).
501# Booteado en la VM (builder rootfs), reconstruye stage1' usando SÓLO las herramientas de adentro y
502# compara su content-hash con la referencia que `hammer bootstrap stage2` ancló afuera.
503set -eu
504. /etc/hammer/rebuild.env # SEED_HASH, SEED_KIND, REF_CONTENT (REF_CONTENT puede ir vacío)
505# Shim del loader musl: deja correr los binarios *dinámicos* del toolchain (bwrap/git/curl/cargo/make)
506# desde el root Stage 1 estático. Usa el busybox estático (rutas absolutas) ANTES de tocar el PATH.
507/bin/mkdir -p /lib
508/bin/cp -f /toolchain/lib/ld-musl-x86_64.so.1 /lib/ld-musl-x86_64.so.1
509export LD_LIBRARY_PATH=/toolchain/lib:/toolchain/usr/lib
510export PATH=/toolchain/usr/bin:/toolchain/usr/sbin:/toolchain/bin:/toolchain/sbin:/usr/bin:/bin:/sbin
511# overlay es módulo (CONFIG_OVERLAY_FS=m) y el initramfs arranca sin módulos cargados: el sandbox de
512# build (bwrap --tmp-overlay) lo exige ⇒ ENODEV sin esto. Lo cargamos del toolchain (insmod=kmod,
513# vermagic del kernel destino). Idempotente: si ya está, insmod falla y lo ignoramos.
514insmod /toolchain/lib/overlay.ko 2>/dev/null || true
515# Red para el vendoring de crates (los componentes Rust hacen `cargo vendor`, que baja de crates.io).
516# NIC e1000 (qemu user-mode 10.0.2.0/24, módulo del kernel) + config estática + DNS de slirp. La VM
517# sin NIC ⇒ todo esto es no-op (los componentes C no necesitan red). `ip` sale del toolchain (shim).
518insmod /toolchain/lib/e1000.ko 2>/dev/null || true
519if ip link show eth0 >/dev/null 2>&1; then
520 ip link set eth0 up
521 ip addr add 10.0.2.15/24 dev eth0 2>/dev/null || true
522 ip route add default via 10.0.2.2 2>/dev/null || true
523 printf 'nameserver 10.0.2.3\n' > /etc/resolv.conf
524 echo ">> red eth0: $(ip -4 -o addr show eth0 2>/dev/null | grep -o 'inet [0-9.]*' || echo down)"
525 # CA bundle para el TLS de cargo/curl/git (crates.io). El toolchain trae el bundle de Alpine;
526 # lo exponemos en la ruta estándar y por env (cargo usa libcurl/openssl según el build).
527 mkdir -p /etc/ssl/certs
528 cp -f /toolchain/etc/ssl/certs/ca-certificates.crt /etc/ssl/certs/ca-certificates.crt 2>/dev/null || true
529 export SSL_CERT_FILE=/etc/ssl/certs/ca-certificates.crt
530 export CURL_CA_BUNDLE=/etc/ssl/certs/ca-certificates.crt
531 export GIT_SSL_CAINFO=/etc/ssl/certs/ca-certificates.crt
532fi
533# NOTA: el initramfs debe empaquetarse con `cpio --owner=root:root`. Si los ficheros del toolchain
534# quedan con el uid del que armó el builder (p. ej. 1000), ese uid no está mapeado en el userns de
535# bwrap (que mapea sólo 0→0) y el copy-up de overlay falla con EACCES al crear /opt/zig. Ver §8c.
536export HAMMER_ROOTFS=/toolchain # el sandbox de build: el toolchain (variante a, desde Alpine)
537export HAMMER_WORK=/work
538export HAMMER_CACHE=
539echo ">> rebuild stage1 (toolchain in-rootfs, semilla $SEED_HASH)"
540PRIME=$(/usr/bin/hammer --store /store bootstrap stage1 --seed-hash "$SEED_HASH" --seed "$SEED_KIND" --recipes /etc/hammer/recipes)
541echo ">> stage1' = $PRIME"
542if [ -n "${REF_CONTENT:-}" ]; then
543 /usr/bin/hammer --store /store bootstrap stage2 --rootfs "$PRIME" --verify "$REF_CONTENT"
544else
545 /usr/bin/hammer --store /store bootstrap stage2 --rootfs "$PRIME"
546fi
547"#;
548
549/// Qué ensamblar en el builder rootfs (variante a, SDD 11 §7).
550#[derive(Debug, Clone)]
551pub struct BuilderSpec {
552 /// Stage 1 rootfs ya sellado (nombre store `stage1-rootfs`) que el builder extiende — la base
553 /// runtime sobre la que se hidrata el toolchain.
554 pub stage1_rootfs: RootfsHash,
555 /// Semilla zig sellada (Stage 0). Se replica en el `/store` del builder para que el `hammer`
556 /// de adentro resuelva el toolchain por hash, igual que afuera.
557 pub seed_hash: ArtifactHash,
558 pub seed_kind: SeedKind,
559 /// Recetas a embeber en `/etc/hammer/recipes` (las que `stage1` rehidrata el rebuild).
560 pub recipes_dir: PathBuf,
561 /// Binario `hammer` estático → `/usr/bin/hammer`. Variante (a): el del host; (b): el que hammer
562 /// construye desde fuente.
563 pub hammer_bin: PathBuf,
564 /// Toolchain del sandbox de build → `/toolchain` (variante a: el rootfs Alpine de `.dev-fs`).
565 pub toolchain_src: PathBuf,
566 /// Etiqueta de identidad del toolchain (p. ej. `alpine-3.23.4`) — entra al hash lógico del
567 /// builder sin tener que hashear el árbol Alpine entero.
568 pub toolchain_tag: String,
569 /// Referencia `of_tree(stage1)` anclada por `stage2`, embebida para que el rebuild se
570 /// auto-verifique. `None` ⇒ el driver sólo imprime el content-hash de `stage1'`.
571 pub ref_content: Option<ArtifactHash>,
572 /// Caché de fuentes (`work/repos`, `work/tarballs`) → `/work`, para un rebuild **offline** y
573 /// determinista en la VM. `None` ⇒ el rebuild fetchea por red (la seed card trae `networking: full`).
574 pub work_cache: Option<PathBuf>,
575 /// Piezas del toolchain **construidas por hammer desde fuente** (variante b, SDD 11 §7.2b) que se
576 /// montan sobre el path Alpine en `/toolchain`. Vacío ⇒ variante (a) pura-Alpine. Cada swap entra
577 /// al hash lógico del builder: la procedencia deja de ser "todo Alpine" y se vuelve auditable.
578 pub swaps: Vec<ToolchainSwap>,
579}
580
581/// Una herramienta del toolchain reemplazada por su build hammer desde fuente (SDD 11 §7.2b). El
582/// binario sellado se monta sobre `rel_path` dentro de `/toolchain`, pisando la versión Alpine; su
583/// hash sellado se ancla en el hash lógico del builder para que el swap sea reproducible y auditable.
584#[derive(Debug, Clone)]
585pub struct ToolchainSwap {
586 /// Nombre del componente/receta (p. ej. `make`); también el nombre store del artefacto sellado.
587 pub name: String,
588 /// `of_tree` del build hammer (el artefacto sellado del que sale el binario).
589 pub artifact: ArtifactHash,
590 /// Path relativo del binario dentro del artefacto **y** dentro de `/toolchain` (p. ej.
591 /// `usr/bin/make`). El mismo en origen y destino: el layout del artefacto imita al de Alpine.
592 pub rel_path: String,
593}
594
595/// Resultado de [`builder_rootfs`]: la identidad lógica del builder y dónde quedó ensamblado.
596#[derive(Debug, Clone)]
597pub struct BuilderReport {
598 pub builder_hash: ArtifactHash,
599 pub out_dir: PathBuf,
600}
601
602/// Hash **lógico** del builder: función pura de sus insumos. No es `of_tree` del árbol (el toolchain
603/// Alpine no es content-addressed); identifica de forma reproducible *de qué* se ensambló el builder.
604fn builder_hash(
605 stage1: &RootfsHash,
606 seed: &ArtifactHash,
607 toolchain_tag: &str,
608 recipes_digest: &str,
609 hammer_digest: &str,
610 swaps_digest: &str,
611) -> ArtifactHash {
612 ArtifactHash::of_inputs(&[
613 b"hammer-builder-rootfs-v1",
614 stage1.as_str().as_bytes(),
615 seed.as_str().as_bytes(),
616 toolchain_tag.as_bytes(),
617 recipes_digest.as_bytes(),
618 hammer_digest.as_bytes(),
619 swaps_digest.as_bytes(),
620 REBUILD_DRIVER.as_bytes(),
621 ])
622}
623
624/// Digest de los swaps del toolchain (variante b): sha256 sobre los `(name, artifact, rel_path)` en
625/// orden por nombre. Sin swaps ⇒ string vacío, así el hash lógico de un builder pura-Alpine no cambia
626/// respecto a antes de existir el mecanismo (compatibilidad hacia atrás de la línea de manifiesto).
627fn swaps_digest(swaps: &[ToolchainSwap]) -> String {
628 if swaps.is_empty() {
629 return String::new();
630 }
631 use sha2::{Digest, Sha256};
632 let mut sorted: Vec<&ToolchainSwap> = swaps.iter().collect();
633 sorted.sort_by(|a, b| a.name.cmp(&b.name));
634 let mut h = Sha256::new();
635 for s in sorted {
636 for field in [s.name.as_str(), s.artifact.as_str(), s.rel_path.as_str()] {
637 h.update(field.as_bytes());
638 h.update([0u8]);
639 }
640 }
641 hex::encode(h.finalize())
642}
643
644/// sha256 hex del contenido de un archivo.
645fn sha256_file(path: &Path) -> Result<String> {
646 use sha2::{Digest, Sha256};
647 let bytes = std::fs::read(path)?;
648 let mut h = Sha256::new();
649 h.update(&bytes);
650 Ok(hex::encode(h.finalize()))
651}
652
653/// Digest de un directorio de recetas: sha256 sobre los `(nombre, bytes)` de cada `*.toml` en orden.
654/// Cambiar una receta, añadir o quitar una, re-hashea el builder.
655fn recipes_digest(dir: &Path) -> Result<String> {
656 use sha2::{Digest, Sha256};
657 let mut tomls: Vec<PathBuf> = std::fs::read_dir(dir)?
658 .filter_map(|e| e.ok().map(|e| e.path()))
659 .filter(|p| p.extension().and_then(|x| x.to_str()) == Some("toml"))
660 .collect();
661 tomls.sort();
662 let mut h = Sha256::new();
663 for p in &tomls {
664 let name = p.file_name().and_then(|n| n.to_str()).unwrap_or_default();
665 h.update(name.as_bytes());
666 h.update([0u8]);
667 h.update(std::fs::read(p)?);
668 h.update([0u8]);
669 }
670 Ok(hex::encode(h.finalize()))
671}
672
673/// Copia recursiva `src`→`dst` preferendo **hardlink** (mismo filesystem, sin coste de bytes) y
674/// cayendo a copia cuando cruza filesystems. Recrea symlinks tal cual. No hace `chmod`: el builder
675/// no se sella, así que los hardlinks no deben tocar permisos del origen (p. ej. el `.dev-fs`).
676///
677/// `skip` es un path a no descender: imprescindible cuando `dst` vive **dentro** de `src` (p. ej.
678/// `--work-cache work --out work/builder-rootfs`), donde copiar `src` ciegamente se tragaría el
679/// propio destino en una recursión infinita. Se compara por path canónico.
680fn link_or_copy_tree(src: &Path, dst: &Path, skip: Option<&Path>) -> Result<()> {
681 if let Some(skip) = skip {
682 if src.canonicalize().ok().as_deref() == Some(skip) {
683 return Ok(());
684 }
685 }
686 let meta = std::fs::symlink_metadata(src)?;
687 let ft = meta.file_type();
688 if ft.is_symlink() {
689 let target = std::fs::read_link(src)?;
690 let _ = std::fs::remove_file(dst);
691 std::os::unix::fs::symlink(target, dst)?;
692 } else if ft.is_dir() {
693 std::fs::create_dir_all(dst)?;
694 for entry in std::fs::read_dir(src)? {
695 let entry = entry?;
696 link_or_copy_tree(&entry.path(), &dst.join(entry.file_name()), skip)?;
697 }
698 } else if ft.is_file() && std::fs::hard_link(src, dst).is_err() {
699 std::fs::copy(src, dst)?;
700 }
701 Ok(())
702}
703
704/// Ensambla el árbol del builder en `staging` (la pieza testeable, sin VM ni Alpine real): hidrata el
705/// Stage 1 rootfs como base, monta el toolchain en `/toolchain`, replica la semilla en `/store`,
706/// instala `hammer` + recetas + el driver `rebuild-stage1` y, opcionalmente, la caché de fuentes.
707fn assemble_builder(spec: &BuilderSpec, store: &Store, staging: &Path) -> Result<()> {
708 // 1) Base: el Stage 1 rootfs sellado (read-only en el store ⇒ hardlinks seguros).
709 let stage1_dir = store.path_of(&spec.stage1_rootfs, "stage1-rootfs");
710 if !stage1_dir.is_dir() {
711 return Err(Error::Other(format!(
712 "stage1-rootfs '{}' no sellado en {}; corre `hammer bootstrap stage1` primero",
713 spec.stage1_rootfs,
714 stage1_dir.display()
715 )));
716 }
717 hammer_build::run_hydrate(&stage1_dir, staging, hammer_core::LinkMode::Static)?;
718
719 // 2) Esqueleto del builder: el sandbox de build (/toolchain), el store, el work y la config.
720 for d in ["toolchain", "store", "work", "usr/bin", "etc/hammer/recipes"] {
721 std::fs::create_dir_all(staging.join(d))?;
722 }
723
724 // 3) Toolchain → /toolchain (variante a: el rootfs Alpine de .dev-fs).
725 if !spec.toolchain_src.is_dir() {
726 return Err(Error::Other(format!(
727 "toolchain '{}' no es un directorio (¿corriste bootstrap-devfs.sh?)",
728 spec.toolchain_src.display()
729 )));
730 }
731 link_or_copy_tree(&spec.toolchain_src, &staging.join("toolchain"), None)?;
732
733 // 3b) Swaps de variante (b): piezas construidas por hammer desde fuente pisan su versión Alpine
734 // en /toolchain. Un `rel_path` puede apuntar a un BINARIO (estático musl ⇒ corre sin el shim
735 // del loader; p.ej. make, busybox) o a un DIRECTORIO (un árbol de headers; p.ej. los
736 // `usr/include/{linux,asm,…}` de linux-headers). En el caso directorio se reemplaza el árbol
737 // entero (remove + copy) para no dejar archivos Alpine huérfanos.
738 for swap in &spec.swaps {
739 let art_dir = store.path_of(&swap.artifact, &swap.name);
740 let src = art_dir.join(&swap.rel_path);
741 let dst = staging.join("toolchain").join(&swap.rel_path);
742 if src.is_dir() {
743 let _ = std::fs::remove_dir_all(&dst);
744 std::fs::create_dir_all(&dst)?;
745 link_or_copy_tree(&src, &dst, None)?;
746 } else if src.is_file() {
747 if let Some(parent) = dst.parent() {
748 std::fs::create_dir_all(parent)?;
749 }
750 let _ = std::fs::remove_file(&dst);
751 if std::fs::hard_link(&src, &dst).is_err() {
752 std::fs::copy(&src, &dst)?;
753 }
754 set_executable(&dst)?;
755 } else {
756 return Err(Error::Other(format!(
757 "swap '{}': '{}' no existe (ni archivo ni directorio) en el artefacto sellado {} ({})",
758 swap.name,
759 swap.rel_path,
760 swap.artifact,
761 src.display(),
762 )));
763 }
764 }
765
766 // 4) Semilla → /store/<hash>-seed-<kind>, tal cual está sellada afuera, para que el `hammer` de
767 // adentro resuelva el toolchain por hash sin re-ingerirla.
768 let seed_name = format!("seed-{}", spec.seed_kind.as_str());
769 let seed_dir = store.path_of(&spec.seed_hash, &seed_name);
770 if !seed_dir.is_dir() {
771 return Err(Error::Other(format!(
772 "semilla '{}' no sellada en {}; corre `hammer bootstrap stage0` primero",
773 seed_name,
774 seed_dir.display()
775 )));
776 }
777 link_or_copy_tree(
778 &seed_dir,
779 &staging.join("store").join(spec.seed_hash.store_dir_name(&seed_name)),
780 None,
781 )?;
782
783 // 5) Binario hammer → /usr/bin/hammer (+x).
784 let hammer_dst = staging.join("usr/bin/hammer");
785 if std::fs::hard_link(&spec.hammer_bin, &hammer_dst).is_err() {
786 std::fs::copy(&spec.hammer_bin, &hammer_dst)?;
787 }
788 set_executable(&hammer_dst)?;
789
790 // 6) Recetas → /etc/hammer/recipes.
791 for entry in std::fs::read_dir(&spec.recipes_dir)? {
792 let path = entry?.path();
793 if path.extension().and_then(|x| x.to_str()) == Some("toml") {
794 let name = path.file_name().unwrap();
795 std::fs::copy(&path, staging.join("etc/hammer/recipes").join(name))?;
796 }
797 }
798
799 // 7) Caché de fetch → /work (opcional, para rebuild offline). Sólo `repos/` (mirrors git) y
800 // `tarballs/` (descargas verificadas): de ahí `fetch` rematerializa los árboles fuente. NO se
801 // copia `sources/` (los árboles ya materializados) — es regenerable y pesado (varios GB). El
802 // `skip = staging` es defensa extra contra `--work-cache work --out work/builder-rootfs`.
803 if let Some(cache) = &spec.work_cache {
804 let skip = staging.canonicalize().ok();
805 for sub in ["repos", "tarballs"] {
806 let src = cache.join(sub);
807 if src.is_dir() {
808 link_or_copy_tree(&src, &staging.join("work").join(sub), skip.as_deref())?;
809 }
810 }
811 }
812
813 // 8) Config del rebuild + driver. REF_CONTENT vacío si no hay referencia (rebuild informativo).
814 let ref_content = spec.ref_content.as_ref().map(|h| h.as_str()).unwrap_or("");
815 let env = format!(
816 "SEED_HASH={}\nSEED_KIND={}\nREF_CONTENT={}\n",
817 spec.seed_hash,
818 spec.seed_kind.as_str(),
819 ref_content,
820 );
821 std::fs::write(staging.join("etc/hammer/rebuild.env"), env)?;
822 let driver = staging.join("usr/bin/rebuild-stage1");
823 std::fs::write(&driver, REBUILD_DRIVER)?;
824 set_executable(&driver)?;
825 Ok(())
826}
827
828/// Marca un archivo como ejecutable (0o755).
829fn set_executable(path: &Path) -> Result<()> {
830 use std::os::unix::fs::PermissionsExt;
831 std::fs::set_permissions(path, std::fs::Permissions::from_mode(0o755))?;
832 Ok(())
833}
834
835/// **Builder rootfs** (SDD 11 §7) — ensambla en `out_dir` la imagen Stage 1 + toolchain que, booteada
836/// en la VM, reconstruye `stage1'` con sus propias herramientas (auto-alojamiento). Devuelve el hash
837/// lógico del builder y anota la línea del manifiesto. `out_dir` se reensambla limpio en cada corrida.
838pub fn builder_rootfs(spec: &BuilderSpec, store: &Store, out_dir: &Path) -> Result<BuilderReport> {
839 // Hash lógico (insumos), independiente del ensamblado en disco.
840 let rdigest = recipes_digest(&spec.recipes_dir)?;
841 let hdigest = sha256_file(&spec.hammer_bin)?;
842 let sdigest = swaps_digest(&spec.swaps);
843 let bhash = builder_hash(
844 &spec.stage1_rootfs,
845 &spec.seed_hash,
846 &spec.toolchain_tag,
847 &rdigest,
848 &hdigest,
849 &sdigest,
850 );
851
852 let _ = std::fs::remove_dir_all(out_dir);
853 std::fs::create_dir_all(out_dir)?;
854 assemble_builder(spec, store, out_dir)?;
855
856 manifest::append_line(
857 store,
858 StageEntry {
859 stage: 2,
860 recipe_hash: None,
861 artifact_hash: bhash.clone(),
862 seed_hash: Some(spec.seed_hash.clone()),
863 ts: now_unix(),
864 },
865 )?;
866 tracing::info!(hash = %bhash, out = %out_dir.display(), "builder: rootfs ensamblado");
867 Ok(BuilderReport { builder_hash: bhash, out_dir: out_dir.to_path_buf() })
868}
869
870/// **Stage 0** — ingiere la semilla al store y devuelve su `ArtifactHash`.
871///
872/// Idempotente: si la semilla ya está sellada (mismo hash de identidad), no la vuelve a
873/// descargar. El sha256 se verifica **antes** de extraer, así que un tarball envenenado nunca
874/// llega al árbol que se sella.
875pub fn stage0(seed: &SeedSpec, store: &Store) -> Result<ArtifactHash> {
876 let h = seed.seed_hash();
877 let name = seed.store_name();
878 if store.has(&h, &name) {
879 tracing::info!(hash = %h, seed = %seed.kind.as_str(), "stage0: semilla ya sellada (idempotente)");
880 } else {
881 // Staging bajo el root del store ⇒ mismo filesystem que el destino, para que `seal` pueda
882 // hacer el rename atómico.
883 let work = store.root().join(".bootstrap-tmp").join(h.store_dir_name(&name));
884 let _ = std::fs::remove_dir_all(&work);
885 std::fs::create_dir_all(&work)?;
886
887 // El cuerpo fallible va aparte para limpiar el staging pase lo que pase (un sha erróneo
888 // no debe dejar el tarball a medio descargar bajo el store). Si falla, salimos antes de
889 // anotar el manifiesto: una semilla que no se selló no genera línea.
890 let result = stage0_into(seed, store, &h, &name, &work);
891 let _ = std::fs::remove_dir_all(&work);
892 result?;
893 }
894
895 // La semilla es a la vez insumo y producto de Stage 0: `artifact_hash == seed_hash`, sin
896 // receta (se ingiere, no se compila). Idempotente en disco: re-correr no duplica la línea.
897 manifest::append_line(
898 store,
899 StageEntry {
900 stage: 0,
901 recipe_hash: None,
902 artifact_hash: h.clone(),
903 seed_hash: Some(h.clone()),
904 ts: now_unix(),
905 },
906 )?;
907 Ok(h)
908}
909
910/// Segundos Unix actuales para el `ts` del manifiesto. Best-effort: un reloj anterior a la época
911/// (imposible en la práctica) cae a 0. No entra en ningún hash, así que su precisión no afecta a
912/// la reproducibilidad.
913fn now_unix() -> u64 {
914 std::time::SystemTime::now()
915 .duration_since(std::time::UNIX_EPOCH)
916 .map(|d| d.as_secs())
917 .unwrap_or(0)
918}
919
920fn stage0_into(
921 seed: &SeedSpec,
922 store: &Store,
923 h: &ArtifactHash,
924 name: &str,
925 work: &Path,
926) -> Result<ArtifactHash> {
927 let tarball = work.join("seed.tar");
928 download::fetch_url_to_file(&seed.url, &tarball)?;
929 // Integridad antes de tocar nada: hash erróneo ⇒ no se extrae ni se sella.
930 download::verify_sha256(&tarball, &seed.sha256)?;
931
932 let tree = work.join("tree");
933 std::fs::create_dir_all(&tree)?;
934 untar(&tarball, &tree)?;
935
936 let sealed = store.seal(&tree, h, name)?;
937 tracing::info!(path = %sealed.display(), hash = %h, "stage0: semilla sellada");
938 Ok(h.clone())
939}
940
941/// Extrae `tarball` dentro de `into`. `tar -xf` autodetecta gzip/xz/zstd según lo instalado.
942fn untar(tarball: &Path, into: &Path) -> Result<()> {
943 let st = Command::new("tar")
944 .arg("-xf")
945 .arg(tarball)
946 .arg("-C")
947 .arg(into)
948 .status()
949 .map_err(|e| Error::Other(format!("spawn tar: {e}")))?;
950 if !st.success() {
951 return Err(Error::Untar(st.code()));
952 }
953 Ok(())
954}
955
956#[cfg(test)]
957mod tests {
958 use super::*;
959
960 fn spec(url: &str, sha256: &str) -> SeedSpec {
961 SeedSpec {
962 kind: SeedKind::Zig,
963 version: "0.13.0".into(),
964 url: url.into(),
965 sha256: sha256.into(),
966 }
967 }
968
969 fn sha256_hex(bytes: &[u8]) -> String {
970 use sha2::{Digest, Sha256};
971 let mut h = Sha256::new();
972 h.update(bytes);
973 hex::encode(h.finalize())
974 }
975
976 /// Crea un tarball con un archivo `bin/zig` dentro y devuelve `(url file://, sha256 hex)`.
977 fn make_seed_tarball(dir: &Path) -> (String, String) {
978 let src = dir.join("src");
979 std::fs::create_dir_all(src.join("bin")).unwrap();
980 std::fs::write(src.join("bin/zig"), b"#!/bin/sh\necho fake zig\n").unwrap();
981 let tarball = dir.join("seed.tar.gz");
982 let st = Command::new("tar")
983 .arg("-czf")
984 .arg(&tarball)
985 .arg("-C")
986 .arg(&src)
987 .arg(".")
988 .status()
989 .unwrap();
990 assert!(st.success(), "tar -c falló");
991 let sha = sha256_hex(&std::fs::read(&tarball).unwrap());
992 (format!("file://{}", tarball.display()), sha)
993 }
994
995 #[test]
996 fn seed_hash_is_identity_based() {
997 let a = spec("file:///mirror-a.tar", "abc123");
998 let b = spec("file:///mirror-b.tar", "abc123"); // mismo sha, distinto espejo
999 assert_eq!(a.seed_hash(), b.seed_hash(), "el url no entra al hash");
1000
1001 let c = spec("file:///mirror-a.tar", "deadbeef"); // sha distinto
1002 assert_ne!(a.seed_hash(), c.seed_hash(), "el sha256 sí cambia el hash");
1003
1004 let mut d = spec("file:///mirror-a.tar", "abc123");
1005 d.kind = SeedKind::MuslCrossMake;
1006 assert_ne!(a.seed_hash(), d.seed_hash(), "la clase cambia el hash");
1007 }
1008
1009 #[test]
1010 fn stage0_ingests_and_seals() {
1011 let tmp = tempfile::tempdir().unwrap();
1012 let (url, sha) = make_seed_tarball(tmp.path());
1013 let store = Store::open(tmp.path().join("store")).unwrap();
1014 let seed = spec(&url, &sha);
1015
1016 let h = stage0(&seed, &store).expect("stage0");
1017 assert_eq!(h, seed.seed_hash());
1018 assert!(store.has(&h, &seed.store_name()), "la semilla debe quedar sellada");
1019
1020 // El contenido extraído está presente y de sólo-lectura (sellado).
1021 let zig = store.path_of(&h, &seed.store_name()).join("bin/zig");
1022 assert!(zig.is_file(), "bin/zig debe existir en el artefacto");
1023 use std::os::unix::fs::PermissionsExt;
1024 let mode = std::fs::metadata(&zig).unwrap().permissions().mode();
1025 assert_eq!(mode & 0o222, 0, "el árbol sellado no debe ser escribible");
1026 }
1027
1028 #[test]
1029 fn stage0_is_idempotent() {
1030 let tmp = tempfile::tempdir().unwrap();
1031 let (url, sha) = make_seed_tarball(tmp.path());
1032 let store = Store::open(tmp.path().join("store")).unwrap();
1033 let seed = spec(&url, &sha);
1034
1035 let h1 = stage0(&seed, &store).unwrap();
1036 let h2 = stage0(&seed, &store).unwrap(); // segunda vez: short-circuit
1037 assert_eq!(h1, h2);
1038 }
1039
1040 #[test]
1041 fn stage0_records_one_manifest_line() {
1042 let tmp = tempfile::tempdir().unwrap();
1043 let (url, sha) = make_seed_tarball(tmp.path());
1044 let store = Store::open(tmp.path().join("store")).unwrap();
1045 let seed = spec(&url, &sha);
1046
1047 let h = stage0(&seed, &store).unwrap();
1048 stage0(&seed, &store).unwrap(); // re-correr no debe duplicar la línea
1049
1050 let m = BootstrapManifest::load(&store).unwrap();
1051 assert_eq!(m.entries.len(), 1, "una sola línea para Stage 0");
1052 let e = &m.entries[0];
1053 assert_eq!(e.stage, 0);
1054 assert_eq!(e.recipe_hash, None, "la semilla se ingiere, no se compila");
1055 assert_eq!(e.artifact_hash, h);
1056 assert_eq!(e.seed_hash, Some(h), "en Stage 0 la semilla es su propio artefacto");
1057 }
1058
1059 #[test]
1060 fn stage0_bad_sha_records_no_manifest_line() {
1061 let tmp = tempfile::tempdir().unwrap();
1062 let (url, _real_sha) = make_seed_tarball(tmp.path());
1063 let store = Store::open(tmp.path().join("store")).unwrap();
1064 let seed = spec(&url, &"0".repeat(64));
1065
1066 assert!(stage0(&seed, &store).is_err());
1067 // Un fallo de integridad no debe dejar ni artefacto ni línea de manifiesto.
1068 assert!(!BootstrapManifest::path_for(&store).exists(), "no debe escribir bootstrap.json");
1069 }
1070
1071 #[test]
1072 fn stage0_rejects_bad_sha256_and_seals_nothing() {
1073 let tmp = tempfile::tempdir().unwrap();
1074 let (url, _real_sha) = make_seed_tarball(tmp.path());
1075 let store = Store::open(tmp.path().join("store")).unwrap();
1076 let seed = spec(&url, &"0".repeat(64)); // sha intencionalmente equivocado
1077
1078 let err = stage0(&seed, &store).unwrap_err();
1079 assert!(
1080 err.to_string().contains("sha256 mismatch"),
1081 "esperaba mismatch de sha256, vino: {err}"
1082 );
1083 assert!(
1084 !store.has(&seed.seed_hash(), &seed.store_name()),
1085 "un sha erróneo no debe sellar nada"
1086 );
1087 // Tampoco debe dejar staging a medio descargar bajo el store.
1088 assert!(
1089 !store.root().join(".bootstrap-tmp").exists()
1090 || std::fs::read_dir(store.root().join(".bootstrap-tmp")).unwrap().next().is_none(),
1091 "el staging debe quedar limpio tras el fallo"
1092 );
1093 }
1094
1095 /// Sella una semilla cuyo tarball coloca un `zig` ejecutable en `zig_rel` (relativo a la raíz
1096 /// del árbol) y devuelve `(store, seed)` listos para resolver el toolchain.
1097 fn seal_seed_with_zig_at(dir: &Path, zig_rel: &str) -> (Store, SeedSpec) {
1098 let src = dir.join("src");
1099 let zig = src.join(zig_rel);
1100 std::fs::create_dir_all(zig.parent().unwrap()).unwrap();
1101 std::fs::write(&zig, b"#!/bin/sh\necho fake zig\n").unwrap();
1102 let tarball = dir.join("seed.tar.gz");
1103 let st = Command::new("tar")
1104 .args(["-czf"])
1105 .arg(&tarball)
1106 .arg("-C")
1107 .arg(&src)
1108 .arg(".")
1109 .status()
1110 .unwrap();
1111 assert!(st.success());
1112 let sha = sha256_hex(&std::fs::read(&tarball).unwrap());
1113 let store = Store::open(dir.join("store")).unwrap();
1114 let seed = spec(&format!("file://{}", tarball.display()), &sha);
1115 stage0(&seed, &store).unwrap();
1116 (store, seed)
1117 }
1118
1119 #[test]
1120 fn toolchain_dir_finds_zig_in_versioned_subdir() {
1121 let tmp = tempfile::tempdir().unwrap();
1122 let (store, seed) = seal_seed_with_zig_at(tmp.path(), "zig-linux-x86_64-0.13.0/zig");
1123 let dir = seed.toolchain_dir(&store).unwrap();
1124 assert!(dir.join("zig").is_file(), "el dir resuelto debe contener zig: {}", dir.display());
1125 assert!(dir.ends_with("zig-linux-x86_64-0.13.0"), "debe elegir el hijo versionado: {}", dir.display());
1126 }
1127
1128 #[test]
1129 fn toolchain_dir_finds_zig_at_root() {
1130 let tmp = tempfile::tempdir().unwrap();
1131 let (store, seed) = seal_seed_with_zig_at(tmp.path(), "zig");
1132 let dir = seed.toolchain_dir(&store).unwrap();
1133 let base = store.path_of(&seed.seed_hash(), &seed.store_name());
1134 assert_eq!(dir, base, "zig en la raíz ⇒ el dir es la raíz de la semilla");
1135 }
1136
1137 #[test]
1138 fn toolchain_dir_errors_when_unsealed() {
1139 let tmp = tempfile::tempdir().unwrap();
1140 let store = Store::open(tmp.path().join("store")).unwrap();
1141 let seed = spec("file:///nope.tar", &"0".repeat(64)); // nunca sellada
1142 let err = seed.toolchain_dir(&store).unwrap_err().to_string();
1143 assert!(err.contains("no sellada"), "esperaba 'no sellada': {err}");
1144 }
1145
1146 #[test]
1147 fn toolchain_dir_errors_when_ambiguous() {
1148 let tmp = tempfile::tempdir().unwrap();
1149 // Dos hijos, cada uno con su `zig`: el resolutor no debe elegir a ciegas.
1150 let (store, seed) = seal_seed_with_zig_at(tmp.path(), "a/zig");
1151 let base = store.path_of(&seed.seed_hash(), &seed.store_name());
1152 // El store sella read-only; relajamos permisos para inyectar el segundo `zig` del test.
1153 let b = base.join("b");
1154 let _ = std::process::Command::new("chmod").arg("-R").arg("u+w").arg(&base).status();
1155 std::fs::create_dir_all(&b).unwrap();
1156 std::fs::write(b.join("zig"), b"x").unwrap();
1157 let err = seed.toolchain_dir(&store).unwrap_err().to_string();
1158 assert!(err.contains("ambiguo"), "esperaba 'ambiguo': {err}");
1159 }
1160
1161 #[test]
1162 fn seed_build_config_points_zig_dir_at_seed() {
1163 let tmp = tempfile::tempdir().unwrap();
1164 let (store, seed) = seal_seed_with_zig_at(tmp.path(), "zig-linux-x86_64-0.13.0/zig");
1165 let base = hammer_build::BuildConfig::defaults_for_store(store.root());
1166 let cfg = seed_build_config(&base, &seed, &store).unwrap();
1167 assert_eq!(cfg.zig_dir, seed.toolchain_dir(&store).unwrap());
1168 // El resto de la config se hereda sin cambios.
1169 assert_eq!(cfg.rootfs, base.rootfs);
1170 assert_eq!(cfg.work_root, base.work_root);
1171 }
1172
1173 // --- Stage 1 (Lote 5): hash del rootfs + ensamblado, testeables sin build real ---
1174
1175 /// Sella un componente sintético en el store y devuelve su hash. `build` puebla el árbol
1176 /// antes del `seal` (que lo marca read-only).
1177 fn seal_component(store: &Store, name: &str, hex: &str, build: impl Fn(&Path)) -> ArtifactHash {
1178 let h = ArtifactHash::from_hex(hex);
1179 let work = store.root().join(".bootstrap-tmp").join(h.store_dir_name(name));
1180 std::fs::create_dir_all(&work).unwrap();
1181 build(&work);
1182 store.seal(&work, &h, name).unwrap();
1183 h
1184 }
1185
1186 #[test]
1187 fn rootfs_hash_is_deterministic_and_sensitive() {
1188 let base = [
1189 ("musl".to_string(), ArtifactHash::from_hex("11")),
1190 ("busybox".to_string(), ArtifactHash::from_hex("22")),
1191 ];
1192 let a = rootfs_hash(&base);
1193 assert_eq!(a, rootfs_hash(&base), "mismos componentes ⇒ mismo hash");
1194
1195 let changed = [base[0].clone(), ("busybox".to_string(), ArtifactHash::from_hex("33"))];
1196 assert_ne!(a, rootfs_hash(&changed), "cambiar un componente re-hashea");
1197
1198 let reordered = [base[1].clone(), base[0].clone()];
1199 assert_ne!(a, rootfs_hash(&reordered), "el orden de ensamblado importa");
1200 }
1201
1202 #[test]
1203 fn assemble_rootfs_hydrates_and_installs_arje_init() {
1204 let tmp = tempfile::tempdir().unwrap();
1205 let store = Store::open(tmp.path().join("store")).unwrap();
1206
1207 let hmusl = seal_component(&store, "musl", "aa11", |w| {
1208 std::fs::create_dir_all(w.join("usr/lib")).unwrap();
1209 std::fs::write(w.join("usr/lib/libc.a"), b"!<arch>\n").unwrap();
1210 });
1211 let hbb = seal_component(&store, "busybox", "bb22", |w| {
1212 std::fs::create_dir_all(w.join("bin")).unwrap();
1213 std::fs::write(w.join("bin/busybox"), b"\x7fELFfake").unwrap();
1214 std::os::unix::fs::symlink("busybox", w.join("bin/sh")).unwrap();
1215 // Sidecar de provenance que NO debe terminar en el rootfs.
1216 std::fs::create_dir_all(w.join(".hammer")).unwrap();
1217 std::fs::write(w.join(".hammer/recipe.toml"), b"name = 'busybox'\n").unwrap();
1218 });
1219 let harje = seal_component(&store, "arje-zero", "cc33", |w| {
1220 std::fs::create_dir_all(w.join("usr/bin")).unwrap();
1221 std::fs::write(w.join("usr/bin/arje-zero"), b"\x7fELFfake").unwrap();
1222 });
1223
1224 let staging = store.root().join("staging");
1225 std::fs::create_dir_all(&staging).unwrap();
1226 let components = [
1227 ("musl".to_string(), hmusl),
1228 ("busybox".to_string(), hbb),
1229 ("arje-zero".to_string(), harje),
1230 ];
1231 assemble_rootfs(&store, &components, &staging).unwrap();
1232
1233 assert!(staging.join("usr/lib/libc.a").is_file(), "musl hidratado");
1234 assert!(staging.join("bin/busybox").is_file(), "busybox hidratado");
1235 assert!(staging.join("usr/bin/arje-zero").is_file(), "arje-zero hidratado");
1236 // arje-zero es PID 1 vía /sbin/init.
1237 assert_eq!(
1238 std::fs::read_link(staging.join("sbin/init")).unwrap(),
1239 std::path::PathBuf::from("/usr/bin/arje-zero"),
1240 "/sbin/init apunta a arje-zero"
1241 );
1242 // La seed card está en su lugar y es JSON válido con los genesis esperados.
1243 let seed = std::fs::read_to_string(staging.join("ente/seed.card.json")).unwrap();
1244 let v: serde_json::Value = serde_json::from_str(&seed).unwrap();
1245 assert_eq!(v["label"], "hammer-stage1");
1246 let labels: Vec<&str> = v["genesis"].as_array().unwrap()
1247 .iter().map(|g| g["label"].as_str().unwrap()).collect();
1248 assert_eq!(labels, vec!["hammerd", "console-getty"]);
1249 // Puntos de montaje que arje monta solos, presentes como dirs vacíos.
1250 assert!(staging.join("sys/fs/cgroup").is_dir() && staging.join("dev/pts").is_dir());
1251 assert!(!staging.join(".hammer").exists(), "el sidecar no debe quedar en el rootfs");
1252 // Ya no hay init provisional de busybox.
1253 assert!(!staging.join("etc/inittab").exists(), "el inittab provisional fue retirado");
1254 }
1255
1256 #[test]
1257 fn stage1_seed_card_is_valid_json_with_native_hammerd() {
1258 // La seed embebida debe ser JSON válido y declarar hammerd como servicio Native Restart
1259 // (el CRASHED real) — un template roto rompería el boot de arje-zero.
1260 let v: serde_json::Value = serde_json::from_str(STAGE1_SEED_CARD).unwrap();
1261 assert_eq!(v["payload"], "Virtual", "la semilla es Virtual");
1262 let hammerd = &v["genesis"][0];
1263 assert_eq!(hammerd["label"], "hammerd");
1264 assert_eq!(hammerd["payload"]["Native"]["exec"], "/usr/bin/hammerd");
1265 assert!(hammerd["supervision"]["Restart"]["initial"].is_number(), "hammerd es Restart");
1266 let getty = &v["genesis"][1];
1267 assert_eq!(getty["payload"]["Native"]["exec"], "/bin/busybox");
1268 }
1269
1270 #[test]
1271 fn shipped_stage1_recipes_parse_and_hash() {
1272 // Las recetas reales del repo (Lote 4) deben cargar y hashear (sha256 pinned, parse OK).
1273 let recipes_dir = Path::new(env!("CARGO_MANIFEST_DIR")).join("../../recipes");
1274 let tmp = tempfile::tempdir().unwrap();
1275 let store = Store::open(tmp.path().join("store")).unwrap();
1276 for name in STAGE1_COMPONENTS {
1277 let path = recipes_dir.join(format!("{name}.toml"));
1278 let r = Recipe::load_from_path(&path).unwrap_or_else(|e| panic!("parse {name}: {e}"));
1279 assert_eq!(&r.name, name);
1280 let h = hammer_build::artifact_hash(&r, &store).expect("hash");
1281 assert!(h.as_str().starts_with("b3:"), "hash con prefijo b3:");
1282 }
1283 }
1284
1285 #[test]
1286 fn stage2_anchors_content_hash_and_verifies() {
1287 let tmp = tempfile::tempdir().unwrap();
1288 let store = Store::open(tmp.path().join("store")).unwrap();
1289 // Sella un "rootfs" sintético con el nombre que espera stage2.
1290 let h = seal_component(&store, "stage1-rootfs", "abcd", |w| {
1291 std::fs::create_dir_all(w.join("usr/bin")).unwrap();
1292 std::fs::write(w.join("usr/bin/arje-zero"), b"\x7fELFfake-init").unwrap();
1293 });
1294
1295 let report = stage2(&h, &store).unwrap();
1296 assert_eq!(report.stage1_rootfs, h);
1297 assert!(report.stage1_content.as_str().starts_with("b3:"));
1298 assert_eq!(report.verdict, Reproducibility::RebuildPending);
1299
1300 // El manifiesto anotó la línea stage 2 con el content-hash como artefacto.
1301 let m = BootstrapManifest::load(&store).unwrap();
1302 let e2 = m.entries.iter().find(|e| e.stage == 2).expect("línea stage 2");
1303 assert_eq!(e2.artifact_hash, report.stage1_content);
1304
1305 // verify_against: un rebuild idéntico ⇒ Reproducible; distinto ⇒ Divergent.
1306 assert_eq!(
1307 verify_against(&report, report.stage1_content.clone()),
1308 Reproducibility::Reproducible
1309 );
1310 match verify_against(&report, ArtifactHash::from_hex("ffff")) {
1311 Reproducibility::Divergent { stage1, rebuilt } => {
1312 assert_eq!(stage1, report.stage1_content);
1313 assert_eq!(rebuilt, ArtifactHash::from_hex("ffff"));
1314 }
1315 v => panic!("esperaba Divergent, vino {v:?}"),
1316 }
1317 }
1318
1319 // --- Builder rootfs (SDD 11 §7): ensamblado testeable sin Alpine ni VM ---
1320
1321 /// Monta los insumos mínimos de un builder en `dir` y devuelve `(store, spec)` listos.
1322 fn builder_fixture(dir: &Path) -> (Store, BuilderSpec) {
1323 let store = Store::open(dir.join("store")).unwrap();
1324
1325 // Stage 1 rootfs sellado (con el nombre que espera el builder).
1326 let stage1 = seal_component(&store, "stage1-rootfs", "5111", |w| {
1327 std::fs::create_dir_all(w.join("usr/bin")).unwrap();
1328 std::fs::write(w.join("usr/bin/arje-zero"), b"\x7fELFinit").unwrap();
1329 std::fs::create_dir_all(w.join("sbin")).unwrap();
1330 std::os::unix::fs::symlink("/usr/bin/arje-zero", w.join("sbin/init")).unwrap();
1331 });
1332
1333 // Semilla zig sellada con bin/zig (nombre store seed-zig).
1334 let seed = seal_component(&store, "seed-zig", "5ee0", |w| {
1335 std::fs::create_dir_all(w.join("bin")).unwrap();
1336 std::fs::write(w.join("bin/zig"), b"#!/bin/sh\necho zig\n").unwrap();
1337 });
1338
1339 // Recetas, binario hammer y toolchain (Alpine sintético), fuera del store.
1340 let recipes = dir.join("recipes");
1341 std::fs::create_dir_all(&recipes).unwrap();
1342 std::fs::write(recipes.join("musl.toml"), b"name = 'musl'\n").unwrap();
1343 std::fs::write(recipes.join("busybox.toml"), b"name = 'busybox'\n").unwrap();
1344
1345 let hammer_bin = dir.join("hammer");
1346 std::fs::write(&hammer_bin, b"\x7fELF-hammer-static").unwrap();
1347
1348 let toolchain = dir.join("alpine");
1349 std::fs::create_dir_all(toolchain.join("usr/bin")).unwrap();
1350 std::fs::write(toolchain.join("usr/bin/make"), b"\x7fELFmake").unwrap();
1351
1352 let spec = BuilderSpec {
1353 stage1_rootfs: stage1,
1354 seed_hash: seed,
1355 seed_kind: SeedKind::Zig,
1356 recipes_dir: recipes,
1357 hammer_bin,
1358 toolchain_src: toolchain,
1359 toolchain_tag: "alpine-test".into(),
1360 ref_content: Some(ArtifactHash::from_hex("dead")),
1361 work_cache: None,
1362 swaps: vec![],
1363 };
1364 (store, spec)
1365 }
1366
1367 #[test]
1368 fn builder_rootfs_assembles_full_image() {
1369 let tmp = tempfile::tempdir().unwrap();
1370 let (store, spec) = builder_fixture(tmp.path());
1371 let out = tmp.path().join("builder-out");
1372
1373 let report = builder_rootfs(&spec, &store, &out).unwrap();
1374 assert!(report.builder_hash.as_str().starts_with("b3:"));
1375 assert_eq!(report.out_dir, out);
1376
1377 // Base Stage 1 hidratada (init + symlink).
1378 assert!(out.join("usr/bin/arje-zero").is_file(), "stage1 hidratado");
1379 assert_eq!(
1380 std::fs::read_link(out.join("sbin/init")).unwrap(),
1381 PathBuf::from("/usr/bin/arje-zero"),
1382 );
1383 // Toolchain en /toolchain, semilla en /store, hammer + recetas + driver.
1384 assert!(out.join("toolchain/usr/bin/make").is_file(), "toolchain montado");
1385 assert!(
1386 out.join("store").join(spec.seed_hash.store_dir_name("seed-zig")).join("bin/zig").is_file(),
1387 "semilla replicada en /store",
1388 );
1389 assert!(out.join("usr/bin/hammer").is_file(), "binario hammer");
1390 assert!(out.join("etc/hammer/recipes/musl.toml").is_file(), "recetas embebidas");
1391 assert!(out.join("usr/bin/rebuild-stage1").is_file(), "driver de rebuild");
1392
1393 // El driver y hammer son ejecutables.
1394 use std::os::unix::fs::PermissionsExt;
1395 let m = std::fs::metadata(out.join("usr/bin/rebuild-stage1")).unwrap();
1396 assert_eq!(m.permissions().mode() & 0o111, 0o111, "driver +x");
1397
1398 // rebuild.env lleva la semilla, la clase y la referencia embebidas.
1399 let env = std::fs::read_to_string(out.join("etc/hammer/rebuild.env")).unwrap();
1400 assert!(env.contains(&format!("SEED_HASH={}", spec.seed_hash)), "{env}");
1401 assert!(env.contains("SEED_KIND=zig"), "{env}");
1402 assert!(env.contains("REF_CONTENT=b3:dead"), "{env}");
1403
1404 // Línea de manifiesto (stage 2) con el hash lógico del builder.
1405 let man = BootstrapManifest::load(&store).unwrap();
1406 assert!(
1407 man.entries.iter().any(|e| e.stage == 2 && e.artifact_hash == report.builder_hash),
1408 "el builder debe anotar su línea en el manifiesto",
1409 );
1410 }
1411
1412 #[test]
1413 fn builder_hash_is_deterministic_and_sensitive() {
1414 let s1 = ArtifactHash::from_hex("11");
1415 let seed = ArtifactHash::from_hex("22");
1416 let a = builder_hash(&s1, &seed, "alpine-3.23.4", "rd", "hd", "");
1417 assert_eq!(a, builder_hash(&s1, &seed, "alpine-3.23.4", "rd", "hd", ""), "puro");
1418 assert_ne!(a, builder_hash(&s1, &seed, "alpine-3.24.0", "rd", "hd", ""), "tag del toolchain");
1419 assert_ne!(a, builder_hash(&s1, &seed, "alpine-3.23.4", "rd2", "hd", ""), "recetas");
1420 assert_ne!(a, builder_hash(&s1, &seed, "alpine-3.23.4", "rd", "hd2", ""), "binario hammer");
1421 assert_ne!(a, builder_hash(&s1, &seed, "alpine-3.23.4", "rd", "hd", "sd"), "swaps del toolchain");
1422 }
1423
1424 #[test]
1425 fn swaps_digest_empty_is_blank_and_order_insensitive() {
1426 assert_eq!(swaps_digest(&[]), "", "sin swaps ⇒ digest vacío (compat hacia atrás)");
1427 let mk = |n: &str, h: &str| ToolchainSwap {
1428 name: n.into(),
1429 artifact: ArtifactHash::from_hex(h),
1430 rel_path: format!("usr/bin/{n}"),
1431 };
1432 let a = swaps_digest(&[mk("make", "aa"), mk("bwrap", "bb")]);
1433 let b = swaps_digest(&[mk("bwrap", "bb"), mk("make", "aa")]);
1434 assert_eq!(a, b, "el digest se ordena por nombre ⇒ insensible al orden de entrada");
1435 assert!(!a.is_empty());
1436 assert_ne!(a, swaps_digest(&[mk("make", "ac"), mk("bwrap", "bb")]), "cambia con el hash");
1437 }
1438
1439 #[test]
1440 fn builder_rootfs_swaps_toolchain_tool_from_source() {
1441 let tmp = tempfile::tempdir().unwrap();
1442 let (store, mut spec) = builder_fixture(tmp.path());
1443
1444 // Artefacto sellado de un `make` "construido por hammer" con un binario distinto al de Alpine.
1445 let make = seal_component(&store, "make", "fbad", |w| {
1446 std::fs::create_dir_all(w.join("usr/bin")).unwrap();
1447 std::fs::write(w.join("usr/bin/make"), b"\x7fELF-hammer-make-static").unwrap();
1448 });
1449 spec.swaps = vec![ToolchainSwap {
1450 name: "make".into(),
1451 artifact: make,
1452 rel_path: "usr/bin/make".into(),
1453 }];
1454
1455 let out = tmp.path().join("builder-out");
1456 let report = builder_rootfs(&spec, &store, &out).unwrap();
1457
1458 // El make de /toolchain es ahora el de hammer, no el de Alpine.
1459 let got = std::fs::read(out.join("toolchain/usr/bin/make")).unwrap();
1460 assert_eq!(got, b"\x7fELF-hammer-make-static", "el swap pisó el make de Alpine");
1461
1462 // El hash lógico cambia respecto a un builder pura-Alpine (la procedencia es auditable).
1463 let mut pure = spec.clone();
1464 pure.swaps = vec![];
1465 let pure_report = builder_rootfs(&pure, &store, &tmp.path().join("builder-pure")).unwrap();
1466 assert_ne!(report.builder_hash, pure_report.builder_hash, "el swap entra al hash lógico");
1467 }
1468
1469 #[test]
1470 fn builder_rootfs_errors_when_swap_artifact_missing_binary() {
1471 let tmp = tempfile::tempdir().unwrap();
1472 let (store, mut spec) = builder_fixture(tmp.path());
1473 // Artefacto sellado pero SIN el binario esperado en rel_path.
1474 let make = seal_component(&store, "make", "fbad", |w| {
1475 std::fs::create_dir_all(w.join("usr/share")).unwrap();
1476 std::fs::write(w.join("usr/share/x"), b"no-binary").unwrap();
1477 });
1478 spec.swaps = vec![ToolchainSwap {
1479 name: "make".into(),
1480 artifact: make,
1481 rel_path: "usr/bin/make".into(),
1482 }];
1483 let out = tmp.path().join("builder-out");
1484 let err = builder_rootfs(&spec, &store, &out).unwrap_err().to_string();
1485 assert!(err.contains("no existe") && err.contains("artefacto sellado"), "{err}");
1486 }
1487
1488 #[test]
1489 fn builder_rootfs_swaps_toolchain_header_tree_from_source() {
1490 let tmp = tempfile::tempdir().unwrap();
1491 let (store, mut spec) = builder_fixture(tmp.path());
1492
1493 // Artefacto sellado de un `linux-headers` con un árbol `usr/include/linux` propio.
1494 let headers = seal_component(&store, "linux-headers", "abcd", |w| {
1495 std::fs::create_dir_all(w.join("usr/include/linux")).unwrap();
1496 std::fs::write(w.join("usr/include/linux/version.h"), b"#define HAMMER 1\n").unwrap();
1497 std::fs::write(w.join("usr/include/linux/stat.h"), b"struct hammer_stat;\n").unwrap();
1498 });
1499 // El toolchain Alpine tiene un linux/ con un archivo huérfano que el swap debe borrar.
1500 let tc_linux = spec.toolchain_src.join("usr/include/linux");
1501 std::fs::create_dir_all(&tc_linux).unwrap();
1502 std::fs::write(tc_linux.join("version.h"), b"#define ALPINE 1\n").unwrap();
1503 std::fs::write(tc_linux.join("orphan.h"), b"alpine-only\n").unwrap();
1504
1505 spec.swaps = vec![ToolchainSwap {
1506 name: "linux-headers".into(),
1507 artifact: headers,
1508 rel_path: "usr/include/linux".into(),
1509 }];
1510
1511 let out = tmp.path().join("builder-out");
1512 builder_rootfs(&spec, &store, &out).unwrap();
1513
1514 let v = std::fs::read(out.join("toolchain/usr/include/linux/version.h")).unwrap();
1515 assert_eq!(v, b"#define HAMMER 1\n", "el swap pisó el version.h de Alpine");
1516 assert!(out.join("toolchain/usr/include/linux/stat.h").is_file(), "copió el árbol entero");
1517 assert!(
1518 !out.join("toolchain/usr/include/linux/orphan.h").exists(),
1519 "el swap-directorio borró el huérfano de Alpine"
1520 );
1521 }
1522
1523 #[test]
1524 fn builder_rootfs_without_ref_leaves_empty_ref_content() {
1525 let tmp = tempfile::tempdir().unwrap();
1526 let (store, mut spec) = builder_fixture(tmp.path());
1527 spec.ref_content = None;
1528 let out = tmp.path().join("builder-out");
1529 builder_rootfs(&spec, &store, &out).unwrap();
1530 let env = std::fs::read_to_string(out.join("etc/hammer/rebuild.env")).unwrap();
1531 assert!(env.contains("REF_CONTENT=\n"), "sin referencia ⇒ REF_CONTENT vacío: {env:?}");
1532 }
1533
1534 #[test]
1535 fn builder_rootfs_with_work_cache_containing_out_dir_terminates() {
1536 // Regresión: --work-cache work --out work/builder-rootfs. Copiar la caché no debe tragarse
1537 // el propio destino (recursión infinita que llena el disco). El skip lo corta.
1538 let tmp = tempfile::tempdir().unwrap();
1539 let (store, mut spec) = builder_fixture(tmp.path());
1540
1541 // Caché de fetch con un mirror sintético + un árbol sources/ regenerable (no debe viajar).
1542 let work = tmp.path().join("work");
1543 std::fs::create_dir_all(work.join("repos/musl.git")).unwrap();
1544 std::fs::write(work.join("repos/musl.git/HEAD"), b"ref: refs/heads/master\n").unwrap();
1545 std::fs::create_dir_all(work.join("sources/musl-abc")).unwrap();
1546 std::fs::write(work.join("sources/musl-abc/configure"), b"#!/bin/sh\n").unwrap();
1547 spec.work_cache = Some(work.clone());
1548
1549 // out_dir vive DENTRO de la caché: el caso que disparaba la recursión.
1550 let out = work.join("builder-rootfs");
1551 let report = builder_rootfs(&spec, &store, &out).unwrap();
1552 assert!(report.builder_hash.as_str().starts_with("b3:"));
1553
1554 // Sólo viajan los mirrors; el destino NO se copió en sí mismo; sources/ NO se embebe.
1555 assert!(out.join("work/repos/musl.git/HEAD").is_file(), "los mirrors git se embeben");
1556 assert!(
1557 !out.join("work/builder-rootfs").exists(),
1558 "el out_dir no debe haberse copiado en su propio /work (recursión)",
1559 );
1560 assert!(
1561 !out.join("work/sources").exists(),
1562 "sources/ es regenerable y pesado: no debe viajar en el builder",
1563 );
1564 }
1565
1566 #[test]
1567 fn builder_rootfs_errors_when_stage1_unsealed() {
1568 let tmp = tempfile::tempdir().unwrap();
1569 let (store, mut spec) = builder_fixture(tmp.path());
1570 spec.stage1_rootfs = ArtifactHash::from_hex("0000"); // nunca sellado
1571 let out = tmp.path().join("builder-out");
1572 let err = builder_rootfs(&spec, &store, &out).unwrap_err().to_string();
1573 assert!(err.contains("no sellado"), "{err}");
1574 }
1575
1576 #[test]
1577 fn artifact_content_hash_errors_when_unsealed() {
1578 let tmp = tempfile::tempdir().unwrap();
1579 let store = Store::open(tmp.path().join("store")).unwrap();
1580 let err = artifact_content_hash(&store, &ArtifactHash::from_hex("00"), "stage1-rootfs")
1581 .unwrap_err()
1582 .to_string();
1583 assert!(err.contains("no sellado"), "{err}");
1584 }
1585
1586 #[test]
1587 fn all_shipped_recipes_parse_and_hash() {
1588 // Toda receta en recipes/ (incluida arje-zero, el puente Cargo a tawasuyu) debe parsear y
1589 // hashear offline. Cubre las que no están en STAGE1_COMPONENTS y futuras.
1590 let recipes_dir = Path::new(env!("CARGO_MANIFEST_DIR")).join("../../recipes");
1591 let tmp = tempfile::tempdir().unwrap();
1592 let store = Store::open(tmp.path().join("store")).unwrap();
1593 let mut count = 0;
1594 for entry in std::fs::read_dir(&recipes_dir).unwrap() {
1595 let path = entry.unwrap().path();
1596 if path.extension().and_then(|e| e.to_str()) != Some("toml") {
1597 continue;
1598 }
1599 let r = Recipe::load_from_path(&path)
1600 .unwrap_or_else(|e| panic!("parse {}: {e}", path.display()));
1601 let h = hammer_build::artifact_hash(&r, &store)
1602 .unwrap_or_else(|e| panic!("hash {}: {e}", path.display()));
1603 assert!(h.as_str().starts_with("b3:"), "{}: hash con prefijo b3:", path.display());
1604 count += 1;
1605 }
1606 assert!(count >= 5, "esperaba ≥5 recetas (grep/musl/busybox/hammerd/arje-zero), vi {count}");
1607 }
1608}