sergioandClaude Opus 5
0225aa4e08
Decisión del usuario: «tawasuyu está en MIT». Es la misma licencia que hammer (LICENSE en la raíz + Cargo.toml), así que todo lo nuestro queda coherente bajo un solo término. Las 20 recetas con fuente en git.tawasuyu.net: arje-* (el init y sus compat), mirada-* (el compositor, el greeter y mirada-ctl), netup, agora-cli, cosmos-cli, dominium-cli, tinkuy-sim, llimphi-counter y libelogind. ⚠ ANOTADO EN LA TABLA porque es una trampa que casi pisé: `libelogind` NO es el elogind de upstream (que sería LGPL-2.1+). Por el nombre lo parece; su cabecera dice que es una reimplementación PROPIA de la C-ABI sd-login dentro de arje-compat. Declararla LGPL «porque se llama así» habría sido exactamente el error que este fichero prohíbe — el tercero del mismo tipo hoy, después de `knighttime` (parecía Go y es KDE) y de la familia `kube*` (parecen KDE y son Go). El nombre nunca es evidencia; la fuente sí. Hashes verificados sobre las 20: idénticos. Quedan 124 sin declarar, ya todas de terceros. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
29 lines
1.5 KiB
TOML
29 lines
1.5 KiB
TOML
# arje-zero-attest — variante de arje-zero CON el gate de atestación al arranque (A2), SÓLO para el
|
|
# PRODUCTO. No reemplaza al arje-zero del núcleo (recipes/arje-zero.toml, commit 9967b02c): ese sigue
|
|
# fijado para que el of_tree del self-host quede BLINDADO (baseline 9adefb82/7fa6cb4e). Esta variante se
|
|
# hidrata en la capa de producto, sobre /usr/bin/arje-zero — Separación Mecanismo/Política.
|
|
#
|
|
# El gate (init/arje-zero/src/attest_gate.rs, ya en tawasuyu main) computa el BLAKE3 de cada binario
|
|
# crítico del seed y lo contrasta con las concesiones firmadas en `Card::attest` (que hammer emite vía
|
|
# arje-packager). Política `Halt` ⇒ si algo no atesta, arje aborta el bucle y cae a la shell de rescate.
|
|
#
|
|
# Commit 06184e43 (rama selfhost/arje-zero-attest-lockfile) = c78a0ada (attest_gate + `--seed-out`) + el
|
|
# Cargo.lock del workspace committeado encima. Sin lock, tawasuyu lo gitignora y `cargo vendor` vendorea
|
|
# SIN --locked ⇒ las deps derivan en el tiempo y el binario (y el of_tree del producto atestado) deja de
|
|
# ser reproducible. Con el lock fijo el build es --locked y bit-reproducible. Espeja el patrón del núcleo
|
|
# (recipes/arje-zero.toml, rama selfhost/arje-zero-lockfile @ 9967b02c).
|
|
|
|
name = "arje-zero-attest"
|
|
version = "0.0.1"
|
|
license = "MIT"
|
|
|
|
[source]
|
|
repo = "gitea@git.tawasuyu.net:tawasuyu/tawasuyu.git"
|
|
commit = "06184e43a8b3179e41905dc56ba07ec569df1ebb"
|
|
|
|
[build]
|
|
compiler = "zig-cc"
|
|
target = "x86_64-linux-musl"
|
|
link = "static"
|
|
flags = ["-p", "arje-zero"]
|