1# Joyas reusables — trucos de otras distros que encajan en piezas takana existentes
2
3**Fecha:** 2026-07-16 · **Criterio de entrada:** o está probado por alguien serio, o el CAS de
4takana lo vuelve trivial donde a otros les cuesta. Cada joya nombra la pieza takana que la
5recibe — sin pieza receptora, no entra. Complementa `plan-freebsd-aprovechables.md`,
6`plan-variantes-cpu.md` y `plan-jaula-juegos.md`.
7
8---
9
10## 1. composefs (Red Hat) — hidratación montada con verity gratis
11
12**Qué es.** overlayfs+EROFS montando un árbol desde un **object store content-addressed**, con
13fs-verity por objeto. Probado en producción: ostree/bootc/Fedora Atomic lo usan hoy. Está
14diseñado *literalmente* para stores como el de takana.
15
16**Dónde encaja.** Backend alternativo a la hidratación por hardlink (ADR 0005): en vez de
17materializar N hardlinks, un manifiesto (imagen EROFS chiquita, firmable) monta el árbol
18directo del store. Y se lleva puesto medio **cierre §5** (verity + medida): el hash que takana
19ya usa como identidad se convierte en verificación por-lectura del kernel. Coste kernel: EROFS
20+ OVERLAY_FS + FS_VERITY, tres líneas más del contrato `scripts/config`.
21
22**Gate barato:** prototipo de `takana hydrate --backend composefs` sobre un artefacto sellado;
23comparar con hardlink en frío/caliente. No reemplaza ADR 0005 — convive como backend.
24
25**Prototipo MEDIDO (2026-07-17, laptop, composefs 1.0.8, sobre el product-rootfs sellado
26`ba351f1b…`, 262MB / 730 entradas):**
27- `takana hydrate` (hardlink, ADR 0005): **28ms**. `mkcomposefs --digest-store`: **507ms**
28  (incluye hashear todo al objects/). El manifiesto `.cfs` resultante: **136KB firmables**
29  para el rootfs entero.
30- La comparación de velocidad es la métrica equivocada: ambos son sub-segundo. Lo que
31  composefs compra y el hardlink NO puede dar: (1) fs-verity por fichero en runtime —
32  integridad verificada en cada lectura, el cierre §5 en serio; (2) proyección
33  genuinamente read-only — **con hardlinks, un write con privilegios a través del árbol
34  hidratado corrompe el store** (comparten inode); con composefs es imposible por
35  construcción; (3) el manifiesto chico como unidad de firma/distribución.
36- **Hallazgo de diseño**: el objects/ de composefs se indexa por digest **fs-verity
37  (sha256)**, no por `b3:` ⇒ el backend mantiene un objects/ paralelo al store (lo
38  construye `mkcomposefs --digest-store` solo, y DEDUPLICA contenido entre artefactos)
39  o takana guarda el mapa b3→verity al sellar. No es bloqueante, es una tabla.
40- **Pendiente (pide root)**: montar el `.cfs` (overlayfs+EROFS) y medir lectura
41  fría/caliente vs hardlink. El kernel linux-metal re-sellado ya trae EROFS+FS_VERITY.
42
43## 2. PGO/BOLT con perfil sellado — la que NADIE probó bien
44
45**El problema ajeno.** PGO y BOLT dan 10–20% real (Fedora ya envía clang/rustc bolteados),
46pero rompen la bit-repro de las distros: el perfil varía corrida a corrida, así que
47reproducible-builds y PGO viven peleados.
48
49**El truco takana.** El perfil se **sella como artefacto**: se genera una vez con carga
50representativa, entra al store por hash, y la receta lo declara como input. El build vuelve a
51ser función pura `(fuente, perfil) → binario` — PGO bit-reproducible, verificable por la
52granja como cualquier receta. Nadie tiene esto porque nadie trata los perfiles como inputs
53content-addressed.
54
55**Dónde paga primero:** el toolchain propio. Un rustc/zig PGO+BOLT hace **toda la granja**
56más barata — es la única optimización que se cobra en cada build futuro, no en cada ejecución.
57
58## 3. mimalloc en estático — el talón de musl
59
60**El problema.** El allocator de musl (mallocng) es el punto débil de rendimiento conocido de
61toda distro musl, sobre todo multihilo. Y como takana linkea estático, cada binario *hornea* su
62allocator — no hay LD_PRELOAD que valga después.
63
64**El truco (probado: Chimera Linux lo envía system-wide).** Linkear mimalloc en las
65herramientas calientes, per-receta como el patrón `.hammer-zig-ar` (NO framework: re-hashearía
66los sellados). Candidatas: las propias herramientas takana y todo lo alloc-intensivo de la
67lista caliente de `plan-variantes-cpu.md` — es la otra mitad de esa moneda: v3 acelera el
68cómputo, mimalloc el malloc.
69
70## 4. MGLRU + zram — dos líneas de kernel, probadas a escala
71
72`CONFIG_LRU_GEN=y` (multi-gen LRU, kernel ≥6.1): responsividad de escritorio bajo presión de
73memoria, probado por ChromeOS/Android/CachyOS. Más zram como swap comprimido. Entra por el
74mismo contrato explícito de `linux-metal.toml` que NTSYNC/sched-ext (`plan-jaula-juegos.md`
75T1.x) — mismo re-sellado, cero código.
76
77## 5. uutils coreutils — de-Alpinización que compila en el LAPTOP
78
79**Probado:** Ubuntu 25.10 los envía como default. Son los coreutils en Rust — y ahí está el
80encaje takana: **Rust compila en el laptop** (la regla "recetas C ⇒ worker" no aplica). Cada
81utilidad de la clase busybox/coreutils que hoy es deuda declarable puede migrar a una receta
82Rust sin tocar la cola del worker. No es rendimiento: es soberanía de cadena con el compilador
83que ya es el nativo de la casa (ADR 0001).
84
85## 6. El corpus de Clear Linux (Intel, †2025) — minarlo como se minó aports
86
87Clear Linux fue el pionero real de casi todo esto (PGO+LTO masivo, dual-build AVX2, flags
88por-paquete medidos) y murió en julio 2025 — pero sus repos de patches/configs por-paquete
89siguen públicos. Es un **corpus**, como aports lo fue para musl (Etapa G): cuando una lib
90entre a la lista caliente de `plan-variantes-cpu.md`, mirar qué flags le daba Clear es la
91forma barata de no re-descubrir su benchmark. Se mina bajo demanda, no se importa en masa.
92
93## 7. Reglas ananicy (CachyOS) — datos, no código
94
95Corpus de reglas nice/ionice/latency por-proceso que CachyOS mantiene para escritorio. Es un
96fichero de datos reusable tal cual como perfil del init propio (SDD 07 / arje) — el demonio
97que las aplica es trivial y no hace falta traer `ananicy-cpp` entero.
98
99---
100
101## Lo que se miró y NO entra
102
103- **DT_RELR / prelink** — ganancias de arranque para *dinámico*; con link=static es ruido.
104- **ccache/sccache** — la memoización de takana es por contenido y sellada (H2); un cache
105  mutable por-builder la contradice.
106- **ksm en la granja** — dedup de páginas entre VMs efímeras que viven minutos: no amortiza.
107
108## Orden sugerido (independiente de los otros planes)
109
1101. **#4 MGLRU** — va gratis en el mismo re-sellado de kernel que ya pide plan-jaula-juegos.
1112. **#1 composefs** — prototipo de backend; decide con números frente a ADR 0005.
1123. **#2 perfil sellado** — empezar por rustc de la granja (se cobra en cada build).
1134. **#5 uutils** — tanda Rust de laptop cuando haya hueco; #3/#6/#7 bajo demanda.