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-10
2026-07-06
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
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 #3: deps entre paquetes — install resuelve el cierre y reconstruye el catálogo
- Etapa F paquetería #1: `hammer pack` — receta del corpus → paquete .swm (source_patch)