From 0f0f9bb8bfd3a2bee20c1d8c6d3aef584a7b4b49 Mon Sep 17 00:00:00 2001 From: Sergio Date: Mon, 14 Sep 2026 19:28:04 +0000 Subject: [PATCH] =?UTF-8?q?receta:=20minga=20entra=20al=20corpus=20?= =?UTF-8?q?=E2=80=94=20el=20VCS=20soberano=20que=20va=20a=20manejar=20el?= =?UTF-8?q?=20=C3=A1rbol=20y=20la=20cola?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Decisión del usuario (2026-09-14, opción A): se muda primero con git, y minga arranca EN PARALELO. Para que minga pueda manejar el árbol del código y la cola de compilación de cara a los agentes —con git como espejo (`import-git`/`export-git`, que ya existen río arriba)— tiene que ser algo que la distro construye e instala. Hasta hoy el corpus tenía **0 recetas y 0 nodos** suyos. Los dos enganches ya están escritos en `minga/PLAN-VCS.md` §F12 y no son teóricos: · La CI firmada habla nuestro idioma: `minga attest` declara (commit, verde/rojo, BLAKE3 del binario) con quórum M-de-N, y `artefacto_consensuado` sólo certifica si las máquinas coinciden en UN solo BLAKE3 — reproducibilidad verificada ENTRE máquinas, que acá se comprueba a mano. · El mismo hash: arje migró su CAS a BLAKE3 para hablar con takana y minga, y el `expected_hash` de un `.tkn` es el mismo que `minga grant-boot` firma en la concesión que arje verifica al boot. Del monorepo y al MISMO commit que arje-zero/arjectl: reusa el árbol ya fetcheado y evita que el cliente y el daemon salgan de árboles distintos. Lo que esta receta NO decide, y queda como ADR: cómo se pinea una fuente por hash de minga (hoy `[source]` sólo sabe de commit git, sha256 de tarball y directorio) y qué es una «tarea» en la cola. Co-Authored-By: Claude Opus 5 (1M context) Claude-Session: https://claude.ai/code/session_016Tf9T4vGzsMoT7eS8YzMFn --- recipes/minga.toml | 42 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) create mode 100644 recipes/minga.toml diff --git a/recipes/minga.toml b/recipes/minga.toml new file mode 100644 index 00000000..5e9072a8 --- /dev/null +++ b/recipes/minga.toml @@ -0,0 +1,42 @@ +# minga — el VCS soberano de la suite: objetos direccionados por contenido (BLAKE3), versionado del +# código como AST (no como texto), commits firmados, merge estructural y sync P2P. +# +# ══ POR QUÉ ENTRA AL CORPUS DE TAKANA (2026-09-14) ═════════════════════════════════════════════ +# Decisión del usuario: **minga pasa a manejar el árbol del código y la cola de compilación de cara +# a los agentes, y git queda como ESPEJO** (`minga import-git` / `export-git`, que ya existen). Para +# que eso sea posible, minga tiene que ser algo que la distro CONSTRUYE e INSTALA — hasta hoy el +# corpus tenía 0 recetas y 0 nodos suyos. +# +# Los dos enganches no son teóricos y están escritos río arriba en `minga/PLAN-VCS.md` §F12: +# +# · **La CI firmada ya habla nuestro idioma.** `minga attest` declara `(commit, verde/rojo, +# BLAKE3 del binario)` con quórum M-de-N, y `artefacto_consensuado` sólo certifica si las +# máquinas coinciden en UN solo BLAKE3 — o sea, **reproducibilidad verificada entre máquinas**, +# que es lo que acá se comprueba a mano con `why-differs` y campañas. +# · **El mismo hash.** arje migró su CAS a BLAKE3 justamente para hablar con takana y minga; el +# `expected_hash` de un `.tkn` es el mismo BLAKE3 que `minga grant-boot` mete en la concesión +# firmada que arje verifica al arrancar. +# +# ⚠ Lo que esta receta NO decide: cómo se pinea una fuente por hash de minga (hoy `[source]` sólo +# sabe de commit git, sha256 de tarball y directorio) ni qué es una «tarea» en la cola. Las dos son +# decisiones de ADR, no efectos colaterales de empaquetar un binario. +# +# Del monorepo y al MISMO commit que `arje-zero`/`arjectl`: reusa el árbol de fuentes ya fetcheado +# (ADR 0012) y evita el escenario en que el cliente y el daemon salen de árboles distintos. +name = "minga" +version = "0.0.1" +license = "MIT" + +[source] +repo = "https://git.tawasuyu.net/tawasuyu/tawasuyu.git" +commit = "98db584fd28d9ff2bf34c9cf7d7db2e1de0b3fd0" +# El árbol COMMITEA su propio `vendor/` y el `cargo vendor` de takana lo pisaría — igual que en +# `arje-zero.toml`. +cargo_vendor_dir = ".hammer-cargo-vendor" + +[build] +compiler = "zig-cc" +target = "x86_64-linux-musl" +link = "static" +# `-p minga-cli` compila el paquete; su único `[[bin]]` se llama `minga`, que es el verbo real. +flags = ["-p", "minga-cli"]