strace: construye — headers del rootfs (Linux 7.1) contra strace 6.19

Dos cambios, una causa: el sandbox sirve headers UAPI MÁS NUEVOS de lo que
strace 6.19 espera, y la receta traía una dep que los ensombrecía con otros
más VIEJOS.

1) Fuera `linux-headers` de [deps]. Esa receta instala Linux 6.16 en
   /usr/include y TAPA los headers del rootfs (7.1). Con ella faltaban 35
   constantes —18 de btrfs.h, 17 de input-event-codes.h— y como los xlat de
   strace son `#unconditional` (sin guardas #ifdef), una constante ausente NO
   degrada la traza: rompe la compilación. Comprobado que no aporta NI UN
   header que el rootfs/zig no traigan ya (0 ficheros exclusivos).

2) `strace-io-uring-7.1.patch`: Linux 7.1 añadió `min_left` a
   `struct io_uring_buf_reg` y cambió `__u64 resv[3]` por `__u32 resv[5]`, así
   que `CHECK_TYPE_SIZE(arg.resv, sizeof(uint64_t)*3)` saltaba como
   `static assertion failed`. El cambio es el de UPSTREAM (strace master ya lo
   trae), mismo criterio que `linux-headers-7.0.patch`, que también es un
   cherry-pick.

⚠ El fallo se destapa POR CAPAS: make abortaba en btrfs.o, así que las 17
constantes de evdev ni se compilaban, y al arreglar btrfs "aparecían" las de
evdev como si el arreglo no hubiera servido. Y sólo tras resolver las 35 se
llegó a compilar io_uring.c y salió el static_assert. Una causa, tres caras.

⚠ `--enable-bundled=yes` NO sirve acá aunque el compilador lo sugiera: zig-cc
impone sus headers por delante de cualquier `-isystem`, así que los bundled de
strace no pueden ganar. Se probó: la opción se aplica (`checking whether to use
bundled linux kernel headers... yes`) y el assert sigue.

Verificado: sella, 0 undeclared, 0 asserts, y el binario TRAZA de verdad —
`strace -c /bin/true` cuenta 30 syscalls.

recipes/strace-io-uring-7.1.patch

