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…

TOML 1572Shell 203Rust 109Markdown 993728 Definitions

Clone over HTTPS, with plain git

⎇ f41022d81f87b38135f1faca5821e31ceaf7ee90 docs/10-roadmap.md Markdown · 128 lines · 7.1 KB History raw

Fase 5 — bus de agente (/run/agent.sock) + FIFO de control humano f41022d81 · Sergio · 4 months ago

1# SDD 10 — Roadmap
2
3## Estrategia: validar la capa AI-nativa sobre Alpine antes de la distro propia
4
5La innovación de `hammer` no es la distro — es el substrato AI-nativo (build determinista +
6mutable + diario + `.swm`). Construir bootstrap + init + userland de cero antes de validar esa
7capa sería arriesgar meses contra una hipótesis no probada. Por eso:
8
9> **Fase 0–6:** montamos `hammer` **sobre Alpine** (musl + busybox + FHS mutable, ya cocidos).
10> Validamos el bucle completo en semanas.
11> **Track posterior:** una vez probado, bajamos a distro propia (init propio, bootstrap propio,
12> userland propio) reusando todo el tooling sin retrabajo.
13
14Ver [ADR 0002](adr/0002-alpine-first.md).
15
16---
17
18## Fases (sobre Alpine)
19
20### Fase 0 — Laboratorio de build  ✅
21- [x] `hammer-core`: tipos `Recipe`, `ArtifactHash`, `Store` (BLAKE3, layout `/store`).
22- [x] `hammer-build`: sandbox con `bubblewrap` + `zig cc` → binario musl estático.
23- [x] CAS: hashing de entrada, caché por hash, sellado en el store.
24- [x] `hammer build <recipe.toml>` → imprime el hash del artefacto.
25- [x] Fuente git **y** tarball (sha256 fijado), patches opcionales.
26- [x] Heurística de build system: autotools / cmake / meson / make plano.
27- [x] Caché persistente de zig entre builds (~30s/build ahorrados).
28
29### Fase 1 — Hidratación ✅
30- [x] `hydrate(hash, target, mode)`: hardlink a FHS, `patchelf` para el caso dinámico.
31- [x] `hammer hydrate <hash> --into /`.
32
33### 🎯 Primer entregable (Fase 0 + 1) ✅
34**GNU grep 3.12 compilado estático desde el tarball upstream, sellado en el store
35(`b3:b81e893e…`), hidratado por hardlink a `/usr/bin/grep` y ejecutado dentro del rootfs
36Alpine vía `bwrap`** — confirma el corazón "fábrica funcional → FHS mutable" sobre el
37substrato Alpine. La VM/LXC dedicada queda como ejercicio de empaque, no como
38pre-requisito de validación.
39
40### Fase 2 — Overlay de experimentación  ✅
41- [x] Crate `hammer-overlay`: `try` / `commit` / `discard` / `status` sobre `overlayfs`.
42- [x] Manifiesto persistente en `<state_root>/<id>/state.json`; `status` enumera.
43- [x] `commit` promociona archivos y procesa whiteouts (char dev 0/0) como remove.
44- [x] Subcomandos del CLI: `hammer try [targets…]`, `commit <id>`, `discard <id>`, `status`.
45- [x] Tests E2E con bwrap+user-ns, gateados en `HAMMER_OVERLAY_TESTS=1` (kernel-dependiente).
46- [x] Hook al diario en `commit` (Fase 3 lo añadió vía `commit_with_journal`).
47- [ ] Anidación real de overlays (un solo overlay activo por target hoy).
48
49### Fase 3 — Diario de mutaciones  ▶ *en progreso*
50- [x] Crate `hammer-journal`: `MutationEvent`, `Source` (HammerHydrate/HammerCommit/External),
51      append/read/tail/follow JSON-líneas. RFC 3339 sin chrono.
52- [x] `hammerd` con `fanotify` (FAN_CLOSE_WRITE) sobre `/bin`,`/sbin`,`/usr/bin`,`/usr/sbin`,
53      `/lib`,`/usr/lib`,`/etc`. Filtra eventos bajo overlays activos. Fallback graceful sin
54      CAP_SYS_ADMIN.
55- [x] `hammer journal [--tail N] [--follow] [--format pretty|json]`.
56- [x] `hammer commit` registra cada archivo promocionado vía `commit_with_journal`.
57- [ ] Refinar op del watcher (Create vs Replace vs Edit con FAN_REPORT_DFID_NAME).
58- [ ] Hash del contenido tras la mutación (`content_hash`) y de-dup idempotente.
59
60### Fase 4 — Formato y flujo `.swm`  ▶ *en progreso*
61- [x] `Swm` de/serialización YAML estable (roundtrip).
62- [x] `verify_schema` (estructura + invariantes por mutación) y `verify_base` (distro_version
63      + pins) con `BaseRef` / `BaseCompat`.
64- [x] `apply_config_edit` (hunks `-/+` con búsqueda exacta, no-fuzz) y `apply_file_drop`
65      (base64 inline + verificación BLAKE3 vs `content_hash`).
66- [x] Bridge `Mutation::SourcePatch` → `Recipe` + `build` + hidratación.
67- [x] CLI: `hammer apply [--prefix DIR] [--base-ref base.json]`,
68      `hammer swm-verify`, `hammer export --journal DIR > out.swm`.
69- [ ] `patch_url` / `content_url` remotos (hoy sólo inline).
70- [ ] Provenance en `export`: mapa artefacto→receta para emitir `source_patch` en vez de
71      `file_drop`. Hoy se emiten file_drops con `content_b64`, lo que reproduce byte-a-byte
72      pero pierde la receta original.
73- [ ] Firma `signature` (ed25519) y `TrustStore` local.
74- **Hecho cuando:** exportas un cambio, lo aplicas en otra máquina y reproduce idéntico.
75      ✅ Demostrado en `crates/hammer-cli/tests/swm_roundtrip.rs` para
76      `config_edit` + `file_drop`. `source_patch` reusa el camino de Fase 0/1 (gated en
77      `HAMMER_NETWORK_TESTS`).
78
79### Fase 5 — Bus de agente  ▶ *en progreso*
80- [x] `/run/init.control` (FIFO humano): `mkfifo`, reader que loguea cada línea, y
81      `hammer ctl <line>` que escribe al FIFO con error claro si no existe.
82- [x] `/run/agent.sock` (JSON-líneas) con handshake `Hello/Welcome`, auth via
83      `SO_PEERCRED` y `CapsPolicy` por UID.
84- [x] Comandos `Compile`/`Inject`/`Query`/`Init`; eventos
85      `Welcome`/`BuildReady`/`BuildFailed`/`Injected`/`QueryResult`/`InitAck`/
86      `Modified`/`Crashed`/`Error`.
87- [x] EventBus in-process: el watcher publica `Modified` y todas las conexiones lo reciben.
88- [x] Subsistemas independientes en `hammerd::main` (FIFO/watcher/bus en threads); si uno
89      falla en init, los demás siguen.
90- [ ] Política expresiva: hoy es código (`default_policy`), pendiente leerla de
91      `/etc/hammer/agent-caps.toml`.
92- [ ] `CRASHED` real (requiere supervisión de servicios, que llega con el init propio del
93      track posterior).
94- [ ] `BuildFailed.log_tail` con cola real del lab (hoy es `None`; el `reason` viene del
95      `Error` de Rust pero no se conserva el log textual del sandbox).
96- **Hecho cuando:** un cliente externo dispara un build y recibe el evento de fin por el
97  socket. ✅ Camino implementado (`Compile` → `BuildReady`/`BuildFailed`) y la maquinaria
98  alrededor cubierta por `crates/hammerd/tests/bus_e2e.rs`: handshake con peer creds,
99  gating `no_cap`, `Query`, `Modified` fan-out, `Init`→FIFO. Un `Compile` real reusa el
100  camino de Fase 0/1 (gated en `HAMMER_NETWORK_TESTS`).
101
102### Fase 6 — Integración de la IA
103- [ ] Cliente de agente; traductor intención NL → `.swm`; bucle plan→build→try→verify→propose.
104- **Hecho cuando:** una intención en lenguaje natural produce un cambio probado en overlay,
105  presentado para `commit` humano.
106
107---
108
109## Track posterior — distro propia
110- Reemplazar el init de Alpine por **tu init** (bus por pipes nativo).
111- **Bootstrap from-scratch** con `zig`/`musl-cross-make` (Stage 0/1/2 → imagen destino).
112- Userland propio (busybox/toybox a elección), `/etc/service/*` propios.
113- Decidir particionado/montaje de `/store` y `/var/lib/hammer`.
114- Log de transparencia para compartir en comunidad ([SDD 09](09-trust-model.md) §4).
115- Mini-lenguaje de consulta del sistema para la IA ([SDD 08](08-ai-integration.md) §6).
116
117---
118
119## Estado actual
120- ✅ Repo y workspace Rust inicializados.
121- ✅ SDDs y ADRs redactados.
122- ✅ Esqueletos de crates que compilan (`hammer build` stub).
123- ⏭️ Siguiente: implementar el sandbox de build real (Fase 0) y montar la VM/LXC Alpine.
124
125## Notas de entorno
126- Desarrollo principal: laptop del autor.
127- Host actual: Proxmox (`gioser.net`). La VM/LXC Alpine de pruebas vivirá aquí o en la laptop.
128- Repo: `https://gitea.gioser.net/sergio/hammer`.

