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-07
- arranque-grafo: paso 3 del ADR 0010 — grafo de estados + `hammer boot`
- docs: ADR 0010 — arranque por grafo (menú de boot = navegación del grafo de estados, mirada+hammer)
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
- query: `exports:<elf>` — procedencia por-símbolo (puente barato de ADR 0009)
- 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
2026-07-02
- H1c (proof-carrying recipes): cablea la evidencia al Orchestrator VERIFY
- docs: SDD 15 frontera AI-nativa — proof-carrying recipes, computo como dato, codigo por contenido
2026-06-27
- Etapa G: mirada-compositor CONSTRUIDO — stack de sesión gráfica COMPLETO
- Etapa G: mirada-greeter CONSTRUIDO — primera app gráfica tawasuyu sobre el stack
- Etapa G: MESA iris-only CONSTRUIDA (24.0.9, sin LLVM) — stack gráfico COMPLETO
- Etapa G: wayland + wayland-protocols CONSTRUIDAS (scanner desbloqueado)
- Etapa G: wayland root cause CONFIRMADO — scanner musl lee input vacío
- Etapa G: debug wayland-scanner — genera headers vacíos (input vacío a expat)
- Etapa G: corrige nota wayland (no es libexpat — es estático en hammer)
- Etapa G: stack Mesa — 4/7 construidas (samurai, meson, libdrm, seatd)
- Etapa G: cola del stack gráfico Mesa (iris) para el escritorio tawasuyu
2026-06-21
- Etapa G: importador nix→receta (`hammer import-nix` + scripts/nix-import.sh)
- Etapa F refinamientos: uninstall poda dirs vacíos + `install --require-signed`
- Etapa F paquetería #6: repo sobre red — `install --repo URL` (HTTP/HTTPS)
- 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)
- auto-recover al arranque: crate hammer-recover + hook /sbin/init (E4 #4b)
- hammer-upgrade: journal de intención + recover idempotente (E4 endurecimiento #4a)
- arranque UEFI: ISO híbrido BIOS+EFI con grubx64.efi + ESP de mtools (refinamiento #3)
- instalar DESDE el live: hammer-install in-live + payload de disco (refinamiento #1)
- E5 medio live: ISO El Torito booteable con xorriso de hammer (primer corte)