SergioandClaude Opus 5
390c6a5e5e
Deja de ser una plantilla con `commit = 000…0`. Tres cosas, y las dos últimas
son el valor del commit:
1. PIN. `v0.1.0` era el tag que la versión declaraba y NO SIRVE: su `Cargo.lock`
está desincronizado con sus manifiestos en el propio repo, y `cargo vendor
--locked` se niega ("cannot update the lock file … because --locked"). No es
de hammer: el vendoreo del fetch arranca bien y muere DENTRO de cargo.
Comprobado con `cargo metadata --locked` en los tres refs — v0.1.0
incoherente, v0.2.0 y main coherentes. Se pinea v0.2.0, PELADO con ^{commit}
porque es objeto tag (93253cc2, no 0beb83b7).
=> Un tag no sirve como pin sólo por existir: hay que verificar que su
lockfile cierre.
2. El requisito de `vendor/` en la fuente que pedía el comentario quedó VIEJO:
hammer vendorea en el FETCH a partir del Cargo.lock, host-side, y por eso el
`--offline --locked` del sandbox se cumple. El repo no trae vendor/ en ningún
tag y aun así construye.
3. ⚠ FASE `install` PROPIA, obligatoria con `--example`. El default de Cargo hace
`find target/release -maxdepth 1 -type f -perm -100`, y cargo deja los
ejemplos en `target/release/examples/`. El find no encontraba nada, salía 0 y
**hammer selló un artefacto SIN BINARIO**: 22 min de compilación y un `sealed`
con sólo `.hammer/recipe.toml` dentro, 20K. `hash --check` decía SELLADO y el
grafo lo habría contado como al día.
No lo atrapa `Store::has` ni el guardián de vacíos de build-state, porque el
directorio NO está vacío — tiene el manifiesto. Es la regla 3 del CLAUDE.md en
su peor forma: un ausente falla a gritos, esto llegó al final diciendo que
todo fue bien. Por eso la fase lleva un `test -x` que hace ruidosa la
ausencia.
Verificado por contenido, no por el `sealed`: 17 M, usr/bin/llimphi-counter, ELF
pie, NEEDED = libc.so (dinámico, como la receta promete para un binario que
dlopea Vulkan/Wayland). El artefacto falso se podó y quedó en el ledger.
`version` pasa de 0.1.0 a 0.2.0 y NO mueve el hash: no está en hash_inputs (como
`license`). La identidad la da el commit.
Corpus: 787/787 SELLADAS, 0 deuda, 0 never. Gate --check OK, grafo CIERRA.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LykB7vw38b4Ck1Zij15RQ4
64 lines
3.8 KiB
TOML
64 lines
3.8 KiB
TOML
# Ejemplo de receta Rust (BuildSys::Cargo) — un front-door de tawasuyu.
|
|
#
|
|
# PINEADA EL 2026-09-02. Hasta hoy su `commit` era `000…0`, un placeholder, y la receta llevaba un
|
|
# ⛔ «NO INTENTES CONSTRUIRLA»: existía para MOSTRAR cómo se escribe una receta Rust gráfica y salía
|
|
# como `never` en el grafo — técnicamente cierto y semánticamente engañoso, porque no era trabajo
|
|
# pendiente sino un ejemplo. Ahora apunta a `v0.1.0` (tag LIGERO ⇒ el sha ya es el commit; ojo que
|
|
# `v0.2.0` sí es objeto tag y hay que pelarlo con `^{commit}`).
|
|
#
|
|
# ⚠ El repo NO trae `vendor/` ni `.cargo/config.toml` en ningún tag, y el comentario de más abajo
|
|
# los pedía como requisito. Ese requisito quedó viejo: hammer vendorea en el FETCH a partir del
|
|
# `Cargo.lock` (que el repo sí trae), igual que hace `arje-logind-compat` con el monorepo. El
|
|
# `--offline --locked` del sandbox se cumple porque el vendoreo pasa ANTES, host-side.
|
|
#
|
|
# ⚠ POR QUÉ v0.2.0 Y NO v0.1.0, que es el tag que la versión declaraba. El `Cargo.lock` de v0.1.0
|
|
# está DESINCRONIZADO con sus manifiestos en el propio repo: `cargo vendor --locked` se niega
|
|
# («cannot update the lock file … because --locked was passed»). No es un problema de hammer —el
|
|
# vendoreo del fetch arranca bien y muere DENTRO de cargo—. Comprobado con `cargo metadata --locked`
|
|
# en los tres refs: v0.1.0 incoherente, v0.2.0 y main coherentes.
|
|
# ⇒ Un tag no sirve como pin sólo por existir: hay que verificar que su lockfile cierre.
|
|
#
|
|
# Muestra el caso GRÁFICO (el más exigente): wgpu+winit+vello cargan Vulkan/Wayland por
|
|
# `dlopen` en runtime, así que el binario va `link = "dynamic"` (no estático) y el link lo
|
|
# cierra el `zig cc` del lab (provee `libgcc_s`). Un crate NO gráfico (CLI, daemon) usa
|
|
# `link = "static"` y sale como binario monolítico hidratable por hardlink.
|
|
#
|
|
# DOS requisitos para que el build hermético funcione (el sandbox no tiene red):
|
|
# 1. commit FIJADO del repo público (reproducibilidad, ADR 0006).
|
|
# 2. deps VENDOREADAS en la fuente: `cargo vendor` + `.cargo/config.toml`, o el repo ya las
|
|
# trae. `cargo build --offline --locked` falla si falta cualquiera.
|
|
|
|
name = "llimphi-counter"
|
|
version = "0.2.0"
|
|
license = "MIT"
|
|
|
|
[source]
|
|
repo = "https://git.tawasuyu.net/tawasuyu/llimphi.git"
|
|
commit = "93253cc227130680427a9a83bdc504bd82ca71ca" # v0.2.0 PELADO (^{commit}); el tag es objeto
|
|
|
|
[build]
|
|
compiler = "zig-cc" # linker del binario (wrapper zig cc, cierra -lgcc_s)
|
|
target = "x86_64-linux-musl" # se traduce a x86_64-unknown-linux-musl para rustc
|
|
link = "dynamic" # gráfico: necesita dlopen de Vulkan/Wayland en runtime
|
|
# Selección del binario a construir dentro del workspace/crate:
|
|
flags = ["-p", "llimphi-ui", "--example", "counter"]
|
|
|
|
# ⚠ FASE `install` PROPIA, Y ES OBLIGATORIA CON `--example` (2026-09-02). El default de Cargo hace
|
|
# `find target/release -maxdepth 1 -type f -perm -100` y **cargo deja los ejemplos en
|
|
# `target/release/examples/`, no en `target/release/`** ⇒ el find no encuentra nada, sale 0, y hammer
|
|
# SELLA UN ARTEFACTO SIN BINARIO. Pasó: 22 min de compilación y un `sealed` con sólo
|
|
# `.hammer/recipe.toml` dentro. No lo atrapa `Store::has` ni el guardián de vacíos, porque el
|
|
# directorio NO está vacío — tiene el manifiesto. Es la regla 3 del CLAUDE.md en su peor forma.
|
|
# Por eso el `test -x` de abajo: que la ausencia falle A GRITOS en vez de sellar en silencio.
|
|
[build.phases]
|
|
install = '''
|
|
set -e
|
|
test -x target/release/examples/counter || { echo "no hay target/release/examples/counter — ¿cambió el layout de cargo?" >&2; exit 1; }
|
|
mkdir -p /out/usr/bin
|
|
cp target/release/examples/counter /out/usr/bin/llimphi-counter
|
|
'''
|
|
|
|
# runtime: en un userland musl coherente (Alpine) el binario dlopea mesa/vulkan/wayland
|
|
# musl-built sin fricción; mezclar con gráficos glibc es lo que rompe (ver M2 del plan
|
|
# arje↔hammer en tawasuyu).
|