10-roadmap.md

SDD 10 — Roadmap

Estrategia: validar la capa AI-nativa sobre Alpine antes de la distro propia

La innovación de hammer no es la distro — es el substrato AI-nativo (build determinista + mutable + diario + .swm). Construir bootstrap + init + userland de cero antes de validar esa capa sería arriesgar meses contra una hipótesis no probada. Por eso:

Fase 0–6: montamos hammer sobre Alpine (musl + busybox + FHS mutable, ya cocidos). Validamos el bucle completo en semanas. Track posterior: una vez probado, bajamos a distro propia (init propio, bootstrap propio, userland propio) reusando todo el tooling sin retrabajo.

Ver ADR 0002.

Fases (sobre Alpine)

Fase 0 — Laboratorio de build ✅

hammer-core: tipos Recipe, ArtifactHash, Store (BLAKE3, layout /store).
hammer-build: sandbox con bubblewrap + zig cc → binario musl estático.
CAS: hashing de entrada, caché por hash, sellado en el store.
hammer build <recipe.toml> → imprime el hash del artefacto.
Fuente git y tarball (sha256 fijado), patches opcionales.
Heurística de build system: autotools / cmake / meson / make plano.
Caché persistente de zig entre builds (~30s/build ahorrados).

Fase 1 — Hidratación ✅

