gioser

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 Definitions

⎇ 0a4b3abb461b5e9b6a68cbb0508d2eb7899acae3 recipes/arje-packager.toml TOML · 29 lines · 1.4 KB History raw

la mudanza sin terceros: las fuentes de tawasuyu por HTTPS público, y el orden del cutover 4d77d232d · Sergio ·

1# arje-packager — el firmador del seed de atestación (plan A1). HERRAMIENTA de build-time, NO se
2# embarca en el producto: takana 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 takana
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 takana.
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"
17license = "MIT"
18
19[source]
20repo   = "https://git.tawasuyu.net/tawasuyu/tawasuyu.git"
21commit = "06184e43a8b3179e41905dc56ba07ec569df1ebb"
22
23[build]
24compiler = "zig-cc"
25target   = "x86_64-linux-musl"
26link     = "static"
27# -p + --bin: el root del monorepo es un manifiesto VIRTUAL ⇒ `-p` elige el paquete, y como
28# arje-packager tiene lib + bin, `cargo rustc -- <flags>` exige además `--bin` (target único).
29flags    = ["-p", "arje-packager", "--bin", "arje-packager"]