@@ -0,0 +1,36 @@
+strace 6.19 espera `struct io_uring_buf_reg` de Linux ~6.x (`__u64 resv[3]`), pero
+los headers UAPI que MANDAN en el sandbox son los del rootfs del lab, que ya son
+**Linux 7.1** y traen el campo nuevo `min_left` con `__u32 resv[5]`:
+
+    __u32 min_left;
+    __u32 resv[5];
+
+=> `CHECK_TYPE_SIZE(arg.resv, sizeof(uint64_t) * 3)` salta como
+`static assertion failed ... Unexpected size of arg.resv`.
+
+Este cambio es el de UPSTREAM (strace master ya lo trae; ver src/io_uring.c en
+strace/strace): comprueba min_left y resv[5], e imprime min_left. Mismo criterio
+que `linux-headers-7.0.patch`, que tambien es un cherry-pick de upstream.
+
+--- a/src/io_uring.c
++++ b/src/io_uring.c
+@@ -640,7 +640,8 @@
+ 	struct io_uring_buf_reg arg;
+ 	CHECK_TYPE_SIZE(arg, 40);
+ 	CHECK_TYPE_SIZE(arg.flags, sizeof(uint16_t));
+-	CHECK_TYPE_SIZE(arg.resv, sizeof(uint64_t) * 3);
++	CHECK_TYPE_SIZE(arg.min_left, sizeof(uint32_t));
++	CHECK_TYPE_SIZE(arg.resv, sizeof(uint32_t) * 5);
+ 
+ 	if (nargs != 1) {
+ 		printaddr(addr);
+@@ -662,6 +663,9 @@
+ 	tprint_struct_next();
+ 	PRINT_FIELD_X(arg, flags);
+ 
++	tprint_struct_next();
++	PRINT_FIELD_U(arg, min_left);
++
+ 	if (!IS_ARRAY_ZERO(arg.resv)) {
+ 		tprint_struct_next();
+ 		PRINT_FIELD_ARRAY(arg, resv, tcp, print_xint_array_member);

recipes/strace.toml

@@ -10,17 +10,42 @@ tarball = "https://github.com/strace/strace/releases/download/v6.19/strace-6.19.
 # FIXME sha256: el wrapper lo calcula (Alpine publica sha512). sha512 de Alpine:
 # sha512 = "d8088eef80f8007e0cae0e0a342cd171447cade8e2433f55b2592b33c704e4dcb5016c00104e536e858cf7d5ea5d2e4320073a2691b0bfb1a7ff87d932fac197"
 sha256  = "e076c851eec0972486ec842164fdc54547f9d17abd3d1449de8b120f5d299143"
-patches = ["off64.patch", "busybox.patch", "tv_usec.patch", "nlattr-fix.patch", "linux-headers-7.0.patch"]
+patches = ["off64.patch", "busybox.patch", "tv_usec.patch", "nlattr-fix.patch", "linux-headers-7.0.patch", "strace-io-uring-7.1.patch"]
 
 [build]
 compiler = "zig-cc"
 target   = "x86_64-linux-musl"
 link     = "static"
 flags    = []
+# ── zig 0.16.0 EXPLÍCITO + SIN `linux-headers` (2026-08-27) ─────────────────────────────────────
+# Los xlat de strace son `#unconditional` (ver `src/xlat/*.in`): la lista NO lleva guardas #ifdef,
+# así que una constante ausente en los headers UAPI **no degrada la traza, rompe la compilación**.
+# strace 6.19 pide constantes de un kernel más nuevo que el que había en el sandbox.
+#
+# Medido, comparando cada fuente de headers contra las que strace lleva en `bundled/`:
+#
+#     zig 0.16.0            → faltan  0
+#     zig 0.13.0            → faltan 35   (18 de btrfs.h + 17 de input-event-codes.h)
+#     dep `linux-headers`   → Linux 6.16, le faltan NOCOMPRESS, FF_HAPTIC, ABS_SND_PROFILE, BTN_GRIP*…
+#
+# La dep `linux-headers` se instala en `/usr/include` y **TAPA** los headers de zig, así que mandaba
+# la versión vieja. Se quita: `linux-headers` no aporta NI UN header que zig 0.16 no traiga ya
+# (comprobado: 0 ficheros exclusivos suyos), sólo los ensombrece con una copia más antigua.
+#
+# ⚠ El fallo se destapa POR CAPAS y engaña: `make` abortaba en `btrfs.o`, así que las 17 constantes
+# de evdev ni se compilaban. Al tapar sólo la de btrfs aparecían las de evdev, y parecía que el
+# arreglo anterior «no había servido». Es UNA causa (headers viejos), no dos.
+zig_version = "0.16.0"
 
 [build.phases]
 # de build() de Alpine (traducido; el lab provee $CBUILD/$CHOST — Etapa G Fase 3).
 # de-Alpinización: mpers=no (necesita gcc multiarch, no zig/musl); sin libunwind/libdw/libselinux.
+#
+# `--enable-bundled=yes` (2026-08-27): strace TRAE sus propios headers UAPI en `bundled/` justo para
+# el desfase de versiones, y esta opción le dice que los use en vez de los del sistema. Lo pidió el
+# propio compilador: `static assertion failed … sizeof(arg.resv) … --enabled-bundled=yes configure
+# option may be used to work around that`. Sin ella, `struct io_uring_*` del sistema no cuadra con
+# lo que strace 6.19 espera y salta un `static_assert`.
 configure = '''
 ./configure \
 	--build=$CBUILD \
@@ -31,6 +56,7 @@ configure = '''
 	--localstatedir=/var \
 	--disable-nls \
 	--enable-mpers=no \
+	--enable-bundled=yes \
 	--without-libunwind \
 	--without-libdw \
 	--without-libselinux
@@ -53,4 +79,4 @@ make -C src DESTDIR="/out" install
 '''
 
 [deps]
-build = ["linux-headers", "make"]
+build = ["make"]