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-04
- 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
- H1b (proof-carrying recipes): checker `swm-verify --evidence` que ejecuta la evidencia
- H1a: fix construcción SourcePatch en test del orchestrator (campo evidence faltante)
- H1a (proof-carrying recipes): bloque `evidence` en receta y .swm
- Etapa G (GUI): appstream — agrega openssl a build-deps (dep transitiva de libcurl.pc)
- Etapa G (GUI): libadwaita/demos — agrega openssl a build-deps (dep transitiva de libcurl.pc)
- Etapa G (GUI): cairo — preserva cairo-script-interpreter.pc (fix de regresión)
- Etapa G (granja): concilia la colisión de concurrencia — reintento serial de fallos por dep compartida
- Etapa G (GUI): harfbuzz — agrega libpng a build-deps (dep transitiva de freetype2.pc)
- Etapa G (GUI): cairo construye bajo zig — patch fuerza HAVE_CTIME_R + salta utils
- docs: SDD 15 frontera AI-nativa — proof-carrying recipes, computo como dato, codigo por contenido
- Etapa G (granja): watchdog protege árboles calientes — cura corrupción de deps transitivas
2026-07-01
- Etapa G (GUI): fontconfig — agrega libpng+zlib a build-deps (dep transitiva de freetype2.pc)
- Etapa G (GUI): rescata los 3 patches huérfanos de freetype canónica
- Etapa G (clib/GUI): gradúa 6 libs gráficas ya publicadas — libwebp/libepoxy/fontconfig/cairo/gdk-pixbuf/appstream
- Etapa G (clib): rescata patches huérfanos de json-c y libuv
- Etapa G (clib): gradúa 15 libs C ya publicadas — incoming-clib → recipes/
- Etapa G (granja): promote más seguro — patches viajan con la receta + guarda de colisión
- Etapa G (clib): arregla brotli (cmake vía [deps].build, sin Ninja/wheel) + elimina bzip2 duplicado
- Etapa G (GUI): hammer-edit — editor de código REAL del distro (Adwaita+GtkSourceView)
2026-06-30
- Etapa G (GUI): arregla hojas giflib/xz/libwebp — deps espurias del import nix
- Etapa G (GUI): sourceview-hello — editor de código (Adwaita + GtkSourceView, resaltado C + nums de línea)
- Etapa G (GUI): gtksourceview 5.16 ✓ — widget de edición de código sobre GTK4 (base de editores/IDEs)
- Etapa G (GUI): validación libadwaita — adwaita-hello (AdwApplicationWindow+ToolbarView+StatusPage)
- Etapa G (GUI): 🎉 libadwaita 1.7.6 ✓ — widgets modernos GNOME (Adwaita) sobre GTK4, static-musl
- Etapa G (GUI): cadena de soporte de libadwaita — libsass/sassc (C++), libyaml, curl(min), libxmlb, gettext-tiny, itstool(stub), appstream(lean)
- Etapa G (GUI): libsass 3.6.6 + sassc 3.6.2 (C++ vía zig c++) — compilador SCSS para los estilos de libadwaita
- Etapa G (GUI): validación — gtk4-hello, app GTK4 linkeada 100% estática contra libgtk-4.a
- Etapa G (GUI): 🎉 GTK4 4.18.6 ✓ — el toolkit de GUI completo, static-musl/zig-cc
- Etapa G (GUI): harfbuzz glib=enabled (hb-glib.h p/ GTK4) + cierre .pc transitivo (glib/pcre2/libffi/zlib) + PKG_CONFIG_PATH
- Etapa G (GUI): libjpeg-turbo instala en /usr/lib (no lib64) — destraba pkg-config de libtiff→libjpeg y GTK4
- Etapa G (GUI): libtiff ✓ — loader TIFF que gdk de GTK4 exige hard; cmake static, solo target tiff (esquiva helper mkg3states shared)
- Etapa G (GUI): gdk-pixbuf ✓ — esquiva shared-mime-info/glycin (gio_sniffing=false + builtin_loaders=png); último eslabón de deps GTK4
- Etapa G: libepoxy recuperado — dep mesa (provee headers EGL/GL); mesa SÍ está en el repo