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…
recipes/arje-zero: pinear al commit con Cargo.lock (reproducibilidad self-host)
1# arje-zero — init PID 1 de arje (ADR 0007), construido por el lab de hammer como **puente
2# build-side** hacia "arje es el init de hammer".
3#
4# Receta Cargo: la fuente es el monorepo tawasuyu a un commit fijado (ADR 0006), `-p arje-zero`
5# para construir sólo ese binario; las deps se vendorean en el fetch (Lote 6) ⇒ build `--offline`
6# hermético. Estático con zig cc cross al target — lo que pide un PID 1 (sin loader del host).
7#
8# Es un PUENTE, no el init todavía: prueba que el lab cruza al repo de tawasuyu y produce el
9# binario del init. Hacerlo PID 1 del rootfs (seed `card.json`, `arje-bus`, hammerd como Card de
10# servicio) es el paso "init real" posterior (plan B.2 + contrato de runtime de arje). El plan C.3
11# prefiere extraer arje-zero a un front-door standalone para no vendorear el monorepo entero;
12# sourcearlo del monorepo pinned es el interino, igual que hammerd desde el repo hammer.
13
14name = "arje-zero"
15version = "0.0.1"
16
17[source]
18# El `commit` es el identificador inmutable (la URL es sólo locator, no entra al hash). Fijado en
19# `selfhost/arje-zero-lockfile` = la migración A0 (arje-cas → BLAKE3, 35ec8ef9) + el Cargo.lock del
20# workspace committeado encima: sin lock, el monorepo lo gitignora y el fetch vendorea SIN --locked
21# ⇒ las deps derivan en el tiempo y arje-zero (y of_tree(stage1)) deja de ser reproducible. Con el
22# lock fijo el build es --locked y bit-reproducible.
23repo = "gitea@git.tawasuyu.net:tawasuyu/tawasuyu.git"
24commit = "9967b02cf597df6d065edbad8d6669b5653d4928"
25
26[build]
27compiler = "zig-cc"
28target = "x86_64-linux-musl"
29link = "static"
30flags = ["-p", "arje-zero"]