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…
⎇ 1728a77a3ae6e102ec913322325c55892da95bc9
crates/takana-build/src/lib.rs
Historia
Quién tocó qué
crudo
go/cgo: GOTMPDIR fuera del módulo — era la única causa del no-determinismo de gocryptfs
1//! El laboratorio: compila una receta de forma hermética y la sella en el store; e hidrata
2//! artefactos al FHS. Ver `docs/02-build-lab.md` y `docs/03-hydration.md`.
3
4use std::collections::HashMap;
5use std::path::{Path, PathBuf};
6
7use takana_core::{ArtifactHash, Compiler, LinkMode, Phases, Recipe, Store};
8
9pub mod config;
10pub mod download;
11pub mod fetch;
12pub mod harkaq;
13pub mod hydrate;
14pub mod sandbox;
15pub mod swm_bridge;
16
17pub use config::BuildConfig;
18pub use hydrate::{hydrate as run_hydrate, DynamicSpec, HydrateReport, HydratedFile};
19pub use sandbox::{BuildFailure, Sandbox};
20pub use swm_bridge::build_source_patch;
21
22/// Calcula el `ArtifactHash` de una receta, resolviendo recursivamente sus deps de build.
23/// Ver `docs/02-build-lab.md` §2 y §5.
24///
25/// **Catálogo = `base_dir` de la receta.** Cada nombre en `deps.build` se resuelve al hermano
26/// `<base_dir>/<dep>.toml`; su hash entra en el de la receta (Merkle sobre el subgrafo de build).
27/// Así dos recetas con la misma fuente pero distinto grafo de deps hashean distinto, y cambiar
28/// una dep transitiva invalida la caché de todo lo que la usa.
29///
30/// Errores: una receta con `deps.build` pero sin `base_dir` (parseada de TOML crudo, no cargada
31/// de disco) no puede resolver su catálogo; un `<dep>.toml` ausente, o un ciclo de deps, también
32/// fallan con un mensaje que nombra la cadena.
33pub fn artifact_hash(
34 recipe: &Recipe,
35 _store: &Store,
36 lab: &takana_core::lab::LabFingerprint,
37) -> takana_core::Result<ArtifactHash> {
38 let mut stack: Vec<String> = Vec::new();
39 // Memo por path canónico de receta: el grafo de build es un DAG-diamante (p.ej. TODO KF6/Qt
40 // converge en qtbase/kcoreaddons, alcanzables por decenas de rutas). Sin memoizar, el walk
41 // recursivo es exponencial en NÚMERO DE CAMINOS y cuelga en paquetes grandes (plasma-workspace,
42 // ~90 deps). El hash de una receta es función pura de su subárbol ⇒ computar una vez por nodo.
43 // Clave = path resuelto (no `name`): dos variantes homónimas (incoming-kde/libxml2 vs canónica)
44 // no deben colisionar. Ver granja-promote-colisiones.
45 let mut memo: HashMap<PathBuf, ArtifactHash> = HashMap::new();
46 artifact_hash_rec(recipe, &mut stack, &mut memo, lab)
47}
48
49fn artifact_hash_rec(
50 recipe: &Recipe,
51 stack: &mut Vec<String>,
52 memo: &mut HashMap<PathBuf, ArtifactHash>,
53 lab: &takana_core::lab::LabFingerprint,
54) -> takana_core::Result<ArtifactHash> {
55 if stack.iter().any(|n| n == &recipe.name) {
56 stack.push(recipe.name.clone());
57 return Err(takana_core::Error::Recipe(format!(
58 "ciclo de dependencias de build: {}",
59 stack.join(" -> ")
60 )));
61 }
62
63 let dep_hashes = resolve_build_dep_hashes(recipe, stack, memo, lab)?;
64 let inputs = recipe.hash_inputs(&dep_hashes, lab)?;
65 let refs: Vec<&[u8]> = inputs.iter().map(|v| v.as_slice()).collect();
66 Ok(ArtifactHash::of_inputs(&refs))
67}
68
69/// Resuelve la ruta de una dep de build: primero como HERMANO (`base_dir/{dep}.toml`), y si no
70/// existe, en el catálogo PADRE (`base_dir/../{dep}.toml`). El fallback al padre permite que una
71/// receta en `recipes/incoming/` (cola de staging) dependa de una del corpus `recipes/` sin
72/// duplicarla ni symlinkearla — destraba la frontera de deps-del-corpus (openssl, zlib, …) en la
73/// granja, que construye desde `incoming/`. Si ninguna existe, devuelve la ruta hermana (para que
74/// el error apunte al lugar esperado).
75fn resolve_dep_path(base_dir: &Path, dep: &str) -> PathBuf {
76 let sibling = base_dir.join(format!("{dep}.toml"));
77 if sibling.exists() {
78 return sibling;
79 }
80 if let Some(parent) = base_dir.parent() {
81 let in_parent = parent.join(format!("{dep}.toml"));
82 if in_parent.exists() {
83 return in_parent;
84 }
85 }
86 sibling
87}
88
89/// Resuelve y hashea, en orden de declaración, cada `deps.build` de `recipe` cargándolo del
90/// catálogo (su `base_dir`). `stack` lleva la cadena en curso para detectar ciclos.
91fn resolve_build_dep_hashes(
92 recipe: &Recipe,
93 stack: &mut Vec<String>,
94 memo: &mut HashMap<PathBuf, ArtifactHash>,
95 lab: &takana_core::lab::LabFingerprint,
96) -> takana_core::Result<Vec<ArtifactHash>> {
97 if recipe.deps.build.is_empty() {
98 return Ok(Vec::new());
99 }
100 if recipe.base_dir.as_os_str().is_empty() {
101 return Err(takana_core::Error::Recipe(format!(
102 "la receta '{}' declara deps de build {:?} pero no tiene base_dir; \
103 cárgala con Recipe::load_from_path para resolver el catálogo",
104 recipe.name, recipe.deps.build
105 )));
106 }
107
108 stack.push(recipe.name.clone());
109 let mut hashes = Vec::with_capacity(recipe.deps.build.len());
110 for dep in &recipe.deps.build {
111 let dep_path = resolve_dep_path(&recipe.base_dir, dep);
112 // Clave del memo: path canónico (colapsa `./a/../b` y symlinks a una identidad estable).
113 let key = dep_path.canonicalize().unwrap_or_else(|_| dep_path.clone());
114 if let Some(h) = memo.get(&key) {
115 hashes.push(h.clone());
116 continue;
117 }
118 let dep_recipe = Recipe::load_from_path(&dep_path).map_err(|e| {
119 takana_core::Error::Recipe(format!(
120 "no pude cargar la dep de build '{dep}' de '{}' ({}): {e}",
121 recipe.name,
122 dep_path.display()
123 ))
124 })?;
125 let h = artifact_hash_rec(&dep_recipe, stack, memo, lab)?;
126 memo.insert(key, h.clone());
127 hashes.push(h);
128 }
129 stack.pop();
130 Ok(hashes)
131}
132
133/// Construye (si falta) cada `deps.build` y devuelve sus directorios sellados en el store, para
134/// apilarlos como capas overlay del sandbox (variante b: bwrap necesita libcap.a + sys/capability.h,
135/// ausentes del toolchain Alpine). Recursivo vía `build`: una dep con sus propias deps se materializa
136/// transitivamente. Los ciclos ya los corta `artifact_hash` (con su `stack`) antes de llegar acá.
137fn materialize_build_deps(
138 recipe: &Recipe,
139 cfg: &BuildConfig,
140 store: &Store,
141) -> takana_core::Result<Vec<PathBuf>> {
142 if recipe.deps.build.is_empty() {
143 return Ok(Vec::new());
144 }
145 if recipe.base_dir.as_os_str().is_empty() {
146 return Err(takana_core::Error::Recipe(format!(
147 "la receta '{}' declara deps de build {:?} pero no tiene base_dir; \
148 cárgala con Recipe::load_from_path para resolver el catálogo",
149 recipe.name, recipe.deps.build
150 )));
151 }
152 let mut dirs = Vec::with_capacity(recipe.deps.build.len());
153 for dep in &recipe.deps.build {
154 let dep_path = resolve_dep_path(&recipe.base_dir, dep);
155 let dep_recipe = Recipe::load_from_path(&dep_path).map_err(|e| {
156 takana_core::Error::Recipe(format!(
157 "no pude cargar la dep de build '{dep}' de '{}' ({}): {e}",
158 recipe.name,
159 dep_path.display()
160 ))
161 })?;
162 let dep_hash = build(&dep_recipe, cfg, store)?;
163 dirs.push(store.path_of(&dep_hash, &dep_recipe.name));
164 }
165 Ok(dirs)
166}
167
168/// Resuelve el directorio de zig para una receta: el por defecto del lab (`cfg.zig_dir`), salvo que
169/// la receta fije `build.zig_version`, en cuyo caso se usa el zig de esa versión, ubicado como
170/// **hermano** del por defecto (`<…>/zig-x86_64-linux-<version>`, el layout de `.dev-fs/tools/`).
171/// Escotilla por-receta para esquivar la regresión de zig 0.14 sin tocar el toolchain global.
172fn effective_zig_dir(cfg: &BuildConfig, recipe: &Recipe) -> takana_core::Result<PathBuf> {
173 let Some(version) = &recipe.build.zig_version else {
174 return Ok(cfg.zig_dir.clone());
175 };
176 let parent = cfg.zig_dir.parent().unwrap_or_else(|| Path::new("."));
177 let dir = parent.join(format!("zig-x86_64-linux-{version}"));
178 if !dir.join("zig").is_file() {
179 return Err(takana_core::Error::Recipe(format!(
180 "zig_version=\"{version}\": no encuentro el ejecutable zig en {} \
181 (bajá ese zig a {}/)",
182 dir.display(),
183 parent.display(),
184 )));
185 }
186 Ok(dir)
187}
188
189/// Compila una receta y devuelve el hash del artefacto sellado en el store.
190/// Si el hash ya existe en el store, devuelve sin recompilar (caché).
191pub fn build(
192 recipe: &Recipe,
193 cfg: &BuildConfig,
194 store: &Store,
195) -> takana_core::Result<ArtifactHash> {
196 // La huella sale del rootfs de ESTE cfg, que es el lab que de verdad va a compilar — no de
197 // `docs/state/lab-toolchain.lock` ni de una ruta derivada del store. Derivarla del padre del
198 // store ya mordió una vez (ver `BuildConfig::defaults_for_store_with_lab`): al anclar el store
199 // de un worker a un volumen, el lab se buscaba donde no estaba. `cfg.rootfs` respeta
200 // `TAKANA_LAB`/`TAKANA_ROOTFS` y es la única fuente que no puede desincronizarse del build.
201 let lab = takana_core::lab::LabFingerprint::from_rootfs(&cfg.rootfs)?;
202 let h = artifact_hash(recipe, store, &lab)?;
203 if store.has(&h, &recipe.name) {
204 tracing::info!(hash = %h, name = %recipe.name, "caché: artefacto ya en el store");
205 return Ok(h);
206 }
207 // zig efectivo de ESTA receta: el por defecto del lab, salvo que la receta fije `zig_version`
208 // (escotilla para esquivar la regresión de zig 0.14 en ciertos binarios musl; ver SDD 11 §7.2b).
209 let zig_dir = effective_zig_dir(cfg, recipe)?;
210 sandbox::ensure_layout(&cfg.rootfs, &zig_dir)?;
211
212 // Materializa las deps de build (las construye si faltan) ANTES del fetch: sus árboles sellados
213 // se apilan como capas overlay del sandbox para que headers/libs/pkgconfig estén en /usr.
214 let dep_dirs = materialize_build_deps(recipe, cfg, store)?;
215 if !dep_dirs.is_empty() {
216 tracing::info!(n = dep_dirs.len(), "deps de build materializadas como capas overlay");
217 }
218
219 tracing::info!(hash = %h, name = %recipe.name, "fetch");
220 let src_tree = fetch::fetch(recipe, &cfg.work_root)?;
221
222 if !recipe.source.patches.is_empty() {
223 tracing::info!(n = recipe.source.patches.len(), "aplicando patches");
224 fetch::apply_patches(recipe, &src_tree)?;
225 }
226
227 // Receta efectiva para resolver las FASES: puede ganar un `-p <pkg>` si la fuente es un
228 // workspace Cargo virtual (ver inject_cargo_package_selector). El hash `h` ya está fijado desde
229 // los flags ORIGINALES de la receta; el `-p` es resolución determinista del lab (misma fuente →
230 // mismo paquete) ⇒ no afecta la reproducibilidad ni el sidecar (que guarda la receta original).
231 let mut eff_recipe = recipe.clone();
232
233 // Recetas Cargo: vendoreamos las deps (red permitida en el fetch) para que el build sea
234 // hermético `--offline` dentro del sandbox. Tras los patches, por si tocaron Cargo.toml/lock.
235 // `cargo_vendor = true` fuerza esta rama en árboles POLÍGLOTAS, donde `detect_build_system`
236 // —que asume un sistema por árbol— eligió el de C. librsvg es el arquetipo: `configure.ac` gana
237 // por precedencia, pero su Makefile llama a `cargo build`, y sin vendoreo ese cargo sale a la
238 // red dentro del sandbox hermético. Ver `Source::cargo_vendor`.
239 if matches!(detect_build_system(&src_tree), BuildSys::Cargo)
240 || eff_recipe.source.cargo_vendor == Some(true)
241 {
242 // El source se copia DENTRO del repo takana (que es un workspace Cargo) ⇒ si el Cargo.toml
243 // de la fuente NO declara su propio `[workspace]`, cargo cree que pertenece al workspace de
244 // takana y `cargo vendor` aborta. Inyectamos un `[workspace]` vacío para aislarla. SÓLO si
245 // no lo tiene ya (las recetas del corpus que lo parchean a mano siguen funcionando sin
246 // duplicar la tabla). Esto desbloquea genéricamente los imports Rust (Etapa G) sin un patch
247 // por receta. Ver memoria 'cargo-recipe crate suelto'.
248 ensure_cargo_workspace_isolation(&src_tree)?;
249 // Extractor de workspaces (Etapa G): si el root es virtual, resuelve `-p <pkg>` del bin.
250 // SÓLO cuando el árbol ES una receta Cargo. En un políglota (`cargo_vendor = true`) el
251 // producto lo arma el sistema de build de C —que llama a cargo con sus propios argumentos—
252 // y meterle un `-p` a los flags de la receta sería inyectar una opción de Cargo en un
253 // `./configure`. Acá el forzado pide vendoreo, nada más.
254 if matches!(detect_build_system(&src_tree), BuildSys::Cargo) {
255 inject_cargo_package_selector(&mut eff_recipe, &src_tree);
256 }
257 tracing::info!("cargo: vendoreando deps para build offline");
258 fetch::vendor_cargo_deps(
259 &src_tree,
260 eff_recipe.source.cargo_vendor_dir.as_deref().unwrap_or("vendor"),
261 )?;
262 }
263
264 // Recetas Go: análogo a Cargo. Si el árbol trae `go.mod`, vendoreamos los módulos (red en el
265 // fetch) para que `go build -mod=vendor` resuelva offline en el sandbox. El toolchain `go` lo
266 // aporta `deps.build = ["go"]` (recipes/go.toml) DENTRO del sandbox; el vendoring usa el `go`
267 // del host (lo provee el lab). No hay BuildSys::Go: las recetas Go fijan el compile en
268 // `[build.phases]` (ver tandas/staged-2026-06-26/amfora.toml como plantilla).
269 // El módulo Go puede estar en un subdir (recipe `build.subdir`, p.ej. dolt→go); vendoreamos ahí.
270 let go_root = if eff_recipe.build.subdir.is_empty() {
271 src_tree.clone()
272 } else {
273 src_tree.join(&eff_recipe.build.subdir)
274 };
275 if go_root.join("go.mod").is_file() || go_root.join("go.work").is_file() {
276 tracing::info!("go: vendoreando módulos para build offline");
277 fetch::vendor_go_deps(&go_root)?;
278 }
279
280 let out_dir = unique_out_dir(&cfg.work_root, &recipe.name, &h)?;
281 let mut env: Vec<(String, String)> = Vec::new();
282 if matches!(recipe.build.link, LinkMode::Static) {
283 // autotools/cmake leen LDFLAGS para el link final; -static fuerza el binario
284 // monolítico que pide nuestra estrategia de hidratación primaria.
285 env.push(("LDFLAGS".into(), "-static".into()));
286 }
287 // El `compiler` de la receta decide el CC/CXX/AR reales; el default del sandbox es `zig cc`.
288 // Esto vuelve DECLARATIVO el escape a un toolchain real (gcc de Alpine = musl + GNU `ld`) para
289 // paquetes que el `lld` estricto de zig NO linkea (símbolos duplicados, flags que zig filtra —
290 // ver Etapa G, lz4). `self.env` pisa los defaults del sandbox. gcc/clang default a x86-64
291 // genérico (reproducible, sin `-march=native`), no hace falta `-mcpu=baseline`.
292 match recipe.build.compiler {
293 Compiler::ZigCc => {}
294 Compiler::Gcc => {
295 env.push(("CC".into(), "gcc".into()));
296 env.push(("CXX".into(), "g++".into()));
297 env.push(("AR".into(), "ar".into()));
298 }
299 Compiler::Clang => {
300 env.push(("CC".into(), "clang".into()));
301 env.push(("CXX".into(), "clang++".into()));
302 env.push(("AR".into(), "llvm-ar".into()));
303 }
304 }
305 // Autotools (Etapa G Fase 3): exporta CBUILD/CHOST con el triple nativo SANEADO del sandbox
306 // (`x86_64-linux-musl`, el mismo que el wrapper zig-cc emite). Las recetas importadas de Alpine
307 // traducen `./configure --build=$CBUILD --host=$CHOST` literal del abuild (`translate_abuild` los
308 // deja intactos a propósito); sin estas envs `$CBUILD/$CHOST` quedan VACÍAS y autotools cae a
309 // `config.guess`, que detecta `x86_64-alpine-linux-musl` — vendor que zig NO conoce
310 // (`UnknownOperatingSystem`). Resuelve el residuo autotools que antes era trabajo a mano. Inerte
311 // para Cargo/CMake/Meson (no leen estas envs).
312 env.push(("CBUILD".into(), SANDBOX_NATIVE_TARGET.to_string()));
313 env.push(("CHOST".into(), SANDBOX_NATIVE_TARGET.to_string()));
314 // *-sys C-FFI (Etapa G): si la receta declara `openssl` como dep, apuntá `openssl-sys` a la
315 // openssl takana-built materializada en /usr (estática, musl). Sin esto openssl-sys busca en el
316 // host y aborta ("Could not find directory of OpenSSL installation"). Condicional al dep ⇒ no
317 // rompe recetas que usen openssl vendored. Destraba la frontera cargo-* (reqwest/git tools).
318 if recipe.deps.build.iter().any(|d| d == "openssl") {
319 env.push(("OPENSSL_DIR".into(), "/usr".into()));
320 env.push(("OPENSSL_STATIC".into(), "1".into()));
321 env.push(("OPENSSL_NO_VENDOR".into(), "1".into()));
322 }
323 if let Some(cache) = &cfg.cache_root {
324 std::fs::create_dir_all(cache.join("zig"))?;
325 }
326 let sb = Sandbox {
327 rootfs: cfg.rootfs.clone(),
328 zig_dir: zig_dir.clone(),
329 src_dir: src_tree.clone(),
330 out_dir: out_dir.clone(),
331 cache_dir: cfg.cache_root.clone(),
332 deps: dep_dirs,
333 env,
334 };
335
336 let phases = resolve_phases(&eff_recipe, &src_tree)?;
337 if let Some(cmd) = &phases.configure {
338 tracing::info!(cmd, "phase: configure");
339 sb.run(cmd)?;
340 }
341 if let Some(cmd) = &phases.compile {
342 tracing::info!(cmd, "phase: compile");
343 sb.run(cmd)?;
344 } else {
345 return Err(takana_core::Error::Recipe(
346 "receta sin fase 'compile' y heurística no encontró ninguna".into(),
347 ));
348 }
349 if let Some(cmd) = &phases.install {
350 tracing::info!(cmd, "phase: install");
351 sb.run(cmd)?;
352 } else {
353 return Err(takana_core::Error::Recipe(
354 "receta sin fase 'install' y heurística no encontró ninguna".into(),
355 ));
356 }
357
358 // ── SEPARAR LA INFO DE DEPURACIÓN (SDD 23) ──────────────────────────────────────────────────
359 // Corre DESPUÉS del install, sobre `/out`, y sólo si la receta lo pide con `strip_debug = true`.
360 //
361 // POR QUÉ ACÁ Y NO EN LA FASE `install` DE CADA RECETA: de las 1161 recetas, **383 no tienen
362 // fase install explícita** — usan la heurística por defecto. Meterlo receta a receta obligaría a
363 // escribir a mano ese install por defecto en las 383, con el riesgo de no clavarlo exacto y
364 // cambiar el comportamiento sin querer. El lab lo hace una vez, igual para todas.
365 //
366 // ⚠ ESTO CAMBIA EL CONTENIDO DEL ARTEFACTO, así que el campo que lo activa **entra en
367 // `hash_inputs`** (ver la doc de `Build::strip_debug`). Si no entrara, el lab podría cambiar lo
368 // que sale del build sin mover el hash y el store MENTIRÍA.
369 //
370 // `zig objcopy` en vez del `strip` de binutils: zig SIEMPRE está en el sandbox (`/opt/zig`), así
371 // que activar esto no obliga a añadir una dep de build a cada receta.
372 //
373 // El `|| true` por fichero es deliberado: `/out` tiene scripts, datos y cabeceras además de ELF,
374 // y objcopy falla en ellos. Fallar el build por no poder strippear un `.h` sería absurdo; lo que
375 // importa es que los ELF queden sin `.debug_*`.
376 if recipe.build.strip_debug == Some(true) {
377 // ⚠ A FICHERO TEMPORAL Y LUEGO `mv` — NUNCA in-place. `zig objcopy --strip-debug X X`
378 // (mismo fichero como entrada y salida) **TRUNCA EL FICHERO A 0 BYTES**. El 2026-08-08 eso
379 // destruyó los artefactos del piloto, y lo peor es que los TRES indicadores decían que iba
380 // bien: el tamaño cayó un 84% (porque los ficheros quedaron vacíos), `why-differs` dijo
381 // REPRODUCE (porque dos árboles vacíos son idénticos) y no quedaban secciones `.debug_`
382 // (porque no quedaba ninguna sección). Se cazó al ejecutar el binario: 0 bytes.
383 // ⇒ La verificación de un artefacto tiene que incluir que SIGA FUNCIONANDO, no sólo que
384 // pese menos y reproduzca. Un artefacto vacío cumple las dos y no sirve para nada.
385 // Herramienta: el `strip` de **binutils**, no `zig objcopy`. Se intentó con zig porque está
386 // siempre en el sandbox y no obligaría a declarar una dep — pero no se pudo confirmar que su
387 // `objcopy` acepte `--strip-debug`, y el resultado fue un no-op silencioso: los binarios
388 // quedaron intactos y el tamaño no bajó. Preferible una dep explícita que funciona a una
389 // comodidad que no se sabe si hace algo.
390 // ⇒ Las recetas con `strip_debug = true` deben declarar `binutils` en `[deps].build`.
391 //
392 // ⚠ `-D` (= `--enable-deterministic-archives`) NO ES OPCIONAL. Sin él, `strip` reescribe los
393 // `.a` con los timestamps/uid/gid reales de cada corrida ⇒ el artefacto sigue divergiendo,
394 // sólo que ahora por la CABECERA `ar` en vez de por `.debug_*`. Medido en el piloto: quitar
395 // el debug arregló una fuga de no-determinismo y abrió otra, y `why-differs` la nombró
396 // exacto («ar-cabecera → archivar en modo determinista»). Arreglar media causa deja el
397 // invariante igual de roto.
398 let cmd = r#"find /out -type f \( -perm -u+x -o -name '*.so' -o -name '*.so.*' -o -name '*.a' \) -exec sh -c 'strip -D --strip-debug "$1" 2>/dev/null || true' _ {} \;"#;
399 tracing::info!("phase: strip-debug (separando .debug_* del artefacto)");
400 sb.run(cmd)?;
401 }
402
403 // Sidecar de provenance: escribimos la receta serializada DENTRO de out_dir antes del
404 // seal, para que quede congelada en el árbol read-only del store. `takana export` la
405 // lee de vuelta para emitir `source_patch` con la receta original en vez de un
406 // `file_drop` opaco. Ver `docs/04-overlay.md` §provenance (Fase 4).
407 let sidecar_path = out_dir.join(takana_core::store::RECIPE_SIDECAR_REL);
408 if let Some(parent) = sidecar_path.parent() {
409 std::fs::create_dir_all(parent)?;
410 }
411 let toml_text = recipe.to_toml()?;
412 std::fs::write(&sidecar_path, toml_text.as_bytes())?;
413
414 let sealed = store.seal(&out_dir, &h, &recipe.name)?;
415 tracing::info!(path = %sealed.display(), "sealed");
416 Ok(h)
417}
418
419/// El resultado de correr un check de evidencia, con su veredicto (H1b).
420#[derive(Debug, Clone)]
421pub struct EvidenceOutcome {
422 pub kind: takana_core::EvidenceKind,
423 pub cmd: String,
424 pub outcome: takana_core::CheckOutcome,
425}
426
427/// Reporte de la ejecución de TODA la evidencia de una receta (H1b). `all_passed` es el gate:
428/// si es `false`, el bucle agéntico NO debe proponer la mutación (SDD 15 §H1: "falla ⇒ no se propone").
429#[derive(Debug, Clone)]
430pub struct EvidenceReport {
431 pub results: Vec<EvidenceOutcome>,
432}
433
434impl EvidenceReport {
435 pub fn all_passed(&self) -> bool {
436 self.results.iter().all(|r| r.outcome.passed)
437 }
438 /// El estrato de confianza MÁS ALTO que pasó (para reportar "verificado hasta <nivel>"). `None`
439 /// si no hay checks. No promete que ese nivel *baste* — sólo que lo declarado a ese nivel pasó.
440 pub fn max_level_passed(&self) -> Option<takana_core::EvidenceKind> {
441 self.results
442 .iter()
443 .filter(|r| r.outcome.passed)
444 .map(|r| r.kind)
445 .max()
446 }
447}
448
449/// Corre la evidencia de comportamiento de una receta (H1b, proof-carrying recipes). Reproduce el
450/// artefacto (cache-hit si ya está sellado), levanta un sandbox reproducible con la fuente +
451/// build-deps + el artefacto instalado montado como capa overlay (sus `/usr/bin` en PATH ⇒ los
452/// smoke tests tipo `bin --version` encuentran el binario), y ejecuta cada check comparando
453/// (exit, blake3(stdout)) contra lo declarado. Es "un runner de comandos con hash del output", no un
454/// framework — la confianza vive acá (pequeño y auditable), no en el generador de la receta.
455///
456/// Frontera honesta: garantiza que *lo declarado pasa*, no que *lo declarado basta* (eso lo juzga el
457/// humano). Los checks corren con el entorno BASE del sandbox; un check que recompila (proptest) usa
458/// el toolchain que traigan las build-deps en PATH.
459pub fn run_evidence(
460 recipe: &Recipe,
461 cfg: &BuildConfig,
462 store: &Store,
463) -> takana_core::Result<EvidenceReport> {
464 recipe.evidence.validate()?;
465 if recipe.evidence.checks.is_empty() {
466 return Ok(EvidenceReport { results: Vec::new() });
467 }
468
469 // 1. Reproducir: construir/sellar el artefacto (cache-hit si existe).
470 let h = build(recipe, cfg, store)?;
471 let artifact_dir = store.path_of(&h, &recipe.name);
472
473 // 2. Preparar el sandbox: mismas capas que el build (rootfs + build-deps) MÁS el artefacto
474 // instalado, para que sus binarios estén en /usr/bin (PATH). La fuente se re-materializa
475 // para los checks que la necesitan (proptest/kani corren `cargo test` en /src).
476 let zig_dir = effective_zig_dir(cfg, recipe)?;
477 sandbox::ensure_layout(&cfg.rootfs, &zig_dir)?;
478 let mut dep_dirs = materialize_build_deps(recipe, cfg, store)?;
479 dep_dirs.push(artifact_dir);
480
481 let src_tree = fetch::fetch(recipe, &cfg.work_root)?;
482 if !recipe.source.patches.is_empty() {
483 fetch::apply_patches(recipe, &src_tree)?;
484 }
485 let out_dir = unique_out_dir(&cfg.work_root, &format!("{}-evidence", recipe.name), &h)?;
486
487 let sb = Sandbox {
488 rootfs: cfg.rootfs.clone(),
489 zig_dir,
490 src_dir: src_tree,
491 out_dir,
492 cache_dir: cfg.cache_root.clone(),
493 deps: dep_dirs,
494 env: Vec::new(),
495 };
496
497 // 3. Ejecutar cada check y evaluarlo (la comparación exit/hash es pura, vive en takana-core).
498 let mut results = Vec::with_capacity(recipe.evidence.checks.len());
499 for c in &recipe.evidence.checks {
500 tracing::info!(kind = c.kind.as_str(), cmd = %c.cmd, "evidence: check");
501 let out = sb.run_capture(&c.cmd)?;
502 let outcome = c.evaluate(out.exit_code, &out.stdout);
503 tracing::info!(passed = outcome.passed, detail = %outcome.detail, "evidence: veredicto");
504 results.push(EvidenceOutcome {
505 kind: c.kind,
506 cmd: c.cmd.clone(),
507 outcome,
508 });
509 }
510 Ok(EvidenceReport { results })
511}
512
513/// Sistemas de build que reconoce la heurística por inspección del árbol del source.
514/// Ver `docs/02-build-lab.md` §4.
515#[derive(Debug, Clone, Copy, PartialEq, Eq)]
516enum BuildSys {
517 /// `configure.ac` (o `.in`) sin `configure` generado: hay que correr `autoreconf` primero.
518 AutoconfRaw,
519 /// `configure` ya está en el tarball release: vamos directo a `./configure`.
520 AutoconfReady,
521 /// `CMakeLists.txt`.
522 CMake,
523 /// `meson.build`.
524 Meson,
525 /// `Cargo.toml`: crate o workspace Rust. Build con `cargo`, link con `zig cc`.
526 Cargo,
527 /// `go.mod`: módulo Go. Build con `go install` del paquete main (auto-detectado),
528 /// deps vendoreadas en el fetch (`vendor_go_deps`). El toolchain `go` llega por deps.build.
529 Go,
530 /// `Makefile` plano (o `makefile`) sin sistema generador.
531 Make,
532 /// No detectamos nada: la receta debe traer overrides en `[build.phases]`.
533 Unknown,
534}
535
536/// ¿El `Cargo.toml` raíz es un MANIFIESTO VIRTUAL? (declara `[workspace]` pero NO `[package]`).
537/// Es el patrón del ecosistema CLI Rust moderno (sd, fd, …): el root sólo agrupa miembros y el
538/// binario vive en un sub-paquete. En ese caso `cargo … --bin X` solo falla: hace falta `-p <pkg>`.
539/// Un crate suelto (con `[package]`, aunque `ensure_cargo_workspace_isolation` le agregue
540/// `[workspace]`) NO es virtual ⇒ no se toca (ripgrep y el corpus quedan idénticos).
541fn cargo_root_is_virtual(src: &Path) -> bool {
542 let Ok(text) = std::fs::read_to_string(src.join("Cargo.toml")) else {
543 return false;
544 };
545 let mut has_ws = false;
546 let mut has_pkg = false;
547 for l in text.lines() {
548 let t = l.trim_start();
549 if t.starts_with("[workspace]") || t.starts_with("[workspace.") {
550 has_ws = true;
551 }
552 if t.starts_with("[package]") {
553 has_pkg = true;
554 }
555 }
556 has_ws && !has_pkg
557}
558
559/// Lee los MEMBERS del workspace (vía `cargo metadata`, la fuente autoritativa: expande globs,
560/// `[[bin]]`, bins por convención `src/bin/*.rs`, y workspaces anidados — todo lo que un parseo a
561/// mano del TOML erraría) y devuelve el NOMBRE del paquete que expone un bin llamado `bin`. Es el
562/// "extractor de workspaces" de la Etapa G: convierte un workspace virtual en un `-p <pkg>` exacto.
563fn resolve_cargo_bin_package(src: &Path, bin: &str) -> Option<String> {
564 let out = std::process::Command::new("cargo")
565 .args(["metadata", "--no-deps", "--format-version", "1"])
566 .current_dir(src)
567 .output()
568 .ok()?;
569 if !out.status.success() {
570 return None;
571 }
572 let meta: serde_json::Value = serde_json::from_slice(&out.stdout).ok()?;
573 for pkg in meta.get("packages")?.as_array()? {
574 let pkg_name = pkg.get("name")?.as_str()?;
575 for tgt in pkg.get("targets")?.as_array()? {
576 let is_bin = tgt
577 .get("kind")
578 .and_then(|k| k.as_array())
579 .map(|ks| ks.iter().any(|x| x.as_str() == Some("bin")))
580 .unwrap_or(false);
581 if is_bin && tgt.get("name").and_then(|n| n.as_str()) == Some(bin) {
582 return Some(pkg_name.to_string());
583 }
584 }
585 }
586 None
587}
588
589/// Si la fuente es un workspace VIRTUAL y los flags piden `--bin X` sin `-p`, resuelve el paquete
590/// real que expone `X` y antepone `-p <pkg>`. Deja los flags intactos en cualquier otro caso
591/// (crate suelto, ya con `-p`, o bin irresoluble). Determinista (misma fuente → mismo paquete) ⇒
592/// reproducible. Sin esto, casi todo el CLI Rust moderno (workspaces virtuales) exigía `-p` a mano.
593fn inject_cargo_package_selector(recipe: &mut Recipe, src: &Path) {
594 let flags = &recipe.build.flags;
595 if flags.iter().any(|f| f == "-p" || f == "--package") {
596 return; // el autor ya eligió el paquete
597 }
598 if !cargo_root_is_virtual(src) {
599 return; // crate suelto: `--bin` solo alcanza
600 }
601 // bin = el argumento que sigue a `--bin`.
602 let Some(bin) = flags.iter().position(|f| f == "--bin").and_then(|i| flags.get(i + 1)).cloned()
603 else {
604 return;
605 };
606 if let Some(pkg) = resolve_cargo_bin_package(src, &bin) {
607 tracing::info!(%bin, %pkg, "cargo: workspace virtual ⇒ -p resuelto automáticamente");
608 let mut new_flags = vec!["-p".to_string(), pkg];
609 new_flags.extend(recipe.build.flags.iter().cloned());
610 recipe.build.flags = new_flags;
611 }
612}
613
614/// Garantiza que el `Cargo.toml` raíz de la fuente declare un `[workspace]` propio, para que cargo
615/// NO la considere parte del workspace del repo takana (que la contiene en `work/sources/`). Append
616/// idempotente: si ya hay `[workspace]` (crate suelto que es su propio workspace, o una receta que
617/// lo parchea), no toca nada. Caso virtual-manifest (root ya es `[workspace]`) tampoco se toca.
618fn ensure_cargo_workspace_isolation(src: &Path) -> takana_core::Result<()> {
619 let manifest = src.join("Cargo.toml");
620 let text = std::fs::read_to_string(&manifest)?;
621 // Heurística simple: ¿hay una tabla `[workspace]` (al inicio de línea)? Cubre `[workspace]` y
622 // `[workspace.members]`/`[workspace.dependencies]` (un root virtual siempre trae alguna).
623 let has_workspace = text
624 .lines()
625 .any(|l| l.trim_start().starts_with("[workspace]") || l.trim_start().starts_with("[workspace."));
626 if !has_workspace {
627 let mut patched = text;
628 if !patched.ends_with('\n') {
629 patched.push('\n');
630 }
631 patched.push_str("\n[workspace]\n");
632 std::fs::write(&manifest, patched)?;
633 tracing::info!("cargo: inyectado [workspace] vacío para aislar la fuente del repo hammer");
634 }
635 Ok(())
636}
637
638fn detect_build_system(src: &Path) -> BuildSys {
639 let has = |p: &str| src.join(p).exists();
640 // `go.mod`/`go.work` PRIMERO: un módulo Go suele traer también un `configure`/`Makefile` AUXILIAR
641 // (man pages, completions, packaging), pero el binario se hace con `go build`. Ningún paquete
642 // C/Rust del corpus trae go.mod. `go.work` cubre los WORKSPACE multimódulo cuya RAÍZ no tiene
643 // go.mod (sólo go.work + submódulos) — sin esto caían a Makefile/Unknown.
644 if has("go.mod") || has("go.work") {
645 return BuildSys::Go;
646 }
647 // El orden importa: cuando coexisten varios (un tarball release de autotools trae el
648 // `configure` regenerado y un `Makefile` huérfano de un build previo), preferimos el
649 // sistema "más alto" que sí sabe regenerar todo.
650 if has("configure.ac") || has("configure.in") {
651 if has("configure") {
652 return BuildSys::AutoconfReady;
653 }
654 return BuildSys::AutoconfRaw;
655 }
656 if has("configure") {
657 return BuildSys::AutoconfReady;
658 }
659 if has("CMakeLists.txt") {
660 return BuildSys::CMake;
661 }
662 if has("meson.build") {
663 return BuildSys::Meson;
664 }
665 // Cargo gana sobre un `Makefile` huérfano (algunos crates traen un wrapper `make`),
666 // pero cede ante autotools/cmake/meson (un políglota C+Rust suele querer el sistema C).
667 if has("Cargo.toml") {
668 return BuildSys::Cargo;
669 }
670 if has("Makefile") || has("makefile") || has("GNUmakefile") {
671 return BuildSys::Make;
672 }
673 BuildSys::Unknown
674}
675
676/// Detecta el directorio del paquete `main` PRINCIPAL de un módulo Go, relativo a `src`, para
677/// `go install`. Busca por FILESYSTEM (no compila ⇒ no se contamina con mains de ejemplo rotos,
678/// como los de `docs/`/`scripts/` que rompen `go list ./...`): archivos `.go` cuya primera línea
679/// significativa es `package main`, descartando dirs auxiliares (vendor/docs/examples/tests/
680/// scripts/tools/internal y ocultos/`_`). Elige el principal por heurística: raíz > `cmd/<x>` >
681/// menor profundidad. Devuelve un path estilo go (`.`, `./cmd/mlr`). Una receta puede forzar el
682/// paquete vía `build.flags` (gana sobre la auto-detección).
683fn detect_go_main(src: &Path, pkg_name: &str) -> String {
684 fn is_main_go(path: &Path) -> bool {
685 let Ok(text) = std::fs::read_to_string(path) else { return false };
686 // El primer token significativo de un .go es la cláusula `package` (tras build-constraints
687 // `//go:build`, comentarios de línea y el header de licencia). Hay que saltar comentarios de
688 // BLOQUE `/* ... */` correctamente: muchos headers Apache son `/*\nCopyright ...\n*/` y las
689 // líneas internas NO arrancan con `*` ⇒ un filtro por-línea ingenuo cortaría ahí y fallaría
690 // (p.ej. cmd/helm/helm.go). Escaneamos rastreando el estado dentro/fuera de bloque.
691 let mut in_block = false;
692 for line in text.lines() {
693 let mut l = line.trim();
694 if in_block {
695 match l.find("*/") {
696 Some(i) => {
697 l = l[i + 2..].trim();
698 in_block = false;
699 }
700 None => continue,
701 }
702 }
703 if l.is_empty() || l.starts_with("//") {
704 continue;
705 }
706 if let Some(i) = l.find("/*") {
707 let before = l[..i].trim();
708 if !before.is_empty() {
709 return before.starts_with("package main");
710 }
711 match l[i + 2..].find("*/") {
712 Some(j) => {
713 let after = l[i + 2 + j + 2..].trim();
714 if after.is_empty() {
715 continue;
716 }
717 return after.starts_with("package main");
718 }
719 None => {
720 in_block = true;
721 continue;
722 }
723 }
724 }
725 return l.starts_with("package main");
726 }
727 false
728 }
729 const SKIP: &[&str] = &[
730 "vendor", "docs", "doc", "example", "examples", "test", "tests", "testdata", "script",
731 "scripts", "tools", "internal", "third_party",
732 ];
733 let mut found: Vec<PathBuf> = Vec::new();
734 let mut stack = vec![src.to_path_buf()];
735 while let Some(dir) = stack.pop() {
736 let Ok(entries) = std::fs::read_dir(&dir) else { continue };
737 let mut has_main = false;
738 for e in entries.flatten() {
739 let p = e.path();
740 if p.is_dir() {
741 let name = e.file_name().to_string_lossy().to_string();
742 if name.starts_with('.') || name.starts_with('_') || SKIP.contains(&name.as_str()) {
743 continue;
744 }
745 stack.push(p);
746 } else if !has_main
747 && p.extension().map(|x| x == "go").unwrap_or(false)
748 && !p.to_string_lossy().ends_with("_test.go")
749 && is_main_go(&p)
750 {
751 has_main = true;
752 }
753 }
754 if has_main {
755 if let Ok(rel) = dir.strip_prefix(src) {
756 found.push(rel.to_path_buf());
757 }
758 }
759 }
760 // raíz (prioridad 0) > cmd/<x> (1) > resto (2); a igual clase, el dir cuyo nombre coincide con el
761 // de la receta (p.ej. cmd/eksctl para la receta `eksctl`) gana sobre otros mains hermanos (cmd/
762 // schema, un helper de codegen que panica) — sin esto detect elegía arbitrariamente entre varios
763 // mains y sellaba el binario EQUIVOCADO; luego, a igual nombre, menor profundidad.
764 let key = |p: &PathBuf| -> (u8, u8, usize) {
765 let s = p.to_string_lossy();
766 let depth = p.components().count();
767 let name_match = if p.file_name().map(|f| f == pkg_name).unwrap_or(false) { 0 } else { 1 };
768 let class = if s.is_empty() {
769 0
770 } else if s.starts_with("cmd/") || s == "cmd" {
771 1
772 } else {
773 2
774 };
775 (class, name_match, depth)
776 };
777 found.sort_by_key(key);
778 match found.first() {
779 Some(p) if !p.as_os_str().is_empty() => format!("./{}", p.to_string_lossy()),
780 _ => ".".to_string(),
781 }
782}
783
784/// Target nativo del sandbox del lab (Alpine x86_64 musl). Una receta Cargo cuyo `build.target`
785/// sea éste se construye **nativa** (sin `--target`): el rust del sandbox sólo trae su std nativo
786/// (`x86_64-alpine-linux-musl`), no el `x86_64-unknown-linux-musl` que pediría un cross, y no hay
787/// rustup para agregarlo. Ver `docs/runbooks/stage1-vm-boot.md` §8 (primera corrida).
788const SANDBOX_NATIVE_TARGET: &str = "x86_64-linux-musl";
789
790/// Traduce el triple estilo zig/hammer (`x86_64-linux-musl`) al de rustc
791/// (`x86_64-unknown-linux-musl`). Un triple ya completo (con vendor) o ajeno al patrón
792/// `<arch>-linux-<libc>` se devuelve tal cual: la receta puede dar el triple exacto.
793fn rustc_triple(target: &str) -> String {
794 match target.split('-').collect::<Vec<_>>().as_slice() {
795 [arch, "linux", libc] => format!("{arch}-unknown-linux-{libc}"),
796 _ => target.to_string(),
797 }
798}
799
800/// Nombre de la env `CARGO_TARGET_<TRIPLE>_LINKER` para un triple de rustc.
801fn cargo_linker_env_var(triple: &str) -> String {
802 format!("CARGO_TARGET_{}_LINKER", triple.to_uppercase().replace(['-', '.'], "_"))
803}
804
805/// Devuelve los comandos a ejecutar para cada fase: overrides explícitos en la receta
806/// ganan; el resto lo deriva la heurística según el sistema de build detectado.
807fn resolve_phases(recipe: &Recipe, src: &Path) -> takana_core::Result<Phases> {
808 let mut out = recipe.build.phases.clone();
809 // Raíz efectiva del módulo Go: `<src>/<subdir>` si la receta lo fija (dolt→go, csvtk→subdir),
810 // si no `src`. detect/detect_go_main operan ahí; el compile hace `cd <subdir>` primero.
811 let go_src = if recipe.build.subdir.is_empty() {
812 src.to_path_buf()
813 } else {
814 src.join(&recipe.build.subdir)
815 };
816 let bs = detect_build_system(&go_src);
817 let flags = recipe.build.flags.join(" ");
818 let flags_suffix = if flags.is_empty() { String::new() } else { format!(" {flags}") };
819
820 // Autotools (Etapa G Fase 3): fija `--build`/`--host` al triple nativo saneado para que
821 // `config.guess` no detecte el vendor `alpine` que zig rechaza, e iguala lo que el wrapper zig-cc
822 // produce. Sólo si la receta no los puso ya en sus flags (juicio per-paquete gana). build==host
823 // ⇒ NATIVO (no cross): autotools sigue corriendo sus AC_RUN tests; sólo normaliza el triple.
824 let autotools_triple = if recipe.build.flags.iter().any(|f| {
825 f.starts_with("--build=") || f.starts_with("--host=")
826 }) {
827 String::new()
828 } else {
829 format!(" --build={SANDBOX_NATIVE_TARGET} --host={SANDBOX_NATIVE_TARGET}")
830 };
831
832 if out.configure.is_none() {
833 out.configure = match bs {
834 BuildSys::AutoconfRaw => Some(format!(
835 "autoreconf -fi && ./configure --prefix=/usr{autotools_triple}{flags_suffix}"
836 )),
837 BuildSys::AutoconfReady => {
838 Some(format!("./configure --prefix=/usr{autotools_triple}{flags_suffix}"))
839 }
840 BuildSys::CMake => Some(format!(
841 "cmake -S . -B _build -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=Release{flags_suffix}"
842 )),
843 BuildSys::Meson => Some(format!("meson setup _build --prefix=/usr{flags_suffix}")),
844 // Cargo/Go no tienen fase configure separada.
845 BuildSys::Cargo | BuildSys::Go | BuildSys::Make | BuildSys::Unknown => None,
846 };
847 }
848 if out.compile.is_none() {
849 out.compile = match bs {
850 BuildSys::AutoconfRaw | BuildSys::AutoconfReady | BuildSys::Make => {
851 Some(r#"make -j"$(nproc)""#.to_string())
852 }
853 BuildSys::CMake => Some(r#"cmake --build _build -j "$(nproc)""#.to_string()),
854 BuildSys::Meson => Some("meson compile -C _build".to_string()),
855 BuildSys::Cargo => {
856 // Hermético y reproducible: `--offline` (deps vendoreadas en la fuente) +
857 // `--locked` (Cargo.lock fijo, coherente con ADR 0006). El link va por un
858 // wrapper `zig cc` — cargo no acepta un linker de dos palabras, y zig provee
859 // el `libgcc_s` que el link dinámico musl pide (ver M2 del plan arje↔takana).
860 if recipe.build.target == SANDBOX_NATIVE_TARGET {
861 // NATIVO: el sandbox del lab YA es x86_64 musl, así que no cruzamos. El rust del
862 // sandbox sólo trae su std nativo (`x86_64-alpine-linux-musl`), no
863 // `x86_64-unknown-linux-musl`; con `--target` fallaría "can't find crate for
864 // core" (no hay rustup). Ver docs/runbooks/stage1-vm-boot.md §8.
865 //
866 // El wrapper `.hammer-zig-cc` hace DOS cosas: (1) es un único ejecutable, lo que
867 // resuelve el `zig cc` de dos palabras que cargo (linker) y cc-rs (CC)
868 // mal-parsean; (2) **sanea el triple**: cc-rs (build scripts que compilan C/asm,
869 // p.ej. blake3) detecta el host triple de Alpine rust y pasa
870 // `--target=x86_64-alpine-linux-musl`, pero zig no conoce el vendor "alpine"
871 // (`UnknownOperatingSystem`); lo reescribimos a `x86_64-linux-musl`. Se usa como
872 // CC (cc-rs) y como linker (RUSTFLAGS, target-agnóstico — el default sería
873 // cc/gcc, ausente en el sandbox zig-only).
874 // Flags de codegen del BINARIO FINAL, vía `cargo rustc -- …` (NO RUSTFLAGS): en
875 // build nativo RUSTFLAGS también alcanza a los proc-macros (deps), y
876 // `+crt-static`/`relocation-model=static` los rompe ("cannot produce
877 // proc-macro" — un proc-macro es un dylib PIC). `cargo rustc -- …` los aplica
878 // sólo a la crate top-level, dejando los proc-macros intactos.
879 let bin_flags = match recipe.build.link {
880 // Estático AUTOCONTENIDO y no-PIE: `+crt-static` mete musl dentro (sin
881 // DT_NEEDED — el rust de Alpine enlaza musl dinámico por defecto, lo que deja
882 // `libc.musl-x86_64.so.1` y rompe el boot, runbook §8); `relocation-model=static`
883 // ⇒ ET_EXEC sin interpreter (vía de oro: como busybox, sin libc.so/loader/soname).
884 LinkMode::Static => "-C target-feature=+crt-static -C relocation-model=static",
885 // Dinámico: apaga crt-static para poder dlopen (necesita el loader/musl en el rootfs).
886 LinkMode::Dynamic => "-C target-feature=-crt-static",
887 };
888 // `-C link-self-contained=no` CONDICIONAL: el link (de TODO — deps,
889 // build-scripts, proc-macros y la crate top) lo hace `zig cc`, que ya aporta
890 // sus startfiles (crt1.o). Un rust VANILLA con target musl
891 // `x86_64-unknown-linux-musl` trae CRT AUTOCONTENIDO (self-contained/rcrt1.o) y
892 // lo pasaría también ⇒ `ld.lld: duplicate symbol: _start`; hay que apagarlo. PERO
893 // el rust de Alpine (host `x86_64-alpine-linux-musl`) PARCHEA la opción para que
894 // sea un ERROR ("option `-C link-self-contained` is not supported on this
895 // target") y NO usa self-contained — el baseline 9adefb82 linkea con zig sin
896 // chocar. Así que: añadir el flag SÓLO si el host del rustc NO es `-alpine-`
897 // (i.e. un rust vanilla como el takana-rust del frente self-host); para Alpine,
898 // omitirlo. RUSTFLAGS alcanza a todas las unidades; los `bin_flags` (cargo rustc
899 // --) sólo a la top.
900 // CC para los build-scripts (cc-rs compila el C de deps como libgit2-sys,
901 // openssl-sys, libc-stdhandle). Por defecto = el wrapper zig-cc. PERO zig-cc
902 // MISCOMPILA/RECHAZA muchos de esos C (mismo frente que file/jq en C puro: la
903 // granja lo reveló — delta/gitui/jless mueren ahí). Con `compiler="gcc"` la receta
904 // declara el GUETO: cc-rs usa gcc (el Alpine musl gcc del sandbox, probado en C),
905 // y el linker sigue siendo zig-cc — los .o/.a de gcc-musl y el Rust zig-musl son
906 // ABI-compatibles (ambos musl, mismo ELF x86-64). Aditivo: una receta Rust sin
907 // `compiler=` queda en ZigCc ⇒ baseline (ripgrep/fd/…) intacto.
908 let cc_for_scripts = match recipe.build.compiler {
909 Compiler::Gcc => "gcc",
910 Compiler::Clang => "clang",
911 Compiler::ZigCc => "$PWD/.hammer-zig-cc",
912 };
913 Some(format!(
914 "printf '%s\\n' '#!/bin/sh' 'for a do' \
915 'case \"$a\" in --target=*) a=--target=x86_64-linux-musl ;; esac' \
916 'set -- \"$@\" \"$a\"' 'shift' 'done' 'exec zig cc -mcpu=baseline \"$@\"' \
917 > \"$PWD/.hammer-zig-cc\" && chmod +x \"$PWD/.hammer-zig-cc\" && \
918 RF=\"-C linker=$PWD/.hammer-zig-cc\"; \
919 rustc -vV | grep -q 'host: .*-alpine-' || RF=\"$RF -C link-self-contained=no\"; \
920 CC=\"{cc_for_scripts}\" RUSTFLAGS=\"$RF\" \
921 cargo rustc --release --locked --offline{flags_suffix} -- {bin_flags}"
922 ))
923 } else {
924 // CROSS real (otro target que zig sí entiende): `--target` + linker por env
925 // per-triple. Hermético y reproducible: `--offline` (deps vendoreadas) +
926 // `--locked` (Cargo.lock fijo, ADR 0006). zig provee el `libgcc_s` que el link
927 // dinámico musl pide (ver M2 del plan arje↔takana).
928 let setup = "printf '#!/bin/sh\\nexec zig cc -mcpu=baseline \"$@\"\\n' > \"$PWD/.hammer-zig-cc\" && \
929 chmod +x \"$PWD/.hammer-zig-cc\" && ";
930 let triple = rustc_triple(&recipe.build.target);
931 let linker_var = cargo_linker_env_var(&triple);
932 let rustflags = match recipe.build.link {
933 // musl es crt-static por defecto; el dinámico lo apaga para poder dlopen.
934 LinkMode::Dynamic => "RUSTFLAGS='-C target-feature=-crt-static' ",
935 LinkMode::Static => "",
936 };
937 Some(format!(
938 "{setup}{rustflags}{linker_var}=\"$PWD/.hammer-zig-cc\" \
939 cargo build --release --locked --offline --target {triple}{flags_suffix}"
940 ))
941 }
942 }
943 BuildSys::Go => {
944 // Un solo patrón GENÉRICO para todo proyecto Go: `go install` del paquete main
945 // auto-detectado (o el que fije `build.flags`). go install nombra el binario solo
946 // (cmd/mlr→mlr, raíz→<módulo>) y lo deja en GOBIN=/out/usr/bin ⇒ no hace falta saber
947 // el nombre. Offline+reproducible: vendor (vendor_go_deps) + GOPROXY=off + -trimpath
948 // -buildid=. El toolchain `go` llega por deps.build=["go"] (overlay).
949 let pkg = if recipe.build.flags.is_empty() {
950 detect_go_main(&go_src, &recipe.name)
951 } else {
952 flags.clone()
953 };
954 // Si el módulo está en subdir, el compile entra ahí primero (el sandbox arranca en /src).
955 let cd_prefix = if recipe.build.subdir.is_empty() {
956 String::new()
957 } else {
958 format!("cd {} && ", recipe.build.subdir)
959 };
960 // GOCACHE/GOTMPDIR en /src (disk-backed, per-build, lo limpia el watchdog), NO en
961 // /tmp: el sandbox monta `--tmpfs /tmp` (~½ RAM); un proyecto Go ENORME (telegraf,
962 // vault) desborda ese tmpfs con sus objetos compilados + el temp del linker al mapear
963 // el binario → "link: mapping output file failed: no space left on device" aunque el
964 // disco tenga sitio. /src es el árbol de fuentes bind-montado (en disco) y no se sella
965 // (sólo /out) ⇒ inocuo. GOTMPDIR debe pre-existir. No entra al hash de input (es la
966 // fase generada, no un campo de la receta) ⇒ no re-sella el corpus Go.
967 // CGO opt-in (recipe `cgo = true`): drivers con C bundled (sqlite3 de mattn en
968 // usql/sq/dolt) necesitan cgo. CC="zig cc" (musl nativo del sandbox) + link estático
969 // por el linker externo (`-linkmode=external -extldflags=-static`). Default: CGO off
970 // (Go puro estático). Validado: usql (sqlite, estático y corre).
971 let (cgo_env, ldflags) = if recipe.build.cgo {
972 (
973 // ⚠ `-mcpu=baseline` NO es opcional y este sitio lo perdía: el sandbox
974 // exporta `CC` apuntando a un wrapper que ya lo pone (ver `sandbox.rs`), y
975 // esta línea lo PISABA con `zig cc` a secas — que por defecto es
976 // `-mcpu=native` y hornea la ISA del builder. El síntoma no aparece al
977 // compilar ni al sellar: aparece al EJECUTAR en otra CPU, como
978 // `trap invalid opcode` (SIGILL). Medido 2026-09-14 con `gitea` dentro de
979 // QEMU-TCG: el binario construido en el worker moría al arrancar, y el
980 // mismo con baseline corre. Afecta a toda receta `cgo = true`.
981 "CGO_ENABLED=1 CC=\"zig cc -mcpu=baseline\" CXX=\"zig c++ -mcpu=baseline\"",
982 "-ldflags=\"-buildid= -linkmode=external -extldflags=-static\"",
983 )
984 } else {
985 ("CGO_ENABLED=0", "-ldflags=-buildid=")
986 };
987 // ── GOTMPDIR: DENTRO del módulo con cgo apagado, FUERA con cgo encendido ──────
988 // `-trimpath` reescribe rutas, pero cuál gana depende de dónde esté el work dir:
989 // · si cae DENTRO del módulo, gana la reescritura del módulo y el componente
990 // ALEATORIO `go-build<N>` SOBREVIVE;
991 // · si cae FUERA, Go reescribe el work dir entero a `/tmp/go-build` y el número
992 // desaparece.
993 // Con CGO off da igual: no hay fuentes C generadas, así que ninguna ruta del work
994 // dir entra en el DWARF — las 15 recetas Go puras verificadas REPRODUCEN. Con cgo
995 // sí entra, y ésa era la ÚNICA causa del no-determinismo de `gocryptfs`: dos
996 // reconstrucciones difieren en SIETE bytes, todos en `.debug_str`, y son los
997 // dígitos de `go-build598798091` contra `go-build270591055`.
998 //
999 // Medido con un módulo cgo de juguete, cachés limpias y en los dos sentidos
1000 // (2026-09-14):
1001 // · GOTMPDIR dentro ⇒ `go-build3806217352` aparece en el binario; dos builds DIFIEREN
1002 // · GOTMPDIR fuera ⇒ ninguna cadena `go-build`; dos builds IDÉNTICOS
1003 //
1004 // ⚠ Va a `/cache`, NO a `/tmp`: el sandbox monta `--tmpfs /tmp` (~½ RAM) y un
1005 // proyecto Go grande lo desborda con sus objetos — es la razón por la que esto
1006 // estaba en `/src` de entrada. `/cache` es un bind RW a disco (el mismo que usa la
1007 // caché de zig), así que conserva la propiedad de estar en disco Y queda fuera del
1008 // módulo.
1009 //
1010 // ⚠ Y se COMPRUEBA que `/cache` exista en vez de dar por hecho que está: con
1011 // `--tmp-overlay /` la raíz es escribible, así que un `mkdir -p /cache/gotmp` a
1012 // ciegas TRIUNFARÍA creando el directorio en la capa tmpfs — o sea en RAM, que es
1013 // exactamente el desbordamiento que se quería evitar, y en silencio. Si no está,
1014 // el build muere diciendo por qué.
1015 let gotmp_setup = if recipe.build.cgo {
1016 "[ -d /cache ] || { echo '!! falta el bind /cache: GOTMPDIR caería en la capa tmpfs (RAM) y un proyecto Go grande la desborda' >&2; exit 1; }; mkdir -p /cache/gotmp"
1017 } else {
1018 "mkdir -p /src/.gotmp"
1019 };
1020 let gotmpdir = if recipe.build.cgo { "/cache/gotmp" } else { "/src/.gotmp" };
1021 Some(format!(
1022 "{cd_prefix}export GOCACHE=/src/.gocache GOTMPDIR={gotmpdir} GOPATH=/tmp/gopath \
1023 GOTOOLCHAIN=local {cgo_env} GOFLAGS=-mod=vendor GOPROXY=off \
1024 GOBIN=/out/usr/bin; {gotmp_setup}; \
1025 go install -trimpath {ldflags} {pkg}"
1026 ))
1027 }
1028 BuildSys::Unknown => None,
1029 };
1030 }
1031 if out.install.is_none() {
1032 out.install = match bs {
1033 BuildSys::AutoconfRaw | BuildSys::AutoconfReady | BuildSys::Make => {
1034 Some("make install DESTDIR=/out PREFIX=/usr".to_string())
1035 }
1036 BuildSys::CMake => Some("DESTDIR=/out cmake --install _build".to_string()),
1037 BuildSys::Meson => Some("DESTDIR=/out meson install -C _build --no-rebuild".to_string()),
1038 BuildSys::Cargo => {
1039 // Copia los ejecutables finales (top del dir release, bit de ejecución) a
1040 // /out/usr/bin. `-perm -100` / `-exec cp \;` son busybox-safe (rootfs Alpine).
1041 // Build nativo ⇒ `target/release`; cross ⇒ `target/<triple>/release`.
1042 let rel = if recipe.build.target == SANDBOX_NATIVE_TARGET {
1043 "target/release".to_string()
1044 } else {
1045 format!("target/{}/release", rustc_triple(&recipe.build.target))
1046 };
1047 Some(format!(
1048 "mkdir -p /out/usr/bin && \
1049 find {rel} -maxdepth 1 -type f -perm -100 \
1050 -exec cp {{}} /out/usr/bin/ \\;"
1051 ))
1052 }
1053 // `go install` ya dejó los binarios en GOBIN=/out/usr/bin: nada que hacer.
1054 BuildSys::Go => Some("true".to_string()),
1055 BuildSys::Unknown => None,
1056 };
1057 }
1058 Ok(out)
1059}
1060
1061#[cfg(test)]
1062mod heuristic_tests {
1063 use super::*;
1064
1065 fn touch(dir: &Path, name: &str) {
1066 std::fs::write(dir.join(name), b"").unwrap();
1067 }
1068
1069 fn recipe(flags: &[&str]) -> Recipe {
1070 let mut r = Recipe::from_toml(
1071 r#"
1072name = "x"
1073version = "0"
1074[source]
1075repo = "git://x"
1076commit = "deadbeef"
1077[build]
1078"#,
1079 )
1080 .unwrap();
1081 r.build.flags = flags.iter().map(|s| (*s).to_string()).collect();
1082 r
1083 }
1084
1085 #[test]
1086 fn go_subdir_compiles_in_subdir() {
1087 // dolt-like: go.mod en subdir `go/`. Con build.subdir="go" el lab detecta Go ahí y el compile
1088 // entra al subdir primero.
1089 let d = tempfile::tempdir().unwrap();
1090 std::fs::create_dir_all(d.path().join("go/cmd/dolt")).unwrap();
1091 touch(d.path(), "go/go.mod");
1092 std::fs::write(d.path().join("go/cmd/dolt/main.go"), b"package main\nfunc main(){}\n").unwrap();
1093 let mut r = recipe(&[]);
1094 r.name = "dolt".into();
1095 r.build.subdir = "go".into();
1096 let p = resolve_phases(&r, d.path()).unwrap();
1097 let c = p.compile.unwrap();
1098 assert!(c.starts_with("cd go && "), "entra al subdir: {c}");
1099 assert!(c.contains("go install -trimpath") && c.trim_end().ends_with("./cmd/dolt"), "{c}");
1100 }
1101
1102 #[test]
1103 fn go_mod_wins_over_configure_and_derives_go_install() {
1104 // miller-like: go.mod + configure auxiliar ⇒ Go gana, y el compile es `go install`.
1105 let d = tempfile::tempdir().unwrap();
1106 touch(d.path(), "go.mod");
1107 touch(d.path(), "configure");
1108 std::fs::write(d.path().join("main.go"), b"package main\nfunc main(){}\n").unwrap();
1109 assert_eq!(detect_build_system(d.path()), BuildSys::Go);
1110 let p = resolve_phases(&recipe(&[]), d.path()).unwrap();
1111 assert!(p.configure.is_none());
1112 let c = p.compile.unwrap();
1113 assert!(c.contains("go install -trimpath"), "{c}");
1114 assert!(c.ends_with(" ."), "raíz ⇒ paquete `.`: {c}");
1115 assert_eq!(p.install.as_deref(), Some("true"));
1116 }
1117
1118 #[test]
1119 fn go_cgo_knob_switches_compile_env() {
1120 // cgo=false (default) ⇒ CGO_ENABLED=0, Go puro; cgo=true ⇒ CGO_ENABLED=1 + CC zig + estático.
1121 let d = tempfile::tempdir().unwrap();
1122 touch(d.path(), "go.mod");
1123 std::fs::write(d.path().join("main.go"), b"package main\nfunc main(){}\n").unwrap();
1124 let off = resolve_phases(&recipe(&[]), d.path()).unwrap().compile.unwrap();
1125 assert!(off.contains("CGO_ENABLED=0"), "{off}");
1126 let mut r = recipe(&[]);
1127 r.build.cgo = true;
1128 let on = resolve_phases(&r, d.path()).unwrap().compile.unwrap();
1129 assert!(on.contains("CGO_ENABLED=1") && on.contains("zig cc") && on.contains("-extldflags=-static"), "{on}");
1130 }
1131
1132 #[test]
1133 fn detect_go_when_only_go_work() {
1134 // workspace multimódulo sin go.mod en la raíz (sólo go.work) ⇒ sigue siendo Go (antes caía a
1135 // Makefile/Unknown). El vendoring usará `go work vendor`.
1136 let d = tempfile::tempdir().unwrap();
1137 touch(d.path(), "go.work");
1138 touch(d.path(), "Makefile"); // un Makefile auxiliar no debe ganarle a Go
1139 assert_eq!(detect_build_system(d.path()), BuildSys::Go);
1140 }
1141
1142 #[test]
1143 fn detect_go_main_picks_cmd_over_docs() {
1144 // main real en cmd/mlr + main de ejemplo roto en docs/ ⇒ elige cmd/mlr, ignora docs.
1145 let d = tempfile::tempdir().unwrap();
1146 for sub in ["cmd/mlr", "docs/example"] {
1147 std::fs::create_dir_all(d.path().join(sub)).unwrap();
1148 std::fs::write(d.path().join(sub).join("main.go"), b"package main\nfunc main(){}\n").unwrap();
1149 }
1150 assert_eq!(detect_go_main(d.path(), "mlr"), "./cmd/mlr");
1151 }
1152
1153 #[test]
1154 fn detect_go_main_prefers_cmd_matching_recipe_name() {
1155 // eksctl-like: cmd/eksctl (CLI real) + cmd/schema (helper que panica). El dir que coincide
1156 // con el name de la receta gana sobre el hermano ⇒ no sella el binario equivocado.
1157 let d = tempfile::tempdir().unwrap();
1158 for sub in ["cmd/schema", "cmd/eksctl"] {
1159 std::fs::create_dir_all(d.path().join(sub)).unwrap();
1160 std::fs::write(d.path().join(sub).join("main.go"), b"package main\nfunc main(){}\n").unwrap();
1161 }
1162 assert_eq!(detect_go_main(d.path(), "eksctl"), "./cmd/eksctl");
1163 }
1164
1165 #[test]
1166 fn detect_go_main_sees_main_under_block_comment_header() {
1167 // header de licencia `/* ... */` con líneas internas SIN `*` (estilo Apache de helm):
1168 // el main en cmd/helm debe detectarse igual (regresión del corte ingenuo por-línea).
1169 let d = tempfile::tempdir().unwrap();
1170 std::fs::create_dir_all(d.path().join("cmd/helm")).unwrap();
1171 std::fs::write(
1172 d.path().join("cmd/helm/helm.go"),
1173 b"/*\nCopyright The Helm Authors.\nLicensed under the Apache License 2.0\n*/\n\npackage main\n\nfunc main() {}\n",
1174 )
1175 .unwrap();
1176 assert_eq!(detect_go_main(d.path(), "helm"), "./cmd/helm");
1177 }
1178
1179 #[test]
1180 fn detect_autoconf_raw_when_only_configure_ac() {
1181 let d = tempfile::tempdir().unwrap();
1182 touch(d.path(), "configure.ac");
1183 assert_eq!(detect_build_system(d.path()), BuildSys::AutoconfRaw);
1184 let p = resolve_phases(&recipe(&[]), d.path()).unwrap();
1185 assert!(p.configure.as_deref().unwrap().starts_with("autoreconf -fi &&"));
1186 assert!(p.install.as_deref().unwrap().contains("DESTDIR=/out"));
1187 }
1188
1189 #[test]
1190 fn detect_autoconf_ready_when_configure_exists() {
1191 let d = tempfile::tempdir().unwrap();
1192 touch(d.path(), "configure.ac");
1193 touch(d.path(), "configure");
1194 assert_eq!(detect_build_system(d.path()), BuildSys::AutoconfReady);
1195 let p = resolve_phases(&recipe(&["--enable-foo"]), d.path()).unwrap();
1196 let c = p.configure.unwrap();
1197 assert!(c.starts_with("./configure --prefix=/usr"), "{c}");
1198 assert!(c.ends_with("--enable-foo"), "{c}");
1199 }
1200
1201 #[test]
1202 fn autotools_injects_native_triple() {
1203 // Etapa G Fase 3: configure heurístico fija --build/--host al triple saneado.
1204 let d = tempfile::tempdir().unwrap();
1205 touch(d.path(), "configure.ac");
1206 touch(d.path(), "configure");
1207 let c = resolve_phases(&recipe(&[]), d.path()).unwrap().configure.unwrap();
1208 assert!(c.contains("--build=x86_64-linux-musl"), "{c}");
1209 assert!(c.contains("--host=x86_64-linux-musl"), "{c}");
1210 }
1211
1212 #[test]
1213 fn autotools_triple_yields_to_recipe_flags() {
1214 // Si la receta ya fija el triple (juicio per-paquete), no duplicamos.
1215 let d = tempfile::tempdir().unwrap();
1216 touch(d.path(), "configure.ac");
1217 touch(d.path(), "configure");
1218 let c = resolve_phases(&recipe(&["--host=aarch64-linux-musl"]), d.path())
1219 .unwrap()
1220 .configure
1221 .unwrap();
1222 assert!(c.contains("--host=aarch64-linux-musl"), "{c}");
1223 assert!(!c.contains("x86_64-linux-musl"), "no inyecta si la receta ya lo puso ({c})");
1224 }
1225
1226 #[test]
1227 fn cmake_ignores_autotools_triple() {
1228 // El triple es exclusivo de autotools; CMake/Meson/Cargo no lo reciben.
1229 let d = tempfile::tempdir().unwrap();
1230 touch(d.path(), "CMakeLists.txt");
1231 let c = resolve_phases(&recipe(&[]), d.path()).unwrap().configure.unwrap();
1232 assert!(!c.contains("--host="), "{c}");
1233 }
1234
1235 #[test]
1236 fn detect_cmake() {
1237 let d = tempfile::tempdir().unwrap();
1238 touch(d.path(), "CMakeLists.txt");
1239 assert_eq!(detect_build_system(d.path()), BuildSys::CMake);
1240 let p = resolve_phases(&recipe(&[]), d.path()).unwrap();
1241 assert!(p.configure.unwrap().contains("-DCMAKE_INSTALL_PREFIX=/usr"));
1242 assert!(p.compile.unwrap().contains("cmake --build _build"));
1243 assert!(p.install.unwrap().contains("DESTDIR=/out"));
1244 }
1245
1246 #[test]
1247 fn detect_meson() {
1248 let d = tempfile::tempdir().unwrap();
1249 touch(d.path(), "meson.build");
1250 assert_eq!(detect_build_system(d.path()), BuildSys::Meson);
1251 let p = resolve_phases(&recipe(&[]), d.path()).unwrap();
1252 assert!(p.configure.unwrap().contains("meson setup _build"));
1253 assert!(p.install.unwrap().contains("meson install"));
1254 }
1255
1256 #[test]
1257 fn detect_cargo() {
1258 let d = tempfile::tempdir().unwrap();
1259 touch(d.path(), "Cargo.toml");
1260 assert_eq!(detect_build_system(d.path()), BuildSys::Cargo);
1261 // Target default (x86_64-linux-musl) = nativo del sandbox ⇒ build SIN --target.
1262 let p = resolve_phases(&recipe(&[]), d.path()).unwrap();
1263 assert!(p.configure.is_none(), "cargo no usa configure");
1264 let c = p.compile.unwrap();
1265 // Nativo: `cargo rustc` (no `cargo build`) para pasar los flags de codegen tras `--` sólo
1266 // a la crate final; sin `--target` (lo cross sí; el único --target es el del wrapper saneador).
1267 assert!(c.contains("cargo rustc --release"), "{c}");
1268 assert!(c.contains("--locked") && c.contains("--offline"), "{c}");
1269 assert!(!c.contains("--offline --target"), "nativo: cargo sin --target ({c})");
1270 assert!(c.contains("a=--target=x86_64-linux-musl"), "wrapper sanea el triple ({c})");
1271 assert!(c.contains("-- -C target-feature=+crt-static"), "crt-static scoped tras -- ({c})");
1272 assert!(c.contains("relocation-model=static"), "no-PIE: ET_EXEC sin interpreter ({c})");
1273 assert!(c.contains("CC=\"$PWD/.hammer-zig-cc\""), "CC = wrapper para cc-rs ({c})");
1274 // El linker se arma en `RF` (que además gana `-C link-self-contained=no` cuando el host no es
1275 // Alpine) y se aplica vía `RUSTFLAGS="$RF"`.
1276 assert!(c.contains("RF=\"-C linker=$PWD/.hammer-zig-cc"), "linker en RF ({c})");
1277 assert!(c.contains("RUSTFLAGS=\"$RF\""), "RF aplicado por RUSTFLAGS ({c})");
1278 let i = p.install.unwrap();
1279 assert!(i.contains("/out/usr/bin"), "{i}");
1280 assert!(i.contains("find target/release"), "nativo instala de target/release ({i})");
1281 }
1282
1283 #[test]
1284 fn cargo_gcc_ghetto_uses_gcc_for_build_scripts() {
1285 // Receta Rust con `compiler="gcc"`: el GUETO para crates con dep-C (libgit2-sys/openssl-sys/
1286 // libc-stdhandle) que zig-cc rechaza. cc-rs debe usar gcc (CC=gcc), pero el LINKER sigue
1287 // siendo el wrapper zig-cc (objetos gcc-musl + Rust zig-musl son ABI-compatibles).
1288 let d = tempfile::tempdir().unwrap();
1289 touch(d.path(), "Cargo.toml");
1290 let mut r = recipe(&[]);
1291 r.build.compiler = Compiler::Gcc;
1292 let c = resolve_phases(&r, d.path()).unwrap().compile.unwrap();
1293 assert!(c.contains("CC=\"gcc\""), "cc-rs usa gcc en el gueto ({c})");
1294 assert!(!c.contains("CC=\"$PWD/.hammer-zig-cc\""), "CC ya no es el wrapper ({c})");
1295 // El linker NO cambia: sigue el wrapper zig-cc.
1296 assert!(c.contains("RF=\"-C linker=$PWD/.hammer-zig-cc"), "linker sigue zig-cc ({c})");
1297 assert!(c.contains("cargo rustc --release"), "sigue el camino cargo nativo ({c})");
1298 }
1299
1300 #[test]
1301 fn cargo_default_compiler_keeps_zig_cc_for_build_scripts() {
1302 // Sin `compiler=` (default ZigCc): CC sigue siendo el wrapper — baseline ripgrep/fd intacto.
1303 let d = tempfile::tempdir().unwrap();
1304 touch(d.path(), "Cargo.toml");
1305 let c = resolve_phases(&recipe(&[]), d.path()).unwrap().compile.unwrap();
1306 assert!(c.contains("CC=\"$PWD/.hammer-zig-cc\""), "default: cc-rs usa el wrapper zig ({c})");
1307 }
1308
1309 #[test]
1310 fn cargo_cross_target_keeps_triple() {
1311 // Un target NO nativo (cross real) sí pasa --target + el linker per-triple.
1312 let d = tempfile::tempdir().unwrap();
1313 touch(d.path(), "Cargo.toml");
1314 let mut r = recipe(&[]);
1315 r.build.target = "aarch64-linux-musl".into();
1316 let p = resolve_phases(&r, d.path()).unwrap();
1317 let c = p.compile.unwrap();
1318 assert!(c.contains("--target aarch64-unknown-linux-musl"), "{c}");
1319 assert!(c.contains("CARGO_TARGET_AARCH64_UNKNOWN_LINUX_MUSL_LINKER="), "{c}");
1320 assert!(p.install.unwrap().contains("target/aarch64-unknown-linux-musl/release"));
1321 }
1322
1323 #[test]
1324 fn cargo_wins_over_stray_makefile_but_not_cmake() {
1325 let d = tempfile::tempdir().unwrap();
1326 touch(d.path(), "Cargo.toml");
1327 touch(d.path(), "Makefile");
1328 assert_eq!(detect_build_system(d.path()), BuildSys::Cargo);
1329 // pero un proyecto C+Rust con CMakeLists prefiere el sistema C
1330 touch(d.path(), "CMakeLists.txt");
1331 assert_eq!(detect_build_system(d.path()), BuildSys::CMake);
1332 }
1333
1334 #[test]
1335 fn cargo_flags_go_to_compile() {
1336 let d = tempfile::tempdir().unwrap();
1337 touch(d.path(), "Cargo.toml");
1338 let p = resolve_phases(&recipe(&["--features", "gpu"]), d.path()).unwrap();
1339 // Los flags de la receta van como args de cargo (antes del `--` que separa los de rustc).
1340 assert!(p.compile.unwrap().contains("--features gpu -- "));
1341 }
1342
1343 #[test]
1344 fn cargo_dynamic_disables_crt_static() {
1345 let d = tempfile::tempdir().unwrap();
1346 touch(d.path(), "Cargo.toml");
1347 let mut r = recipe(&[]);
1348 r.build.link = takana_core::LinkMode::Dynamic;
1349 let c = resolve_phases(&r, d.path()).unwrap().compile.unwrap();
1350 assert!(c.contains("target-feature=-crt-static"), "{c}");
1351 }
1352
1353 #[test]
1354 fn rustc_triple_translation() {
1355 assert_eq!(rustc_triple("x86_64-linux-musl"), "x86_64-unknown-linux-musl");
1356 assert_eq!(rustc_triple("aarch64-linux-gnu"), "aarch64-unknown-linux-gnu");
1357 // un triple ya completo pasa intacto
1358 assert_eq!(rustc_triple("x86_64-unknown-linux-musl"), "x86_64-unknown-linux-musl");
1359 assert_eq!(
1360 cargo_linker_env_var("x86_64-unknown-linux-musl"),
1361 "CARGO_TARGET_X86_64_UNKNOWN_LINUX_MUSL_LINKER"
1362 );
1363 }
1364
1365 #[test]
1366 fn detect_make() {
1367 let d = tempfile::tempdir().unwrap();
1368 touch(d.path(), "Makefile");
1369 assert_eq!(detect_build_system(d.path()), BuildSys::Make);
1370 let p = resolve_phases(&recipe(&[]), d.path()).unwrap();
1371 assert!(p.configure.is_none(), "make plano no necesita configure");
1372 assert!(p.compile.unwrap().starts_with("make"));
1373 }
1374
1375 #[test]
1376 fn unknown_returns_no_phases() {
1377 let d = tempfile::tempdir().unwrap();
1378 // sólo un README, ningún archivo característico.
1379 std::fs::write(d.path().join("README"), b"hi").unwrap();
1380 assert_eq!(detect_build_system(d.path()), BuildSys::Unknown);
1381 let p = resolve_phases(&recipe(&[]), d.path()).unwrap();
1382 assert!(p.compile.is_none());
1383 assert!(p.install.is_none());
1384 }
1385
1386 #[test]
1387 fn recipe_override_wins_over_heuristic() {
1388 let d = tempfile::tempdir().unwrap();
1389 touch(d.path(), "Makefile");
1390 let mut r = recipe(&[]);
1391 r.build.phases.compile = Some("zig cc -static -o foo foo.c".to_string());
1392 r.build.phases.install = Some("cp foo /out/bin/foo".to_string());
1393 let p = resolve_phases(&r, d.path()).unwrap();
1394 assert_eq!(p.compile.unwrap(), "zig cc -static -o foo foo.c");
1395 assert_eq!(p.install.unwrap(), "cp foo /out/bin/foo");
1396 }
1397}
1398
1399
1400fn unique_out_dir(
1401 work_root: &Path,
1402 name: &str,
1403 h: &ArtifactHash,
1404) -> takana_core::Result<PathBuf> {
1405 let dir = work_root
1406 .join("out")
1407 .join(h.store_dir_name(name));
1408 if dir.exists() {
1409 std::fs::remove_dir_all(&dir)?;
1410 }
1411 std::fs::create_dir_all(&dir)?;
1412 Ok(dir)
1413}
1414
1415/// Proyecta un artefacto del store al FHS (real o de overlay). Resuelve el directorio del
1416/// artefacto a partir del hash y delega en [`hydrate::hydrate`].
1417pub fn hydrate(
1418 h: &ArtifactHash,
1419 store: &Store,
1420 target_fhs: &Path,
1421 mode: LinkMode,
1422 dynamic: Option<&hydrate::DynamicSpec>,
1423) -> takana_core::Result<HydrateReport> {
1424 let artifact_dir = store.find_by_hash(h.as_str())?;
1425 hydrate::hydrate(&artifact_dir, target_fhs, mode, dynamic)
1426}
1427
1428#[cfg(test)]
1429mod dep_hash_tests {
1430 use super::*;
1431
1432 /// Escribe `<dir>/<name>.toml` con `source.commit = commit` y, si hay, `deps.build = deps`.
1433 fn write_recipe(dir: &Path, name: &str, commit: &str, deps: &[&str]) {
1434 let deps_block = if deps.is_empty() {
1435 String::new()
1436 } else {
1437 let list = deps.iter().map(|d| format!("\"{d}\"")).collect::<Vec<_>>().join(", ");
1438 format!("\n[deps]\nbuild = [{list}]\n")
1439 };
1440 let toml = format!(
1441 "name = \"{name}\"\nversion = \"1\"\n[source]\nrepo = \"git://{name}\"\ncommit = \"{commit}\"\n[build]\n{deps_block}"
1442 );
1443 std::fs::write(dir.join(format!("{name}.toml")), toml).unwrap();
1444 }
1445
1446 fn load(dir: &Path, name: &str) -> Recipe {
1447 Recipe::load_from_path(dir.join(format!("{name}.toml"))).unwrap()
1448 }
1449
1450 fn store_in(dir: &Path) -> Store {
1451 Store::open(dir.join("store")).unwrap()
1452 }
1453
1454 #[test]
1455 fn dep_contributes_to_hash() {
1456 let d = tempfile::tempdir().unwrap();
1457 let store = store_in(d.path());
1458 write_recipe(d.path(), "base", "b0", &[]);
1459 write_recipe(d.path(), "app", "a0", &["base"]);
1460 write_recipe(d.path(), "app_nodep", "a0", &[]); // misma fuente, sin la dep
1461
1462 let with_dep = artifact_hash(&load(d.path(), "app"), &store, &takana_core::lab::LabFingerprint::for_tests()).unwrap();
1463 let no_dep = artifact_hash(&load(d.path(), "app_nodep"), &store, &takana_core::lab::LabFingerprint::for_tests()).unwrap();
1464 // `app_nodep` se llama distinto, pero el nombre no entra al hash: la única diferencia
1465 // de entrada es la presencia de la dep. (Renombramos sólo para tener dos .toml.)
1466 assert_ne!(with_dep, no_dep, "la dep de build debe entrar al hash");
1467 }
1468
1469 #[test]
1470 fn transitive_dep_change_propagates() {
1471 let d = tempfile::tempdir().unwrap();
1472 let store = store_in(d.path());
1473 write_recipe(d.path(), "base", "b0", &[]);
1474 write_recipe(d.path(), "lib", "l0", &["base"]);
1475 write_recipe(d.path(), "app", "a0", &["lib"]);
1476 let before = artifact_hash(&load(d.path(), "app"), &store, &takana_core::lab::LabFingerprint::for_tests()).unwrap();
1477
1478 // Cambiar la fuente de la dep transitiva `base` debe re-hashear `app`.
1479 write_recipe(d.path(), "base", "b1", &[]);
1480 let after = artifact_hash(&load(d.path(), "app"), &store, &takana_core::lab::LabFingerprint::for_tests()).unwrap();
1481 assert_ne!(before, after, "un cambio transitivo debe propagarse");
1482 }
1483
1484 #[test]
1485 fn missing_dep_toml_errors_with_names() {
1486 let d = tempfile::tempdir().unwrap();
1487 let store = store_in(d.path());
1488 write_recipe(d.path(), "app", "a0", &["pcre2"]); // sin pcre2.toml
1489 let err = artifact_hash(&load(d.path(), "app"), &store, &takana_core::lab::LabFingerprint::for_tests()).unwrap_err().to_string();
1490 assert!(err.contains("pcre2"), "el error debe nombrar la dep: {err}");
1491 assert!(err.contains("app"), "y la receta que la pide: {err}");
1492 }
1493
1494 #[test]
1495 fn cycle_is_detected() {
1496 let d = tempfile::tempdir().unwrap();
1497 let store = store_in(d.path());
1498 write_recipe(d.path(), "a", "a0", &["b"]);
1499 write_recipe(d.path(), "b", "b0", &["a"]);
1500 let err = artifact_hash(&load(d.path(), "a"), &store, &takana_core::lab::LabFingerprint::for_tests()).unwrap_err().to_string();
1501 assert!(err.contains("ciclo"), "esperaba ciclo: {err}");
1502 assert!(err.contains("a -> b -> a"), "debe mostrar la cadena: {err}");
1503 }
1504
1505 #[test]
1506 fn deps_without_base_dir_errors() {
1507 let store = Store::open(tempfile::tempdir().unwrap().path().join("store")).unwrap();
1508 // Parseada de TOML crudo ⇒ base_dir vacío; con deps no hay catálogo que resolver.
1509 let r = Recipe::from_toml(
1510 "name=\"x\"\nversion=\"1\"\n[source]\nrepo=\"git://x\"\ncommit=\"c0\"\n[build]\n[deps]\nbuild=[\"y\"]\n",
1511 )
1512 .unwrap();
1513 let err = artifact_hash(&r, &store, &takana_core::lab::LabFingerprint::for_tests()).unwrap_err().to_string();
1514 assert!(err.contains("base_dir"), "debe explicar la falta de base_dir: {err}");
1515 }
1516
1517 #[test]
1518 fn no_deps_unaffected() {
1519 let d = tempfile::tempdir().unwrap();
1520 let store = store_in(d.path());
1521 write_recipe(d.path(), "solo", "s0", &[]);
1522 let a = artifact_hash(&load(d.path(), "solo"), &store, &takana_core::lab::LabFingerprint::for_tests()).unwrap();
1523 let b = artifact_hash(&load(d.path(), "solo"), &store, &takana_core::lab::LabFingerprint::for_tests()).unwrap();
1524 assert_eq!(a, b, "sin deps el hash es estable");
1525 }
1526}