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-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-05
- docs: SDD 15 §H4 — configs compartidas (compatible/completa/segura) + la ambición hasta config=paquete=función=proceso
- docs: SDD 15 §H3c — formato de viaje canónico del Paquete + wawa-verifica (el puente concreto paquete↔función)
- docs: SDD 15 §H3c hecho — el linker de contenido (grano intra-función por hash, Merkle-DAG de código)
2026-07-04
- docs: SDD 15 §H3b — puente H3b↔H2c (compartir programas por la malla, seguros por construcción)
- docs: SDD 15 §H3b hecho — código por contenido estilo Unison sobre el grano wasm de H2
- docs: SDD 15 §H2c — núcleo de confianza hecho (sellado + verificar-reproduciendo)
- docs: SDD 15 §H2b hecho — memoización de ejecución wasm (cómputo como dato)
2026-07-03
- docs: ADR 0009 código direccionado por contenido (H3a) — registrar visión Unison
- docs: SDD 15 §H2a hecho — auditoría de determinismo wasm de wawa