sergio/takana

1# minga — el VCS soberano de la suite: objetos direccionados por contenido (BLAKE3), versionado del
2# código como AST (no como texto), commits firmados, merge estructural y sync P2P.
3#
4# ══ POR QUÉ ENTRA AL CORPUS DE TAKANA (2026-09-14) ═════════════════════════════════════════════
5# Decisión del usuario: **minga pasa a manejar el árbol del código y la cola de compilación de cara
6# a los agentes, y git queda como ESPEJO** (`minga import-git` / `export-git`, que ya existen). Para
7# que eso sea posible, minga tiene que ser algo que la distro CONSTRUYE e INSTALA — hasta hoy el
8# corpus tenía 0 recetas y 0 nodos suyos.
9#
10# Los dos enganches no son teóricos y están escritos río arriba en `minga/PLAN-VCS.md` §F12:
11#
12#   · **La CI firmada ya habla nuestro idioma.** `minga attest` declara `(commit, verde/rojo,
13#     BLAKE3 del binario)` con quórum M-de-N, y `artefacto_consensuado` sólo certifica si las
14#     máquinas coinciden en UN solo BLAKE3 — o sea, **reproducibilidad verificada entre máquinas**,
15#     que es lo que acá se comprueba a mano con `why-differs` y campañas.
16#   · **El mismo hash.** arje migró su CAS a BLAKE3 justamente para hablar con takana y minga; el
17#     `expected_hash` de un `.tkn` es el mismo BLAKE3 que `minga grant-boot` mete en la concesión
18#     firmada que arje verifica al arrancar.
19#
20# ⚠ Lo que esta receta NO decide: cómo se pinea una fuente por hash de minga (hoy `[source]` sólo
21# sabe de commit git, sha256 de tarball y directorio) ni qué es una «tarea» en la cola. Las dos son
22# decisiones de ADR, no efectos colaterales de empaquetar un binario.
23#
24# ⚠ EL COMMIT NO ES EL DE `arje-zero`, Y ESO ES DELIBERADO (2026-09-14). La primera versión de esta
25# receta lo pineaba a `98db584f` «para compartir árbol», y tawasuyu avisó de que **ese build muere**:
26#
27#     error[E0425]: cannot find value `ST_RELATIME` in crate `libc`
28#     error: could not compile `arje-incarnate`
29#
30# La cadena `minga-cli → sandokan-local → arje-incarnate` es dura, no opcional, y `arje-incarnate`
31# leía `libc::ST_RELATIME` — que **musl no exporta** (publica los otros siete `ST_*` de statvfs, ése
32# no). Arreglado río arriba en `ba29e20df` con el valor del ABI de Linux. Con el fix, el cruce da un
33# ELF **static-pie de 32 MB sin dependencias dinámicas**, verificado allá.
34#
35# Y `ba29e20df` **NO contiene** a `98db584f`: son RAMAS DISTINTAS (comprobado con `merge-base
36# --is-ancestor`). No es un problema —`arje-incarnate` es una librería de ejecución local, no el bus
37# de arje, así que no hay contrato de protocolo entre este binario y el `arje-zero` de la caja— pero
38# sí invalida el argumento de «un solo árbol»: aquí conviven dos ramas de tawasuyu a propósito.
39name    = "minga"
40version = "0.0.1"
41license = "MIT"
42
43[source]
44repo   = "https://git.tawasuyu.net/tawasuyu/tawasuyu.git"
45commit = "619431cac9753cd55d0f9e2d99ff8efe7fab651b"
46# El árbol COMMITEA su propio `vendor/` y el `cargo vendor` de takana lo pisaría — igual que en
47# `arje-zero.toml`.
48cargo_vendor_dir = ".hammer-cargo-vendor"
49
50[build]
51compiler = "zig-cc"
52target   = "x86_64-linux-musl"
53link     = "static"
54# `--bin minga` NO es redundante: sin él, `cargo rustc` con flags extra falla con «extra arguments to
55# `rustc` can only be passed to one target» — el paquete tiene lib y bin, y hay que nombrar cuál.
56# Medido acá, y es el mismo muro que ya tuvo `recipes/takana.toml` con sus dos `[[bin]]`.
57flags    = ["-p", "minga-cli", "--bin", "minga"]
58
59# ── LA CUENTA (SDD 30) ──────────────────────────────────────────────────────────────────────────
60# El daemon P2P escucha en una red pública: no corre como root. `uid` declarado, no asignado.
61[[user]]
62name = "minga"
63uid  = 970
64home = "/work/minga"
65
66# ── EL SERVICIO: minga ABIERTO A P2P (SDD 30) ───────────────────────────────────────────────────
67# Decisión del usuario (2026-09-14): **minga es la ventana oficial al mundo, y git queda como espejo
68# de compatibilidad**. Por eso el daemon no es opcional acá — es el punto de entrada.
69#
70# `listen /ip4/0.0.0.0/tcp/4001`: 4001 es la convención libp2p y está libre en la caja (los puertos
71# ocupados son 22022 admin, 2345 git-SSH, 3002 gitea en loopback, 80/443 caddy).
72#
73# ⚠⚠ LA IDENTIDAD NO SE SELLA NI SE INVENTA. El keypair vive en el repo (`minga init` lo genera y lo
74# cifra con passphrase) y **es del usuario**, no de esta receta: tawasuyu avisó de que el suyo era
75# provisorio. Si esta card encarnara un `init` automático, la caja se inventaría una identidad
76# soberana en su primer arranque y todo lo que se firme después colgaría de ella. Por eso la guarda
77# comprueba que el repo EXISTA y sale 78 si no — un peer sin identidad decidida es peor que un peer
78# ausente.
79#
80# El `home` del usuario ES el repo (`/work/minga`): en la raíz no cabe (3 G), y `/work` sobrevive a
81# un re-provisionado con `dd` de la imagen.
82[[service]]
83label      = "minga"
84id         = "01M2EKDA006TYGVY3J5N2X9FZR"
85exec       = "/bin/busybox"
86argv = ["sh", "-c", "test -d /work/minga/.minga || { echo 'minga: falta el repo en /work/minga/.minga — la identidad la genera el USUARIO con `minga init`, no esta card' >&2; exit 78; }; /bin/grep -q '^minga:' /etc/passwd || { echo 'minga: no existe el usuario `minga` en /etc/passwd' >&2; exit 78; }; cd /work/minga || exit 78; exec /usr/bin/setuidgid minga /usr/bin/minga listen /ip4/0.0.0.0/tcp/4001"]
87envp       = [["PATH", "/usr/bin:/bin"], ["HOME", "/work/minga"], ["USER", "minga"]]
88networking = "full"
89cgroup     = "arje.slice/minga"
90restart    = { initial_ms = 1000, max_ms = 30000 }