sergioandClaude Opus 5
346cd59706
La deuda legal bloqueante del SDD 19 §2.1. Medido hoy: **0 de 1141 recetas** declaraban licencia, no «5 de 771» como decía el informe anterior. Los dos números estaban mal: los «5» eran falsos positivos de `grep license` (el paquete `addlicense`, el paquete `cargo-bundle-licenses`, una línea `install .../share/licenses/` y un comentario), y las recetas son 1141. Contar con `grep -l <palabra>` sobre TOML cuenta comentarios y nombres, no campos; `scripts/licencias.sh` cuenta el campo de verdad (clave en la raíz, antes del primer `[table]`). LO QUE HACE LA DEUDA PAGABLE: `Recipe::hash_inputs` es una LISTA BLANCA — sólo entran source, compiler, target, link, patches, flags, phases y deps. `license` no entra, igual que `evidence` y `slots`. Por eso se puede poblar en las recetas YA SELLADAS sin mover un solo ArtifactHash. Verificado, no supuesto: en 40 recetas modificadas se comparó el hash con y sin la línea — 40 idénticos, 0 cambiados. Si el campo entrara al hash, declarar la licencia costaría reconstruir el corpus entero y no se haría nunca. Clavado con el test `licencia_round_trip_y_no_afecta_el_hash`. TRAMPA DE TOML: una clave suelta después de un `[table]` pertenece a esa tabla. Puesta al final del fichero, `license` acaba dentro de `[deps]` y se pierde EN SILENCIO, porque serde ignora los campos que no conoce — no hay error, simplemente no está. Va arriba, junto a `name` y `version`; el sembrador la inserta tras `version`. NO SE ADIVINA. Declarar mal una licencia es peor que dejarla vacía: convierte un hueco visible en una afirmación falsa. Sólo se puebla desde una tabla curada entrada por entrada (`docs/licencias-conocidas.tsv`); lo que no tiene evidencia queda vacío y se CUENTA. Concretamente se descartó el atajo «k* = KDE ⇒ LGPL»: en este catálogo `kail`, `kind`, `ko`, `kopia`, `krew`, `kustomize`, `kyverno`, `katana`, `kibi`, `kmon` y toda la familia `kube*` son herramientas Go sin relación con KDE. El nombre no es evidencia. Quedan 913, casi todas CLIs Go/Rust importados en masa — y ésas sí son automatizables con evidencia real: Cargo.toml trae el campo `license` y los módulos Go traen su LICENSE en el árbol. El cierre estructural es capturarlo en la fase de fetch, que ya descarga y extrae cada tarball, y inyectar el texto en `hammer pack` (aguas abajo del ArtifactHash) en vez de en la fase install (que sí re-hashearía). De paso, respaldo-storagebox.sh reordenado por valor irreemplazable y con zstd: medido en la oficina, el uplink da 8 Mbps iguales por cable y por wifi ⇒ 128 G no caben en una sentada, así que sube primero el cerebro (estado + repo) y `--partial-dir` hace que cortar a mitad de un artefacto no tire lo ya subido. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
54 lines
2.9 KiB
TOML
54 lines
2.9 KiB
TOML
# pcre2 10.47 — biblioteca de regex Perl-compatible (C). Lib FUNDACIONAL: dep de grep-variants,
|
|
# pcre2-sys (crates Rust), y mucha cola C. De-Alpinizada (Etapa G):
|
|
# - compiler=zig-cc (migrado de gcc, matar-gcc 2026-07-16): C portable pero zig-cc miscompila libs C (patrón file/jq); gcc del rootfs es musl.
|
|
# - --disable-shared --enable-static: el lab linkea estático; queremos libpcre2-*.a en /usr/lib.
|
|
# - sin --enable-pcre2test-libedit (libedit no está en corpus, es solo para el test interactivo).
|
|
name = "pcre2"
|
|
version = "10.47"
|
|
license = "BSD-3-Clause"
|
|
|
|
[source]
|
|
tarball = "https://github.com/PhilipHazel/pcre2/releases/download/pcre2-10.47/pcre2-10.47.tar.bz2"
|
|
sha256 = "47fe8c99461250d42f89e6e8fdaeba9da057855d06eb7fc08d9ca03fd08d7bc7"
|
|
|
|
[build]
|
|
compiler = "zig-cc"
|
|
target = "x86_64-linux-musl"
|
|
link = "static"
|
|
flags = []
|
|
|
|
[build.phases]
|
|
# ESTÁTICO DE VERDAD (2026-07-17, frente link-static-mentira-libtool):
|
|
# pcre2 enlaza sus ejecutables (pcre2grep, pcre2test) con **libtool**, y libtool NO reenvía el
|
|
# `LDFLAGS=-static` que el lab exporta por `link="static"` al linker: lo interpreta como "preferí
|
|
# los .a de libtool". Resultado: pcre2grep salía DINÁMICO (NEEDED: libz.so.1, libc.so) jurando ser
|
|
# estático — y `libc.so` es la musl que zig bundlea, que en el host son 255B de linker script ⇒ el
|
|
# artefacto no corría fuera del sandbox.
|
|
# El único flag de libtool que fuerza un binario 100% estático es `-all-static`, y va en `make`
|
|
# **Y** en `make install` (libtool RELINKEA al instalar; sólo en compile no basta). NUNCA en
|
|
# configure: rompe los tests de link de autotools.
|
|
# PIC (2026-07-17, destrabando qtbase → árbol KDE): los objetos del `.a` se compilaban SIN -fPIC, así
|
|
# que llevaban relocaciones absolutas R_X86_64_64 contra símbolos locales (pso_list en pcre2_compile.o,
|
|
# las tablas del JIT en pcre2_jit_compile.o). Al enlazar libpcre2-16.a en qtbase —PIE, como TODO binario
|
|
# static musl de hammer— ld.lld lo rechaza: "relocation R_X86_64_64 cannot be used against local symbol".
|
|
# Es un landmine para el modelo static-PIE entero, no sólo Qt: cualquier consumidor PIE lo pisa.
|
|
# Fix = --with-pic + CFLAGS=-fPIC ⇒ objetos position-independent, linkables en PIE. El `-no-pie` de
|
|
# LDFLAGS es del EJECUTABLE pcre2grep (lo quiere el audit static) y convive con objetos -fPIC.
|
|
# JIT queda DESACTIVADO igual: genera código en runtime (W^X) y sus tablas siguen siendo frágiles;
|
|
# el regex es un pelo más lento y la API no cambia (pcre2_jit_compile devuelve error sin JIT).
|
|
compile = '''
|
|
CFLAGS="${CFLAGS:-} -fPIC" ./configure \
|
|
--build=$CBUILD --host=$CHOST \
|
|
--prefix=/usr \
|
|
--disable-shared --enable-static --with-pic \
|
|
--enable-pcre2-16 --enable-pcre2-32 \
|
|
--disable-jit \
|
|
--enable-pcre2grep-libz \
|
|
--disable-symvers
|
|
make CFLAGS="-O2 -fPIC" LDFLAGS="-all-static -no-pie" -j"$(nproc)"
|
|
'''
|
|
install = 'make DESTDIR=/out install LDFLAGS="-all-static -no-pie"'
|
|
|
|
[deps]
|
|
build = ["zlib", "make"]
|