gioser

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 815Rust 56Shell 37Markdown 291229 Definiciones

⎇ e6ab5a501601fa54b181ebf2af2e80f3a5594529 recipes/boveda.toml TOML · 139 líneas · 8.8 KB Historia crudo

atuq: la bóveda estaba SELLADA y en ninguna imagen — y estar en la imagen no es poder abrirla e6ab5a501 · Sergio ·

1# boveda — la app de la bóveda de la suite, y **el dueño único** de su base (SDD-BOVEDA §8.5).
2#
3# ── POR QUÉ ESTA RECETA, Y POR QUÉ RECIÉN AHORA (2026-09-18) ────────────────────────────────────
4# `atuq` trae desde el 2026-09-15 la extensión `boveda@atuq.tawasuyu` —la décima— y desde el
5# 2026-09-16 el host `puriy-costura` pineado a un commit que SÍ atiende `vault.*`. Con eso el SDD 26
6# (§7.quinquies.bis) dio la unidad 12 por destrabada y anunció que «ahora sí se puede escribir el
7# guardián de metal porque hay con qué correrlo».
8#
9# ⚠ **Y no había.** Medido contra el artefacto sellado, en esta máquina, con el binario que va en la
10# imagen:
11#
12#     ← {"id":2,"ok":true,"verb":"vault.status","locked":true,"count":0}
13#     ← {"id":3,"ok":true,"verb":"vault.match","locked":true,"items":[]}
14#     stderr: puriy-costura: sin bóveda (No such file or directory (os error 2)):
15#             los verbos vault.* dirán «cerrada»
16#
17# El host **nunca abre la bóveda por su cuenta, a propósito**: `sled` toma un lock exclusivo, y el
18# proceso que lanza el navegador muere y revive con cada pestaña, así que no es un buen dueño de la
19# base. El host le habla al DUEÑO por un socket… y el dueño no estaba en el corpus. O sea que la
20# función que el navegador anuncia —insignia, `vault.match`, `vault.fill`— hoy contesta «cerrada»
21# en las cuatro imágenes de escritorio, sin un solo error a la vista. Es exactamente la forma de
22# fallo que el §7.quinquies describe: ficheros en orden, navegador sin la función.
23#
24# El dueño es ESTA app: abre la bóveda para su propia ventana y levanta el socket en un hilo para
25# el navegador (`atender_al_navegador`), con políticas distintas de cada lado — sin preguntar a
26# quien está mirando la ventana, preguntando SIEMPRE a lo que llega de afuera (`PorDialogo`, que
27# lanza `shuma-pregunta`; ver `recipes/shuma-pregunta.toml`, sin la cual todo `vault.fill` se
28# deniega).
29#
30# ── LA FORMA DE LA RECETA ──────────────────────────────────────────────────────────────────────
31# Es una llimphi GUI del monorepo: el patrón es `mirada-greeter` (winit + wgpu/vello ⇒ `link =
32# "dynamic"`, porque EGL/Vulkan/wayland se cargan por `dlopen` en runtime y `crt-static` lo
33# impediría) sobre el pin `23a292863`, que es el que ya comparten `puriy-costura`, `shuma-*`,
34# `pacha-*` y `tejido`: **un pin distinto es otro vendoreo de 2,4 G**, no un detalle de gusto.
35name    = "boveda"
36version = "0.1.0"
37license = "MPL-2.0"
38
39[source]
40# ⚠ El pin subió otra vez el 2026-09-18, a `b80f7567c` (el arreglo es `cf3540460`; el commit de
41# arriba es el que además publica el `Cargo.lock` cerrado, sin el cual `cargo vendor --locked`
42# no corre): el dueño de la bóveda atendía de a UN
43# cliente y con el navegador abierto eso la deja MUDA (Gecko lanza un host por extensión, ocho, y
44# todos se conectan al arrancar). SDD 26 §7.octies. Las dos recetas se mueven juntas para no pagar
45# un tercer vendoreo de 2,4 G: comparten árbol por `<repo>-<sha>`.
46# ⚠ EL PIN NO ES EL DE SUS HERMANAS, Y ES A PROPÓSITO (2026-09-18). Las demás recetas del monorepo
47# están en `23a292863`; ésta apunta a `eed3120b6`, que es el commit donde llimphi aprende a pasarle
48# el **display handle** a wgpu en el camino de escritorio. Con el pin viejo este binario sella,
49# arranca y **no abre ventana**: wgpu cae a la plataforma EGL surfaceless, la surface no tiene un
50# solo formato y la app panica con un «index out of bounds» que no nombra nada de esto (SDD 26
51# §7.septies). El precio es un árbol de fuentes propio — otro vendoreo de 2,4 G, porque el árbol se
52# comparte por `<repo>-<sha>`—; se paga hasta que las demás suban al mismo commit.
53repo   = "https://git.tawasuyu.net/tawasuyu/tawasuyu.git"
54commit = "b80f7567c189f0bcba988efb7b0c5c2049f9aca6"
55# tawasuyu COMMITEA su propio `vendor/` (smithay parcheado por `[patch.crates-io]` POR RUTA); el
56# `cargo vendor` de takana lo pisaría y el error hablaría de un crate cualquiera, no de esto.
57# No entra en `hash_inputs`.
58cargo_vendor_dir = ".hammer-cargo-vendor"
59
60[build]
61compiler = "zig-cc"
62target   = "x86_64-linux-musl"
63link     = "dynamic"
64flags    = ["-p", "pacha-boveda-llimphi", "--bin", "boveda"]
65
66# Fase `compile` EXPLÍCITA —réplica de la que takana genera para Cargo— porque hay que inyectar
67# `LOCKSTEP_XML_PATH` ANTES del build. La causa está escrita entera en `mirada-greeter.toml` y es
68# la misma acá, con el mismo `accesskit_winit` 0.33 y el mismo `zbus-lockstep-macros` 0.5.2 en el
69# lock: su `#[validate]` escanea el dir `xml/` de `atspi-common` llamando `.extension().expect()`
70# en CADA entrada ⇒ PANICA en el subdirectorio `xml/schemas/`. Apuntando la variable a un dir con
71# sólo los `.xml` se evita.
72#
73# ⚠ La ruta NO es `vendor/` como en `mirada-greeter`: con `cargo_vendor_dir` los crates vendoreados
74# caen en `.hammer-cargo-vendor/`. Y la comprobación es a GRITOS: si mañana `atspi-common` deja de
75# vendorearse ahí, un `cp` que falla en silencio dejaría la variable apuntando a un dir vacío y el
76# panic volvería con el error lejos de la causa.
77[build.phases]
78compile = '''
79set -e
80XMLDIR="$PWD/.atspi-lockstep-xml"
81mkdir -p "$XMLDIR"
82ls .hammer-cargo-vendor/atspi-common/xml/*.xml >/dev/null 2>&1 || { echo "no hay .hammer-cargo-vendor/atspi-common/xml/*.xml — ¿cambió el vendoreo o la versión de atspi? sin esto zbus-lockstep-macros panica en xml/schemas/" >&2; exit 1; }
83cp .hammer-cargo-vendor/atspi-common/xml/*.xml "$XMLDIR"/
84export LOCKSTEP_XML_PATH="$XMLDIR"
85printf '%s\n' '#!/bin/sh' 'for a do' 'case "$a" in --target=*) a=--target=x86_64-linux-musl ;; esac' 'set -- "$@" "$a"' 'shift' 'done' 'exec zig cc -mcpu=baseline "$@"' > "$PWD/.hammer-zig-cc"
86chmod +x "$PWD/.hammer-zig-cc"
87RF="-C linker=$PWD/.hammer-zig-cc"
88rustc -vV | grep -q 'host: .*-alpine-' || RF="$RF -C link-self-contained=no"
89CC="$PWD/.hammer-zig-cc" RUSTFLAGS="$RF" cargo rustc --release --locked --offline -p pacha-boveda-llimphi --bin boveda -- -C target-feature=-crt-static
90'''
91install = '''
92set -e
93test -x target/release/boveda || { echo "no hay target/release/boveda — ¿cambió el nombre del bin en pacha-boveda-llimphi?" >&2; exit 1; }
94install -Dm755 target/release/boveda /out/usr/bin/boveda
95
96# ── EL LANZADOR, Y POR QUÉ ES PARTE DE LA FUNCIÓN Y NO UN ADORNO (2026-09-21) ─────────────────
97# Sin esta entrada la app viaja en la imagen y **no existe para quien la usa**: los lanzadores de
98# los cuatro escritorios leen `/usr/share/applications`, y a un binario que nadie lista sólo se
99# llega escribiendo `boveda` en una terminal. Sería exactamente la forma de fallo que esta receta
100# existe para cerrar —la función instalada, apagada y en silencio (SDD 26 §7.sexies)— una capa más
101# arriba: la bóveda declarada en el perfil, la insignia del navegador vacía, y nada que falle.
102#
103# `Icon=dialog-password` es nombre del icon naming spec y está MEDIDO en los tres temas que los
104# perfiles declaran, no supuesto: `breeze-icons` 6 ficheros, `adwaita-icon-theme` 1, `cosmic-icons`
105# 2. El cuarto perfil (sway) lleva sólo `hicolor`, que por diseño no trae iconos: ahí el lanzador
106# cae al genérico, que es degradarse, no romperse.
107#
108# ⚠ Lo que esta entrada NO puede hacer, y conviene saberlo antes de buscarlo acá: emparejar la
109# VENTANA con el lanzador. `llimphi_ui::run` no llama nunca a `with_name`, así que winit 0.30.13
110# sólo manda `set_app_id` `if let Some(name) = attributes.platform_specific.name` ⇒ la ventana sale
111# **sin app_id**, y con el título `"llimphi"`, que es el default de `App::title` y `BovedaApp` no
112# sobrescribe. Por eso acá no hay `StartupWMClass`: no habría contra qué emparejarlo. Es de llimphi
113# —como el muro del §7.septies— y se arregla allá, no acá.
114mkdir -p /out/usr/share/applications
115cat > /out/usr/share/applications/boveda.desktop <<'DESKTOP'
116[Desktop Entry]
117Type=Application
118Name=Bóveda
119Name[en]=Vault
120GenericName=Gestor de contraseñas
121GenericName[en]=Password Manager
122Comment=Tus contraseñas, y quien las pide tiene que preguntarte
123Comment[en]=Your passwords, and whoever asks has to ask you
124Exec=boveda
125Icon=dialog-password
126Terminal=false
127Categories=Utility;Security;
128Keywords=contraseñas;claves;bóveda;passwords;
129StartupNotify=true
130DESKTOP
131chmod 0644 /out/usr/share/applications/boveda.desktop
132test -s /out/usr/share/applications/boveda.desktop || { echo "boveda.desktop quedó vacío" >&2; exit 1; }
133'''
134
135[deps]
136# Las mismas que `mirada-greeter` menos `linux-pam` (eso era de `auth-core`, que esta app no usa:
137# su segundo factor es `nakui-auth`, Rust puro). El stack gráfico se consulta en build-time por
138# pkg-config y se carga por `dlopen` en runtime.
139build = ["mesa", "wayland", "wayland-protocols", "libdrm", "expat", "zlib", "zstd", "libffi", "pkgconf"]