hydrate(hash, target, mode): hardlink a FHS, patchelf para el caso dinámico.
hammer hydrate <hash> --into /.

🎯 Primer entregable (Fase 0 + 1) ✅

GNU grep 3.12 compilado estático desde el tarball upstream, sellado en el store (b3:b81e893e…), hidratado por hardlink a /usr/bin/grep y ejecutado dentro del rootfs Alpine vía bwrap — confirma el corazón "fábrica funcional → FHS mutable" sobre el substrato Alpine. La VM/LXC dedicada queda como ejercicio de empaque, no como pre-requisito de validación.

Fase 2 — Overlay de experimentación ✅

Crate hammer-overlay: try / commit / discard / status sobre overlayfs.
Manifiesto persistente en <state_root>/<id>/state.json; status enumera.
commit promociona archivos y procesa whiteouts (char dev 0/0) como remove.
Subcomandos del CLI: hammer try [targets…], commit <id>, discard <id>, status.
Tests E2E con bwrap+user-ns, gateados en HAMMER_OVERLAY_TESTS=1 (kernel-dependiente).
Hook al diario en commit (Fase 3 lo añadió vía commit_with_journal).
Anidación real de overlays (un solo overlay activo por target hoy).

Fase 3 — Diario de mutaciones ▶ en progreso

Crate hammer-journal: MutationEvent, Source (HammerHydrate/HammerCommit/External), append/read/tail/follow JSON-líneas. RFC 3339 sin chrono.
hammerd con fanotify (FAN_CLOSE_WRITE) sobre /bin,/sbin,/usr/bin,/usr/sbin, /lib,/usr/lib,/etc. Filtra eventos bajo overlays activos. Fallback graceful sin CAP_SYS_ADMIN.
hammer journal [--tail N] [--follow] [--format pretty|json].
hammer commit registra cada archivo promocionado vía commit_with_journal.
Refinar op del watcher (Create vs Replace vs Edit con FAN_REPORT_DFID_NAME).
Hash del contenido tras la mutación (content_hash) y de-dup idempotente.

