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-02
- H1c (proof-carrying recipes): cablea la evidencia al Orchestrator VERIFY
- H1a: fix construcción SourcePatch en test del orchestrator (campo evidence faltante)
- H1a (proof-carrying recipes): bloque `evidence` en receta y .swm
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)
2026-06-14
- feat(swm): init_rule se materializa a /etc/hammer/init.d/{service}.rule
- feat(swm): source_patch modela tarballs además de git (Fase 4)
2026-06-10
- Fase 6 — traductor LLM real (Claude API) detrás de feature llm-claude
- Fase 6 — bucle de auto-reparación (cliente reacciona a Crashed)
- Fase 6 — lenguaje de consulta del sistema (SDD 08 §6)