tawasuyu

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…

TOML 1572Shell 203Rust 109Markdown 993728 Definiciones

⎇ f7ea593e2d3718fa8353848da09277be4b37689d recipes/arje-packager.toml TOML · 28 líneas · 1.4 KB Historia crudo

recipes: arje-zero-attest/arje-packager a 06184e43 (Cargo.lock → build --locked, Etapa D #2) f7ea593e2 · sergio ·

1# arje-packager — el firmador del seed de atestación (plan A1). HERRAMIENTA de build-time, NO se
2# embarca en el producto: hammer lo construye y lo corre durante el ensamblado del product-rootfs para
3# firmar las concesiones (`Card::attest`) sobre el BLAKE3 de los binarios críticos, bajo una rootkey.
4#
5# Con `--seed-out` (añadido en tawasuyu c78a0ada) emite el seed firmado STANDALONE (JSON), que hammer
6# inyecta en /ente/seed.card.json del product-rootfs (que arma como disco, no como initramfs). El gate
7# de arje-zero-attest lo verifica al boot (A2). Reusa la cripto canónica (arje-attest/agora) — cero
8# criptografía nueva en hammer.
9#
10# Commit 06184e43 (rama selfhost/arje-zero-attest-lockfile) = c78a0ada + Cargo.lock committeado ⇒ `cargo
11# vendor --locked` ⇒ build bit-reproducible (mismo lock que arje-zero-attest, mismo árbol).
12#
13# Estático musl con zig cc: corre en el host (durante el ensamblado) sin loader, como busybox/bwrap.
14
15name    = "arje-packager"
16version = "0.0.1"
17
18[source]
19repo   = "gitea@git.tawasuyu.net:tawasuyu/tawasuyu.git"
20commit = "06184e43a8b3179e41905dc56ba07ec569df1ebb"
21
22[build]
23compiler = "zig-cc"
24target   = "x86_64-linux-musl"
25link     = "static"
26# -p + --bin: el root del monorepo es un manifiesto VIRTUAL ⇒ `-p` elige el paquete, y como
27# arje-packager tiene lib + bin, `cargo rustc -- <flags>` exige además `--bin` (target único).
28flags    = ["-p", "arje-packager", "--bin", "arje-packager"]