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-05
2026-09-04
2026-09-03
- qorpa D9: el canal de evidencia, cableado — la única forma de auditar el montón B
- qorpa D3: `packages` se instala solo — el manifiesto deja de ser un adorno
- qorpa §Orden 6: pressure-vessel ANIDA bajo la jaula — sin cuenta, sin juego y sin pantalla
- qorpa D8: el pin de sniper verificado, y el pin deja de ser una cita
- qorpa D11: el proxy de Wayland — el socket deja de ser un cheque en blanco
- qorpa prune: la poda nace con el subsistema, no después
- qorpa D10: Steam en la mano, y los tres muros que sólo se ven así
- qorpa export: shims generados, y la clase `ajeno` para que nadie los cuente mal
- qorpa: el mapeo por rango — subuid + --userns FD, y el impuesto se paga
- qorpa D9: harkaq enjaula la instancia, y midiendo salieron dos conflictos
- qorpa create/recreate/run: la instancia nace sin ver nada
- qorpa pull/list: la imagen ajena entra verificada, o no entra
2026-09-01
2026-08-30
- kernel contract: un objetivo sin sellado vigente NO es un objetivo aprobado
- kernel contract: el sellado VIGENTE bloquea, el superado se informa
2026-08-29
2026-08-11
2026-08-10
- hash: el toolchain del lab entra en hash_inputs — el corpus entero se re-hashea
- kernel: la clausura contrastada contra un olddefconfig de verdad — 65/68 con 0 falsos positivos
- kernel: el gate de no-regresión, por objetivo — el mismo plan pasa en QEMU y bloquea en metal
- kernel: plan (receta derivada) y diff-back — dos hashes para el mismo código fuente
- kernel: modo reversa y catálogo de bundles — y las cuatro recetas apagan dos símbolos que ya no existen
- kernel: el lector de Kconfig y la validación del §3 — la clausura reproduce los bundles a mano
2026-07-22
2026-07-17
2026-07-16
2026-07-11
2026-07-07
- arranque-grafo: current/default siempre presentes — interop con el lector de mirada
- arranque-grafo: paso 3 del ADR 0010 — grafo de estados + `hammer boot`
2026-07-06
- H4e: requires OBSERVADOS — dep de runtime divergida = incompatible (SDD 15 §H4)
- H4d: `hammer compat <repo>` — la búsqueda que particiona un repo contra lo instalado (SDD 15 §H4)
- H4c: superficies OBSERVADAS — colisión de fichero en `install` sin declarar slots (SDD 15 §H4)
- H4b: gate de compatibilidad de configs en la receta real + `hammer install` (SDD 15 §H4)
2026-07-02
- H1b (proof-carrying recipes): checker `swm-verify --evidence` que ejecuta la evidencia
- H1a (proof-carrying recipes): bloque `evidence` en receta y .swm