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-08-30
- kernel contract: un objetivo sin sellado vigente NO es un objetivo aprobado
- kernel contract: el sellado VIGENTE bloquea, el superado se informa
2026-08-29
2026-08-11
2026-08-10
- hash: el toolchain del lab entra en hash_inputs — el corpus entero se re-hashea
- kernel: la clausura contrastada contra un olddefconfig de verdad — 65/68 con 0 falsos positivos
- kernel: el gate de no-regresión, por objetivo — el mismo plan pasa en QEMU y bloquea en metal
- kernel: plan (receta derivada) y diff-back — dos hashes para el mismo código fuente
- kernel: modo reversa y catálogo de bundles — y las cuatro recetas apagan dos símbolos que ya no existen
- kernel: el lector de Kconfig y la validación del §3 — la clausura reproduce los bundles a mano
2026-07-22
2026-07-17
2026-07-16
2026-07-11
2026-07-07
- arranque-grafo: current/default siempre presentes — interop con el lector de mirada
- arranque-grafo: paso 3 del ADR 0010 — grafo de estados + `hammer boot`
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-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-26
2026-06-25
2026-06-21
- Etapa G: importador Alpine filtra el toolchain de deps + xsv limpio (84→85)
- Etapa F: cierra el hilo userland — el producto arma su userland desde el repo FIRMADO
- Etapa G: tanda C tier-2 construye+corre — 6 al corpus (45->51) + wrap abuild local
- Etapa G: tanda C tier-2 — import-batch PREFER=alpine + importador separa runtime depends
- Etapa G: el importador nix NO emite buildInputs como `[deps]` en recetas Rust
- Etapa G Fase 3: flags autotools $CBUILD/$CHOST — el lab provee el triple nativo
- Etapa G Fase 2: tag→SHA — `hammer pin` (sello inmutable, ADR 0006)
- Etapa G build-yield: imports Rust de nix BUILDEAN (aislamiento [workspace] genérico + filtro toolchain)
- Etapa G capa-de-adaptación #4: plantilla Cargo para imports Rust de nix
- Etapa G capa-de-adaptación #3: traducir mirror:// de nix a URLs concretas
- Etapa G capa-de-adaptación #2: Alpine import build-ready (sha256 auto + traducción abuild)
- Etapa G: importador Alpine APKBUILD→receta (carga los parches de musl)
- 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`