Fase 4 — Formato y flujo `.swm` ▶ en progreso

Swm de/serialización YAML estable (roundtrip).
verify_schema (estructura + invariantes por mutación) y verify_base (distro_version + pins) con BaseRef / BaseCompat.
apply_config_edit (hunks -/+ con búsqueda exacta, no-fuzz) y apply_file_drop (base64 inline + verificación BLAKE3 vs content_hash).
Bridge Mutation::SourcePatch → Recipe + build + hidratación.
CLI: hammer apply [--prefix DIR] [--base-ref base.json], hammer swm-verify, hammer export --journal DIR > out.swm.
patch_url / content_url remotos (hoy sólo inline).
Provenance en export: mapa artefacto→receta para emitir source_patch en vez de file_drop. Hoy se emiten file_drops con content_b64, lo que reproduce byte-a-byte pero pierde la receta original.
Firma signature (ed25519) y TrustStore local.
Hecho cuando: exportas un cambio, lo aplicas en otra máquina y reproduce idéntico. ✅ Demostrado en crates/hammer-cli/tests/swm_roundtrip.rs para config_edit + file_drop. source_patch reusa el camino de Fase 0/1 (gated en HAMMER_NETWORK_TESTS).

Fase 5 — Bus de agente ▶ en progreso

/run/init.control (FIFO humano): mkfifo, reader que loguea cada línea, y hammer ctl <line> que escribe al FIFO con error claro si no existe.
/run/agent.sock (JSON-líneas) con handshake Hello/Welcome, auth via SO_PEERCRED y CapsPolicy por UID.
Comandos Compile/Inject/Query/Init; eventos Welcome/BuildReady/BuildFailed/Injected/QueryResult/InitAck/ Modified/Crashed/Error.
EventBus in-process: el watcher publica Modified y todas las conexiones lo reciben.
Subsistemas independientes en hammerd::main (FIFO/watcher/bus en threads); si uno falla en init, los demás siguen.
Política expresiva: hoy es código (default_policy), pendiente leerla de /etc/hammer/agent-caps.toml.
CRASHED real (requiere supervisión de servicios, que llega con el init propio del track posterior).
BuildFailed.log_tail con cola real del lab (hoy es None; el reason viene del Error de Rust pero no se conserva el log textual del sandbox).
Hecho cuando: un cliente externo dispara un build y recibe el evento de fin por el socket. ✅ Camino implementado (Compile → BuildReady/BuildFailed) y la maquinaria alrededor cubierta por crates/hammerd/tests/bus_e2e.rs: handshake con peer creds, gating no_cap, Query, Modified fan-out, Init→FIFO. Un Compile real reusa el camino de Fase 0/1 (gated en HAMMER_NETWORK_TESTS).

Fase 6 — Integración de la IA

Cliente de agente; traductor intención NL → .swm; bucle plan→build→try→verify→propose.
Hecho cuando: una intención en lenguaje natural produce un cambio probado en overlay, presentado para commit humano.

Track posterior — distro propia

Reemplazar el init de Alpine por tu init (bus por pipes nativo).
Bootstrap from-scratch con zig/musl-cross-make (Stage 0/1/2 → imagen destino).
Userland propio (busybox/toybox a elección), /etc/service/* propios.
Decidir particionado/montaje de /store y /var/lib/hammer.
Log de transparencia para compartir en comunidad (SDD 09 §4).
Mini-lenguaje de consulta del sistema para la IA (SDD 08 §6).

Estado actual

✅ Repo y workspace Rust inicializados.
✅ SDDs y ADRs redactados.
✅ Esqueletos de crates que compilan (hammer build stub).
⏭️ Siguiente: implementar el sandbox de build real (Fase 0) y montar la VM/LXC Alpine.

Notas de entorno

Desarrollo principal: laptop del autor.
Host actual: Proxmox (gioser.net). La VM/LXC Alpine de pruebas vivirá aquí o en la laptop.
Repo: https://gitea.gioser.net/sergio/hammer.