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…
feat(recetas): pata y churay entran al catálogo — «no hay pata» era que no existía el paquete
1# arje-zero-attest — variante de arje-zero CON el gate de atestación al arranque (A2), SÓLO para el
2# PRODUCTO. No reemplaza al arje-zero del núcleo (recipes/arje-zero.toml, commit 9967b02c): ese sigue
3# fijado para que el of_tree del self-host quede BLINDADO (baseline 9adefb82/7fa6cb4e). Esta variante se
4# hidrata en la capa de producto, sobre /usr/bin/arje-zero — Separación Mecanismo/Política.
5#
6# El gate (init/arje-zero/src/attest_gate.rs, ya en tawasuyu main) computa el BLAKE3 de cada binario
7# crítico del seed y lo contrasta con las concesiones firmadas en `Card::attest` (que takana emite vía
8# arje-packager). Política `Halt` ⇒ si algo no atesta, arje aborta el bucle y cae a la shell de rescate.
9#
10# Commit 06184e43 (rama selfhost/arje-zero-attest-lockfile) = c78a0ada (attest_gate + `--seed-out`) + el
11# Cargo.lock del workspace committeado encima. Sin lock, tawasuyu lo gitignora y `cargo vendor` vendorea
12# SIN --locked ⇒ las deps derivan en el tiempo y el binario (y el of_tree del producto atestado) deja de
13# ser reproducible. Con el lock fijo el build es --locked y bit-reproducible. Espeja el patrón del núcleo
14# (recipes/arje-zero.toml, rama selfhost/arje-zero-lockfile @ 9967b02c).
15
16name = "arje-zero-attest"
17version = "0.0.1"
18license = "MIT"
19
20[source]
21repo = "https://git.tawasuyu.net/tawasuyu/tawasuyu.git"
22commit = "619431cac9753cd55d0f9e2d99ff8efe7fab651b"
23# tawasuyu COMMITEA su propio `vendor/` (smithay 0.7.0 parcheado por `[patch.crates-io]` POR
24# RUTA: 159 líneas en 4 ficheros —flip async DRM, y dos de layer-shell—). El `cargo vendor` de
25# takana vendorea por default a `vendor/`, que convierte ESE dir en reemplazo de fuente, donde
26# cada crate debe traer `.cargo-checksum.json` — que el patch nunca tuvo (`git ls-tree`: no
27# existió nunca). El pin viejo (06184e43, 20-jun) es ANTERIOR a que ese `vendor/` naciera
28# (a37815634, 21-jul), por eso esta receta no lo traía: salta al mover el pin. No entra en
29# `hash_inputs`.
30cargo_vendor_dir = ".hammer-cargo-vendor"
31
32[build]
33compiler = "zig-cc"
34target = "x86_64-linux-musl"
35link = "static"
36flags = ["-p", "arje-zero"]