SergioandClaude Opus 5
95e0d4964a
Medido en el worker, con el único cambio de /bin/sh en una copia por hardlinks del lab (sed/grep/awk siguen siendo busybox) y stores tirables. Control busybox: 3/3 recetas selladas. brush: 0/3. Lo que pasa: 56/57 del banco POSIX (igual que busybox), 0 rechazos sobre las 1130 fases de shell del corpus, parsea el configure de ffmpeg, funciona como argv[0]=sh y con el patrón de las cards de arje. Lo que falla: el configure corre entero pero el libtool que GENERA sale con un nivel de escapado de menos en 25 líneas, y ese fichero ya no lo parsea ningún shell. El parser de brush está bien — parsea sin quejarse el libtool del control. Mecanismo exacto no determinado: echo, sustitución de comando y el propio func_quote_for_eval de libtool dan idéntico en ambos shells aislados. Y un dato independiente del bug: 813us de arranque contra 91us de busybox (8,9x), sobre decenas de miles de shells por configure. El binario son 7,25 MB contra los 1,23 MB del busybox con sus 401 applets. De paso: brush selló con el mismo hash que traía build-state del otro hub. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Documentación de diseño de takana
Estos documentos son la fuente de verdad del diseño. El código los implementa; cuando haya discrepancia, o se corrige el código o se actualiza el SDD con un commit que explique por qué.
Software Design Documents (SDD)
| # | Documento | Qué cubre |
|---|---|---|
| 00 | Visión y filosofía | Por qué existe, qué problema resuelve, la actitud de ingeniería |
| 01 | Arquitectura general | El modelo de dos mundos, componentes, flujo de datos |
| 02 | El laboratorio de build | Sandbox, zig cc, recetas, CAS, grafo de dependencias |
| 03 | Hidratación y store | Store content-addressed, hardlinks a FHS, patchelf, rollback |
| 04 | Overlay de experimentación | overlayfs en caliente, try/commit/discard |
| 05 | Diario de mutaciones | fanotify, log append-only, config-sin-ser-declarativa |
| 06 | Formato .swm |
Manifiesto de mutación compartible, esquema, firma |
| 07 | Bus de init y de agente | /run/init.control, /run/agent.sock, protocolo |
| 08 | Integración de la IA | El bucle agéntico, seguridad, intención → .swm |
| 09 | Modelo de confianza | Reproducibilidad, verificar-no-confiar, log de transparencia |
| 10 | Roadmap | Fases, MVP, primer entregable |
| 11 | Bootstrap from-scratch | Track posterior: Stage 0/1/2, auto-alojamiento, semilla pinned |
| 12 | arje como init real del Stage 1 |
Contrato de runtime: seed card, hammerd supervisado, CRASHED real |
| 16 | harkaq: la jaula de takana | Landlock+seccomp sobre el bwrap actual; política = clausura; evidencia negativa de hermeticidad |
| 26 | atuq: el envoltorio Gecko |
Navegador propio como artefacto DERIVADO de firefox (no fork de fuente); la toolchain clang como puerta de PGO/LTO; qué se promete y qué no |
| 30 | Los servicios que trae un paquete | [[service]] en la receta → Card de arje; por qué arje-absorb no cubre una distro construida desde fuente; los tres árboles de servicios y cuál es el canónico |
Runbooks (operativos)
| Runbook | Para qué |
|---|---|
| Validar Stage 1 booteando en QEMU | stage0→stage1→initramfs→QEMU; criterios de éxito y troubleshooting |
Architecture Decision Records (ADR)
Decisiones tomadas, con su contexto y consecuencias. Ver adr/.