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-01
- digest: blake3 pelado, no length-prefijado — el mismo archivo tenía dos hex
- repo: el índice firmado ancla el digest del .swm, y --repo acepta lista de orígenes
2026-08-29
- kernel: un contrato de capacidades que hace RUIDOSA la falta de MEMCG
- store: un destino VACÍO ya no se traga el sellado en silencio
2026-08-12
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
- guardianes: un artefacto VACIO deja de contar como presente
2026-08-08
2026-08-07
2026-07-29
2026-07-22
2026-07-10
2026-07-06
- H4e: requires OBSERVADOS — dep de runtime divergida = incompatible (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-03
2026-07-02
- H1c (proof-carrying recipes): cablea la evidencia al Orchestrator VERIFY
- H1b (proof-carrying recipes): checker `swm-verify --evidence` que ejecuta la evidencia
- H1a (proof-carrying recipes): bloque `evidence` en receta y .swm
2026-06-29
- Etapa G: frontera go.mod-en-subdir — knob [build] subdir (vendor/detect/compile en src/<subdir>)
- Etapa G: frontera CGO — knob 'cgo=true' (CC=zig cc + static) destraba sqlite bundled-C
2026-06-21
- Etapa F paquetería #5: DB de instalados + `hammer uninstall`/`installed`
- Etapa F paquetería #4: firma del release (índice del repo firmado)
- Etapa F paquetería #3: deps entre paquetes — install resuelve el cierre y reconstruye el catálogo
- Etapa F paquetería #2: repositorio + `hammer install <nombre>` / `repo list`
- Etapa F paquetería #1: `hammer pack` — receta del corpus → paquete .swm (source_patch)
2026-06-20
- atestación de integridad al arranque — mitad de hammer (I4 / Etapa D)
- Etapa B3: /store y /var/lib/hammer en particiones dedicadas (GPT)
- build: zig_version por-receta — 5 víctimas C dropean gcc (zig 0.13)