sergio/takana
> Una distribución Linux construida con un laboratorio funcional y hermético en el > sótano, y una terminal mutable, clásica y anárquica en el piso de arriba — diseñada > desde el suelo para que una IA programadora entienda, modifique y co…
2026-07-17
- estado+kde: el grafo ahora cubre la cola incoming-kde; base KDE desbloqueada en el laptop
- estado: clasificación Rust corregida (había ~180 Rust escondidas como C) + musl
- estado: orden de ataque por impacto de desbloqueo (lectura accionable del DAG)
- estado: vista humana del grafo (build-state-view.py → build-state.html)
- estado: grafo de build persistido y versionado (scripts/build-state.py → docs/state/build-state.json)
- granja: borrar la cola gráfica obsoleta de incoming/ (no había otro agente)
- granja: saldar-deuda-static.sh — reconstruye la deuda que destapó hammer hash
- hammer hash: dry-run que faltaba — cierra el sobre-reporte del static-audit de raíz
- granja: el smoke-test del cron escribía en el repo (gocron sembró config/)
- granja: dejar de moler la cola del OTRO agente (los 6 'No such file' de cada farm-down)
- granja: BLINDAJE de gioser — el token de la granja podía borrarlo
- granja: automuerte TOTAL + el store VIVE en el volumen (sin ventana de pérdida)
- granja: DEAD-MAN SWITCH — el worker se borra solo tras 1h idle
- static-audit: el '28 mienten' estaba INFLADO por mi propio bug (ls|head -1)
- piloto trace END-TO-END: build real de zlib trazado en store desechable — el hash REPRODUCE bit a bit el sellado (b3:2623a403), poda filosa (make 1/8 ficheros, busybox 1/2), taxonomía de ruido medida (+/cache al normalizador); harkaq-trace-build.sh orquesta (tracer por fase vía /proc/pid/root)
- static-audit: link="static" era mentira en 28 recetas selladas (libtool lo ignora)
- harkaq-trace: la traza POSITIVA de la clausura (plan-freebsd T1.1-T1.2, prior art filemon/META MODE)
- harkaq: el clasificador nunca propone runtime base como declarable (fix de raíz de busybox)
- harkaq: revertir busybox (era runtime base, rompía builds) + coordinar el §3 con Fable 5
- cierres §4: CVE por grafo — frontera mínima de rebuild (dirty_cone + topo_order)
- cierres §3: política de runtime derivada por medición (sin tocar la cripto)
- cierres §2: why-differs — explica POR QUÉ dos artefactos no reproducen
- cierres §1: consenso de reconstrucción — funcionando (2/2 builders, mismo hash)
2026-07-16
- harkaq: cpp/getent en las sondas del provisioning (coherente con base.policy)
- mirada-usb: el overlay de mesa pisaba libudev-zero con el libudev de eudev — input muerto en el tester NVIDIA
- matar-gcc: migra-zig.sh + veredicto medido — las C-puras SON granjeables (~85%)
- mirada-usb: force_gpt en la cmdline + post-mortem del viaje NVIDIA
- harkaq: el clasificador distingue gcc-compilador de gcc-sonda — matar-gcc son 47 recetas
- harkaq: granja con volumen + auto-shutdown VALIDADA end-to-end
- harkaq: granja con volumen persistente + workers auto-terminantes
- harkaq: declarar deps medidas por el kernel (cosecha automática)
- harkaq: declarar deps medidas por el kernel (cosecha automática)
- harkaq: gate 2 de la campaña — ¿el binario TIENE la jaula dentro?
- harkaq: campaña desatendida — medir→declarar→verificar, sin regex y sin preguntas
- harkaq: el kernel de hammer ya trae Landlock — ABI 7 verificado BOOTEANDO (Fase 1 precond. 1)
2026-07-15
- harkaq: seccomp implementado (D4) — denylist, no allowlist; el hash no se mueve
- harkaq: primer barrido en la granja — la deuda irreducible de la muestra es perl (§4.10)
- harkaq: la granja VPS ya puede ser el compilador continuo — golden bumpeada a 6.17 (ABI 7)
- harkaq: el bucle CERRADO — de Impuro a Hermetico sobre una receta real (§4.7)
- harkaq: deuda declarable vs irreducible (§4.5) + primer barrido de Fase 2 (§4.6)