SergioandClaude Opus 5
90d9ee1b06
`work/farm-sellados.txt` habia desaparecido. Es una de las DOS fuentes con las que `build-state.py` resuelve presencia (la otra, `respaldo-sellados.txt`, sigue del 2026-08-12), y sin ella el grafo no ve nada de lo que la granja sello desde entonces: 415 -> 71 selladas, 363 -> 707 de deuda. Es exactamente lo que el propio script advierte en su cabecera —"un grafo viejo miente con la misma cara que uno fresco, pero uno recien escrito miente con mas autoridad"—. El latido lo regenero y lo pusheo a las 17:30 con los numeros malos, que es el caso peor: un worker sembrado contra ese grafo se habria puesto a reconstruir ~344 recetas que existen. El manifiesto se reconstruye desde el volumen `harkaq-cosecha`, montado de SOLO LECTURA en gioser (mismo hel1 que el volumen y el Storage Box, asi que no hace falta el helper efimero de `harkaq-vol.sh collect`). 2749 artefactos. Los 2 directorios vacios del volumen (`.mirror-tmp`, `.bootstrap-tmp`) quedan FUERA por la regla 3 del CLAUDE.md; ninguno de los 2749 con nombre de hash esta vacio, verificado con `find -type d -empty`, no supuesto. Foto real: base 43/51, cli 62/74, escritorio-mirada 28/31. El grafo CIERRA. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Xd5DComN9Nu47TBpYMBHBn
Documentación de diseño de hammer
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 hammer | Landlock+seccomp sobre el bwrap actual; política = clausura; evidencia negativa de hermeticidad |
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/.