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-09-09
2026-07-17
2026-07-16
- matar gcc: rollout de cmake HECHO en la granja — y los consumidores no hacían falta
- 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: el barrido queda en 0 IRREDUCIBLES — perl ya existía (§4.11)
- harkaq: primer barrido en la granja — la deuda irreducible de la muestra es perl (§4.10)
- matar gcc: cmake deja de arrastrar el runtime C++ de Alpine (§4.9) + /proc es contrato
- 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)
- harkaq: HITO DE FASE 1 — wiring en Rust; veredicto por fase sobre una receta real
- harkaq: el runtime base DERIVADO (§4.3) + el diagnóstico sobre un configure real (§4.4)
- harkaq: Verdict clasificado (base|esperada|deuda) + el runtime base es por forma de build
- harkaq: Q2 RESUELTA — el runtime base son 5 paths, y aparece una 3ª categoría
- harkaq: §4 corregido (política POR FICHERO) + Q2 con método y primeros datos reales
- harkaq: Fase 1 — la cadena corre de punta a punta (Hermetico / Impuro sobre kernel real)
- harkaq: Q1b CERRADA — la evidencia cruza el userns y el canario es la clave primaria
- harkaq: Q1 CERRADA — la evidencia llega; + D9 (canario deliberado) y el banco de pruebas
- docs: SDD 16 harkaq — Draft 2 reescrito contra la realidad del builder (bwrap, no nix)