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 Definitions

⎇ 4148ba4e02310090bb3c844c5942fe7e0251f106 web/takana-os.net/index.html HTML · 597 lines · 57.2 KB History raw

la imagen USB, para cuando el salto no se puede — y tres bugs que sólo se ven por ese camino 4148ba4e0 · Sergio ·

1<!DOCTYPE html>
2<html lang="es" data-lang="es">
3<head>
4<meta charset="utf-8">
5<meta name="viewport" content="width=device-width,initial-scale=1">
6<title>takana — la forja determinista</title>
7<meta name="description" content="Una distribución de Linux con dos pisos: un laboratorio hermético que compila todo desde fuente y direcciona por hash, y un Linux clásico y mutable encima.">
8<meta name="color-scheme" content="light dark">
9<link rel="icon" href="simbolo.svg" type="image/svg+xml">
10<link rel="stylesheet" href="fuentes.css">
11<meta property="og:title" content="takana — la forja determinista">
12<meta property="og:description" content="Un laboratorio hermético abajo, un Linux clásico y mutable arriba. 941 recetas, 926 selladas.">
13<meta property="og:url" content="https://takana-os.net/">
14<meta property="og:type" content="website">
15<style>
16/* ── paleta oficial (docs/marca/README.md) ─────────────────────────────────────
17   Obsidiana #17130E · Piedra #2A241B · Alpaca #F2EBDD
18   Brasa #DF6B2A · Inti #E3A63D · Rojo fragua #A63A25 · Chispa #FFF6DE
19   El tema claro OSCURECE brasa para el texto: #DF6B2A sobre alpaca no llega a 3:1. */
20:root{
21 --obsidiana:#17130E;--piedra:#2A241B;--alpaca:#F2EBDD;
22 --brasa:#DF6B2A;--inti:#E3A63D;--fragua:#A63A25;--chispa:#17130E;
23 --fondo:#F2EBDD;--papel:#FAF6EC;--papel2:#EAE0CC;--linea:#DBCFB5;--linea2:#C4B593;
24 --texto:#17130E;--tenue:#544A3C;--debil:#6B604E;
25 --acento:#9E3F16;--acento2:#8A5A12;
26 --display:"Chivo","Arial Black",system-ui,sans-serif;
27 --sans:"IBM Plex Sans",system-ui,-apple-system,"Segoe UI",sans-serif;
28 --mono:"IBM Plex Mono",ui-monospace,"DejaVu Sans Mono",monospace;
29 color-scheme:light}
30@media (prefers-color-scheme:dark){:root:not([data-theme="light"]){
31 --chispa:#FFF6DE;
32 --fondo:#17130E;--papel:#1D1813;--papel2:#2A241B;--linea:#332B21;--linea2:#4A3F30;
33 --texto:#F2EBDD;--tenue:#B8AB95;--debil:#9C907B;
34 --acento:#E8834A;--acento2:#E3A63D;
35 color-scheme:dark}}
36:root[data-theme="dark"]{
37 --chispa:#FFF6DE;
38 --fondo:#17130E;--papel:#1D1813;--papel2:#2A241B;--linea:#332B21;--linea2:#4A3F30;
39 --texto:#F2EBDD;--tenue:#B8AB95;--debil:#9C907B;
40 --acento:#E8834A;--acento2:#E3A63D;
41 color-scheme:dark}
42
43*{margin:0;padding:0;box-sizing:border-box}
44html{scroll-behavior:smooth}
45body{background:var(--fondo);color:var(--texto);font:17px/1.62 var(--sans);
46 -webkit-font-smoothing:antialiased;overflow-x:hidden}
47.envoltura{max-width:840px;margin:0 auto;padding:0 1.5rem}
48p{margin:0 0 1rem}
49a{color:inherit;text-decoration:none}
50h1,h2,h3{font-weight:600;letter-spacing:-.01em;line-height:1.15}
51code{font:.86em/1.5 var(--mono);background:var(--papel2);border:1px solid var(--linea);
52 border-radius:5px;padding:.08em .38em}
53:root[data-lang="es"] [data-l="en"],:root[data-lang="en"] [data-l="es"]{display:none!important}
54
55/* el símbolo: martillo en retícula tocapu 7×7 */
56.simbolo{display:inline-block;flex:0 0 auto;aspect-ratio:1}
57.simbolo .chispa{fill:var(--chispa)}
58
59header.barra{position:sticky;top:0;z-index:60;
60 background:color-mix(in srgb,var(--fondo) 88%,transparent);
61 backdrop-filter:blur(10px);border-bottom:1px solid var(--linea)}
62.barra .envoltura{display:flex;align-items:center;gap:1rem;height:58px;max-width:1080px}
63.marca{display:flex;align-items:center;gap:.55rem;
64 font:900 .95rem/1 var(--display);letter-spacing:.06em;text-transform:uppercase}
65.marca .simbolo{width:20px}
66nav.enlaces{margin-left:auto;display:flex;gap:1.15rem;font-size:.88rem}
67nav.enlaces a{color:var(--tenue)}
68nav.enlaces a:hover{color:var(--acento)}
69.perillas{display:flex;gap:.35rem}
70.perilla{font:500 .76rem/1 var(--sans);color:var(--tenue);background:transparent;
71 border:1px solid var(--linea2);border-radius:99px;padding:.42rem .6rem;cursor:pointer}
72.perilla:hover{color:var(--texto);border-color:var(--acento)}
73.perilla.on{color:var(--acento);font-weight:700;border-color:var(--acento)}
74@media(max-width:860px){nav.enlaces{display:none}.perillas{margin-left:auto}}
75
76.portada{position:relative;padding:4.6rem 0 2.6rem;overflow:hidden}
77.portada .fragua{position:absolute;inset:-45% -25% 5% -25%;pointer-events:none;z-index:0;
78 background:radial-gradient(42% 46% at 22% 32%,color-mix(in srgb,var(--brasa) 26%,transparent),transparent 70%),
79 radial-gradient(42% 46% at 76% 22%,color-mix(in srgb,var(--inti) 20%,transparent),transparent 70%),
80 radial-gradient(38% 42% at 55% 60%,color-mix(in srgb,var(--fragua) 16%,transparent),transparent 70%);
81 filter:blur(14px)}
82.portada .envoltura{position:relative;z-index:1}
83.antetitulo{font:.72rem/1 var(--mono);letter-spacing:.2em;text-transform:uppercase;
84 color:var(--debil);margin-bottom:1rem}
85.titular{display:flex;align-items:center;gap:1.1rem;margin-bottom:.9rem}
86.titular .simbolo{width:clamp(48px,9vw,74px)}
87h1{font:900 clamp(3rem,10vw,5.2rem)/.92 var(--display);letter-spacing:.01em;
88 text-transform:uppercase;
89 background:linear-gradient(100deg,var(--fragua),var(--brasa) 52%,var(--inti));
90 -webkit-background-clip:text;background-clip:text;color:transparent}
91.lema{font:400 clamp(1.1rem,2.4vw,1.35rem)/1.45 var(--sans);color:var(--texto);max-width:44ch}
92.botones{display:flex;flex-wrap:wrap;gap:.6rem;margin-top:1.6rem}
93.boton{display:inline-flex;align-items:center;gap:.4rem;font:600 .9rem/1 var(--sans);
94 padding:.75rem 1.1rem;border-radius:99px;border:1px solid var(--linea2);color:var(--texto);
95 transition:border-color .2s,transform .2s}
96.boton:hover{transform:translateY(-1px);border-color:var(--acento)}
97.boton.lleno{border-color:transparent;color:#17130E;
98 background:linear-gradient(100deg,var(--brasa),var(--inti))}
99
100section.franja{padding:3.4rem 0;border-top:1px solid var(--linea)}
101.sello{display:flex;align-items:center;gap:.5rem;font:.7rem/1 var(--mono);letter-spacing:.18em;
102 text-transform:uppercase;color:var(--debil);margin-bottom:.9rem}
103.sello .simbolo{width:12px}
104.franja h2{font-size:clamp(1.55rem,3.4vw,2rem);margin-bottom:1rem}
105.franja p{color:var(--tenue)}
106.franja p strong,.franja li strong{color:var(--texto)}
107
108ul.limpia{list-style:none;margin:.4rem 0 1rem}
109ul.limpia li{position:relative;padding-left:1.15rem;margin-bottom:.45rem;color:var(--tenue);font-size:.95rem}
110ul.limpia li::before{content:"";position:absolute;left:0;top:.62em;width:7px;height:2px;background:var(--brasa)}
111
112/* las decisiones: cada una es una ficha con tres lecturas de lo mismo —
113   contra qué se decide, qué implica por dentro, y qué quiere decir sin jerga */
114.decisiones{display:grid;gap:.85rem;margin-top:1.5rem}
115.decision{border:1px solid var(--linea);border-radius:14px;background:var(--papel);
116 padding:1.15rem 1.3rem}
117.decision h3{font-size:1.08rem;line-height:1.3;margin-bottom:.85rem;
118 display:flex;gap:.65rem;align-items:baseline}
119.decision .num{font:500 .72rem/1 var(--mono);letter-spacing:.1em;color:var(--acento);flex:0 0 auto}
120.decision dl{margin:0}
121.decision dt{font:500 .65rem/1 var(--mono);letter-spacing:.16em;text-transform:uppercase;
122 color:var(--debil);margin-bottom:.32rem}
123.decision dd{margin:0 0 .9rem;color:var(--tenue);font-size:.93rem}
124.decision dd:last-child{margin-bottom:0}
125.decision dt.simple{color:var(--acento)}
126.decision dd.simple{color:var(--texto);border-left:2px solid var(--acento);padding-left:.8rem}
127@media(max-width:600px){.decision{padding:1rem 1.05rem}
128 .decision h3{flex-direction:column;gap:.25rem}}
129
130.marco{border:1px solid var(--linea);border-radius:14px;background:var(--papel);
131 padding:1.3rem 1.4rem;margin-bottom:1rem;position:relative;overflow:hidden}
132.marco::before{content:"";position:absolute;inset:0 0 auto 0;height:3px;
133 background:linear-gradient(90deg,var(--fragua),var(--brasa),var(--inti))}
134.marco h3{font-size:1.15rem;margin-bottom:.4rem}
135
136/* la ficha de repo: la dirección, grande y copiable */
137.direccion{border:1px solid var(--linea2);border-radius:12px;background:var(--papel);
138 padding:1rem 1.1rem;margin:.2rem 0 1rem}
139.direccion .etiqueta{font:.68rem/1 var(--mono);letter-spacing:.18em;text-transform:uppercase;
140 color:var(--debil);margin-bottom:.5rem}
141.direccion .url{font:500 clamp(.86rem,2.3vw,1.02rem)/1.45 var(--mono);color:var(--acento);
142 word-break:break-all}
143.direccion .url:hover{text-decoration:underline}
144
145pre{font:.84rem/1.65 var(--mono);background:var(--papel2);border:1px solid var(--linea);
146 border-radius:10px;padding:.85rem 1rem;overflow-x:auto;margin:0 0 1rem;color:var(--texto)}
147pre .p{color:var(--debil);user-select:none}
148pre .c{color:var(--debil)}
149
150table{border-collapse:collapse;width:100%;margin:1rem 0 1.4rem;font-size:.9rem;display:block;overflow-x:auto}
151th,td{border:1px solid var(--linea);padding:.52rem .7rem;text-align:left;vertical-align:top}
152th{background:var(--papel2);font-weight:600;white-space:nowrap}
153td{color:var(--tenue)}
154td.n{font-family:var(--mono);white-space:nowrap;color:var(--texto)}
155.semaforo{white-space:nowrap}
156
157.nota{font-size:.82rem;color:var(--debil);border-left:2px solid var(--linea2);padding-left:.8rem}
158
159footer.pie{border-top:1px solid var(--linea);background:var(--papel);padding:2.6rem 0 3.4rem}
160.pie-rejilla{display:grid;grid-template-columns:repeat(auto-fit,minmax(215px,1fr));gap:1.4rem}
161.pie-rejilla a.casa{display:block;font-weight:600;margin-bottom:.15rem}
162.pie-rejilla a.casa:hover{color:var(--acento)}
163.pie-rejilla p{font-size:.84rem;color:var(--debil);margin:0}
164.pie-fin{margin-top:2rem;font-size:.8rem;color:var(--debil)}
165@media(prefers-reduced-motion:reduce){*{animation:none!important;transition:none!important}}
166</style>
167</head>
168<body>
169
170<svg width="0" height="0" style="position:absolute" aria-hidden="true">
171 <symbol id="tocapu" viewBox="0 0 748 748">
172  <rect x="0" y="0" width="100" height="100" fill="#A63A25"/>
173  <rect x="108" y="0" width="100" height="100" fill="#DF6B2A"/>
174  <rect x="216" y="0" width="100" height="100" fill="#E3A63D"/>
175  <rect x="324" y="0" width="100" height="100" fill="#E3A63D"/>
176  <rect x="432" y="0" width="100" height="100" fill="#E3A63D"/>
177  <rect x="540" y="0" width="100" height="100" fill="#DF6B2A"/>
178  <rect x="648" y="0" width="100" height="100" fill="#A63A25"/>
179  <rect x="108" y="108" width="100" height="100" fill="#DF6B2A"/>
180  <rect x="216" y="108" width="100" height="100" fill="#E3A63D"/>
181  <rect x="324" y="108" width="100" height="100" class="chispa"/>
182  <rect x="432" y="108" width="100" height="100" fill="#E3A63D"/>
183  <rect x="540" y="108" width="100" height="100" fill="#DF6B2A"/>
184  <rect x="0" y="216" width="100" height="100" fill="#A63A25"/>
185  <rect x="108" y="216" width="100" height="100" fill="#DF6B2A"/>
186  <rect x="216" y="216" width="100" height="100" fill="#E3A63D"/>
187  <rect x="324" y="216" width="100" height="100" fill="#E3A63D"/>
188  <rect x="432" y="216" width="100" height="100" fill="#E3A63D"/>
189  <rect x="540" y="216" width="100" height="100" fill="#DF6B2A"/>
190  <rect x="648" y="216" width="100" height="100" fill="#A63A25"/>
191  <rect x="324" y="324" width="100" height="100" fill="#DF6B2A"/>
192  <rect x="324" y="432" width="100" height="100" fill="#A63A25"/>
193  <rect x="324" y="540" width="100" height="100" fill="#A63A25"/>
194  <rect x="324" y="648" width="100" height="100" fill="#A63A25"/>
195 </symbol>
196</svg>
197
198<header class="barra"><div class="envoltura">
199 <a class="marca" href="/"><svg class="simbolo" viewBox="0 0 748 748"><use href="#tocapu"/></svg>takana</a>
200 <nav class="enlaces">
201  <a href="#pisos"><span data-l="es">Los dos pisos</span><span data-l="en">The two floors</span></a>
202  <a href="#decisiones"><span data-l="es">Las decisiones</span><span data-l="en">The decisions</span></a>
203  <a href="#codigo"><span data-l="es">El código</span><span data-l="en">The code</span></a>
204  <a href="#estado"><span data-l="es">El estado</span><span data-l="en">State</span></a>
205  <a href="#paquetes"><span data-l="es">Paquetes</span><span data-l="en">Packages</span></a>
206 </nav>
207 <div class="perillas">
208  <button class="perilla" data-poner-lang="es">ES</button>
209  <button class="perilla" data-poner-lang="en">EN</button>
210  <button class="perilla" id="tema" title="tema">◐</button>
211 </div>
212</div></header>
213
214<section class="portada"><div class="fragua" aria-hidden="true"></div><div class="envoltura">
215 <p class="antetitulo"><span data-l="es">takana · de <em>takay</em>: golpear, martillar</span><span data-l="en">takana · from <em>takay</em>: to strike, to hammer</span></p>
216 <div class="titular">
217  <svg class="simbolo" viewBox="0 0 748 748" aria-hidden="true"><use href="#tocapu"/></svg>
218  <h1>takana</h1>
219 </div>
220 <p class="lema">
221  <span data-l="es">Una distribución de Linux con dos pisos: abajo un laboratorio hermético que compila todo desde fuente y guarda cada artefacto por su hash; arriba un Linux clásico y mutable donde se pueden romper cosas y volver atrás.</span>
222  <span data-l="en">A Linux distribution with two floors: downstairs a hermetic laboratory that compiles everything from source and keeps every artefact by its hash; upstairs a classic, mutable Linux where you can break things and go back.</span>
223 </p>
224 <div class="botones">
225  <a class="boton lleno" href="#instalar"><span data-l="es">Instalar</span><span data-l="en">Install</span></a>
226  <a class="boton" href="https://git.gioser.net/sergio/takana"><span data-l="es">El repositorio</span><span data-l="en">The repository</span> ↗</a>
227  <a class="boton" href="#paquetes"><span data-l="es">Paquetes</span><span data-l="en">Packages</span></a>
228  <a class="boton" href="https://tawasuyu.net">tawasuyu.net ↗</a>
229 </div>
230</div></section>
231
232<section class="franja" id="instalar"><div class="envoltura">
233 <p class="sello"><svg class="simbolo" viewBox="0 0 748 748"><use href="#tocapu"/></svg><span data-l="es">descargar · un archivo</span><span data-l="en">download · one file</span></p>
234 <h2><span data-l="es">Un archivo, y sabe hacer todo</span><span data-l="en">One file, and it knows how to do everything</span></h2>
235 <p>
236  <span data-l="es">No hay un ISO que grabar ni un árbol que copiar: se baja <strong>un fichero</strong>, se le da permiso y se corre. Adentro viene todo —el programa, el instalador que corre en RAM y su propio kernel— así que <strong>no baja nada de internet mientras instala</strong>. Un instalador de sistema que necesita red falla justo donde más caro sale: en la máquina que todavía no tiene sistema.</span>
237  <span data-l="en">There is no ISO to burn and no tree to copy: you download <strong>one file</strong>, make it executable and run it. Everything travels inside — the program, the installer that runs in RAM and its own kernel — so it <strong>downloads nothing from the internet while installing</strong>. A system installer that needs the network fails exactly where it costs most: on the machine that has no system yet.</span>
238 </p>
239
240<pre><span class="p">$</span> curl -LO https://takana-os.net/descargas/takana-instalador.run
241<span class="p">$</span> chmod +x takana-instalador.run
242<span class="p">$</span> sudo ./takana-instalador.run</pre>
243
244 <p>
245  <span data-l="es">Eso hace las tres cosas por orden: comprueba si esta máquina puede instalarse <em>sin USB</em>, muestra el terreno —cada partición, su tamaño, qué hay dentro y si se puede usar— y recién entonces pregunta. Lo cifrado, lo de Windows, la swap, las particiones de arranque y lo que está montado <strong>no se ofrecen</strong>, y se muestran igual con el motivo escrito al lado.</span>
246  <span data-l="en">It does three things in order: it checks whether this machine can be installed <em>without a USB</em>, it shows the terrain — every partition, its size, what is inside it and whether it can be used — and only then it asks. Encrypted volumes, Windows volumes, swap, boot partitions and anything mounted are <strong>never offered</strong>, and are shown anyway with the reason written next to them.</span>
247 </p>
248
249 <p class="nota">
250  <span data-l="es"><strong>Sin USB</strong> quiere decir que el Linux que estás usando salta al instalador en memoria y suelta su propio disco. Si el kernel de esa máquina no lo permite, el instalador lo dice y explica por qué en vez de fallar a mitad. Antes de escribir nada pide un «si» escrito, y después del salto vuelve a mostrar el terreno y a preguntar: son dos consentimientos para dos cosas distintas.</span>
251  <span data-l="en"><strong>Without a USB</strong> means the Linux you are using jumps into the in-memory installer and releases its own disk. If that machine's kernel does not allow it, the installer says so and explains why instead of failing halfway. It asks for a typed «si» before writing anything, and after the jump it shows the terrain and asks again: two consents for two different things.</span>
252 </p>
253
254 <div class="direccion">
255  <p class="etiqueta"><span data-l="es">el instalador · 137 MiB · x86-64</span><span data-l="en">the installer · 137 MiB · x86-64</span></p>
256  <a class="url" href="/descargas/takana-instalador.run">takana-os.net/descargas/takana-instalador.run</a>
257 </div>
258
259<pre><span class="p">$</span> curl -sO https://takana-os.net/descargas/takana-instalador.run.sha256
260<span class="p">$</span> sha256sum -c takana-instalador.run.sha256</pre>
261
262 <h3><span data-l="es">Y si esta máquina no puede saltar: el USB</span><span data-l="en">And if this machine cannot jump: the USB</span></h3>
263 <p>
264  <span data-l="es">El salto pide tres cosas del kernel que ya está corriendo, y cualquiera puede faltar: soporte de <code>kexec</code>, ser root, y que Secure Boot no esté bloqueando. Cuando falta alguna, el instalador lo dice y explica cuál. Para ese caso está la <strong>imagen USB</strong>, que es el mismo instalador llegando por otro camino — el mismo censo y las mismas guardas.</span>
265  <span data-l="en">The jump asks three things of the kernel already running, and any of them can be missing: <code>kexec</code> support, being root, and Secure Boot not getting in the way. When one is missing the installer says so and explains which. For that case there is the <strong>USB image</strong>, which is the same installer arriving by another route — the same survey and the same guards.</span>
266 </p>
267
268 <div class="direccion">
269  <p class="etiqueta"><span data-l="es">la imagen USB · 519 MiB · UEFI x86-64</span><span data-l="en">the USB image · 519 MiB · UEFI x86-64</span></p>
270  <a class="url" href="/descargas/takana-instalador-usb.img">takana-os.net/descargas/takana-instalador-usb.img</a>
271 </div>
272
273<pre><span class="p">$</span> curl -LO https://takana-os.net/descargas/takana-instalador-usb.img
274<span class="p">$</span> sudo dd if=takana-instalador-usb.img of=/dev/sdX bs=4M oflag=sync status=progress</pre>
275
276 <p class="nota">
277  <span data-l="es">Arranca por la ruta de medios removibles del firmware: no hay nada que registrar y no toca la NVRAM hasta que vos elegís instalar. El medio desde el que arrancaste <strong>nunca se ofrece como destino</strong>. Si la máquina no tiene pantalla y la estás administrando por puerto serie, arrancá con <code>takana.console=/dev/ttyS0</code>.</span>
278  <span data-l="en">It boots through the firmware's removable-media path: there is nothing to register and it does not touch NVRAM until you choose to install. The medium you booted from is <strong>never offered as a target</strong>. If the machine has no screen and you are driving it over a serial port, boot with <code>takana.console=/dev/ttyS0</code>.</span>
279 </p>
280
281 <p class="nota">
282  <span data-l="es">El fichero verifica su propio contenido antes de desempaquetarlo, y si la máquina no tiene con qué calcular un sha256 lo <em>dice</em> en vez de saltárselo en silencio. Con <code>--check</code> y <code>--survey</code> mira y no toca nada; con <code>--extraer DIR</code> sólo se desempaqueta, para leer antes de correr. Hace falta un firmware UEFI y una partición de al menos 2 GiB que se pueda perder; nada más se modifica.</span>
283  <span data-l="en">The file verifies its own contents before unpacking them, and if the machine has no way to compute a sha256 it <em>says so</em> instead of skipping it silently. With <code>--check</code> and <code>--survey</code> it looks and touches nothing; with <code>--extraer DIR</code> it only unpacks, so you can read before running. It needs UEFI firmware and one partition of at least 2 GiB that you can afford to lose; nothing else is modified.</span>
284 </p>
285</div></section>
286
287<section class="franja" id="pisos"><div class="envoltura">
288 <p class="sello"><svg class="simbolo" viewBox="0 0 748 748"><use href="#tocapu"/></svg><span data-l="es">01 · los dos pisos</span><span data-l="en">01 · the two floors</span></p>
289 <h2><span data-l="es">Por qué dos pisos y no uno</span><span data-l="en">Why two floors and not one</span></h2>
290 <p>
291  <span data-l="es">Una distribución inmutable da reproducibilidad y quita la máquina: no se puede tocar nada sin aprender antes un lenguaje declarativo. Una clásica deja tocar todo y no sabe decir de dónde salió un binario. <strong>takana pone las dos, en pisos separados.</strong></span>
292  <span data-l="en">An immutable distribution gives you reproducibility and takes the machine away: you cannot touch anything without first learning a declarative language. A classic one lets you touch everything and cannot tell you where a binary came from. <strong>takana has both, on separate floors.</strong></span>
293 </p>
294 <p>
295  <span data-l="es">El <strong>laboratorio</strong> compila desde fuentes upstream con commits fijados, aislado (<code>bubblewrap</code> + <code>zig cc</code> + musl estático), y direcciona cada artefacto por su hash BLAKE3. El <strong>userland</strong> es un Linux normal, con <code>/bin</code>, <code>/lib</code> y <code>/etc</code> de verdad; los binarios se hidratan del almacén por enlaces duros. Se pueden pisar archivos en caliente y revertir cuando se quiera.</span>
296  <span data-l="en">The <strong>laboratory</strong> compiles from upstream sources at pinned commits, sandboxed (<code>bubblewrap</code> + <code>zig cc</code> + static musl), and addresses every artefact by its BLAKE3 hash. The <strong>userland</strong> is an ordinary Linux, with a real <code>/bin</code>, <code>/lib</code> and <code>/etc</code>; binaries are hydrated from the store by hard links. You can overwrite files live and revert whenever you want.</span>
297 </p>
298 <div class="marco">
299  <h3><span data-l="es">Las tres piezas del medio</span><span data-l="en">The three pieces in between</span></h3>
300  <ul class="limpia">
301   <li><span data-l="es"><strong>Overlay de experimentación.</strong> Un cambio sobre el sistema real, con red: <code>try</code>, <code>commit</code>, <code>discard</code>.</span><span data-l="en"><strong>Experimentation overlay.</strong> A change on the real system, with a safety net: <code>try</code>, <code>commit</code>, <code>discard</code>.</span></li>
302   <li><span data-l="es"><strong>Diario de mutaciones.</strong> Un demonio <code>fanotify</code> registra lo que se cambia a mano. Se vive de forma imperativa y el sistema calcula el delta contra la base limpia — el diario <em>es</em> la configuración.</span><span data-l="en"><strong>Mutation journal.</strong> A <code>fanotify</code> daemon records what you change by hand. You live imperatively and the system computes the delta against the clean base — the journal <em>is</em> the configuration.</span></li>
303   <li><span data-l="es"><strong>Manifiesto <code>.swm</code>.</strong> Se comparte la receta de la mutación —parche de fuente, banderas, ediciones de config—, no el binario cocinado. Quien lo recibe lo reproduce y lo verifica.</span><span data-l="en"><strong><code>.swm</code> manifest.</strong> You share the recipe for the mutation — source patch, flags, config edits — not the cooked binary. Whoever receives it reproduces and verifies it.</span></li>
304  </ul>
305 </div>
306</div></section>
307
308<section class="franja" id="decisiones"><div class="envoltura">
309 <p class="sello"><svg class="simbolo" viewBox="0 0 748 748"><use href="#tocapu"/></svg><span data-l="es">02 · las decisiones</span><span data-l="en">02 · the decisions</span></p>
310 <h2><span data-l="es">Diez decisiones, y contra qué se tomaron</span><span data-l="en">Ten decisions, and what they were taken against</span></h2>
311 <p>
312  <span data-l="es">La primera es la de arriba —los dos pisos— y de ella cuelga todo lo demás. Estas son las otras diez. De cada una: <strong>en qué se aparta de lo que hace una distro tradicional</strong>, <strong>qué implica por dentro</strong> y <strong>qué quiere decir sin jerga</strong>. Ninguna es gratis; todas se pagan en algún lado, y acá está dicho dónde.</span>
313  <span data-l="en">The first one is above — the two floors — and everything else hangs off it. These are the other ten. For each: <strong>how it departs from what a traditional distro does</strong>, <strong>what it involves under the hood</strong> and <strong>what it means without jargon</strong>. None is free; each is paid for somewhere, and that is said here.</span>
314 </p>
315 <div class="decisiones">
316<article class="decision">
317<h3><span class="num">01</span><span data-l="es">Todo se compila desde fuente, y la fuente está clavada</span><span data-l="en">Everything is compiled from source, and the source is pinned</span></h3>
318<dl>
319  <dt><span data-l="es">Frente a lo habitual</span><span data-l="en">Compared to the usual</span></dt>
320  <dd><span data-l="es">Una distro normal te entrega un binario que compiló otra persona en otra máquina; lo que verificás es la firma de quien lo subió, no lo que hay adentro.</span><span data-l="en">A normal distro hands you a binary somebody else compiled on another machine; what you verify is the signature of whoever uploaded it, not what is inside.</span></dd>
321  <dt><span data-l="es">Técnicamente</span><span data-l="en">Technically</span></dt>
322  <dd><span data-l="es">Cada receta fija su fuente por <em>commit</em> de git o por <code>sha256</code> — nunca contra una rama viva. El hash del artefacto se deriva de la receta entera: fuente, compilador, banderas, fases de build y los hashes de cada dependencia. <code>takana hash</code> lo calcula sin construir nada.</span><span data-l="en">Each recipe pins its source by git <em>commit</em> or <code>sha256</code> — never against a live branch. The artefact hash is derived from the whole recipe: source, compiler, flags, build phases and the hash of every dependency. <code>takana hash</code> computes it without building anything.</span></dd>
323  <dt class="simple"><span data-l="es">En simple</span><span data-l="en">In plain words</span></dt>
324  <dd class="simple"><span data-l="es">Nadie te manda comida hecha: te manda la receta y la cocina tu máquina. Y la receta dice exactamente qué ingredientes, no «harina» a secas.</span><span data-l="en">Nobody sends you cooked food: they send the recipe and your machine cooks it. And the recipe names the exact ingredients, not just «flour».</span></dd>
325</dl>
326</article>
327
328<article class="decision">
329<h3><span class="num">02</span><span data-l="es">Reproducible bit a bit — y cuando no, se dice por qué</span><span data-l="en">Bit-for-bit reproducible — and when it isn't, it says why</span></h3>
330<dl>
331  <dt><span data-l="es">Frente a lo habitual</span><span data-l="en">Compared to the usual</span></dt>
332  <dd><span data-l="es">Compilar el mismo paquete dos veces casi nunca da el mismo fichero, y en la práctica nadie lo comprueba: la diferencia se acepta como normal.</span><span data-l="en">Building the same package twice almost never yields the same file, and in practice nobody checks: the difference is accepted as normal.</span></dd>
333  <dt><span data-l="es">Técnicamente</span><span data-l="en">Technically</span></dt>
334  <dd><span data-l="es">El build corre aislado con <code>bubblewrap</code>, sin red y con la fecha fijada. Cuando dos artefactos difieren, <code>why-differs</code> desciende sólo por donde los hashes no coinciden y <strong>nombra la causa</strong>: un mtime dentro de un <code>.gz</code>, la cabecera <code>ar</code> de un <code>.a</code>, qué sección ELF cambió, una ruta del árbol de build filtrada al binario.</span><span data-l="en">Builds run sandboxed with <code>bubblewrap</code>, without network and with a fixed date. When two artefacts differ, <code>why-differs</code> descends only where the hashes disagree and <strong>names the cause</strong>: an mtime inside a <code>.gz</code>, the <code>ar</code> header of a <code>.a</code>, which ELF section changed, a build-tree path leaked into the binary.</span></dd>
335  <dt class="simple"><span data-l="es">En simple</span><span data-l="en">In plain words</span></dt>
336  <dd class="simple"><span data-l="es">Si dos personas hacen el mismo paquete, tiene que salir el mismo fichero. Y si sale distinto, el sistema te dice en qué — no te deja adivinando.</span><span data-l="en">If two people build the same package, the same file must come out. And if it doesn't, the system tells you where it differed — it doesn't leave you guessing.</span></dd>
337</dl>
338</article>
339
340<article class="decision">
341<h3><span class="num">03</span><span data-l="es">Un paquete es una receta, no un binario</span><span data-l="en">A package is a recipe, not a binary</span></h3>
342<dl>
343  <dt><span data-l="es">Frente a lo habitual</span><span data-l="en">Compared to the usual</span></dt>
344  <dd><span data-l="es">El repositorio te manda el programa ya hecho, así que hay que confiar en el repositorio — y en cada espejo suyo.</span><span data-l="en">The repository sends you the finished program, so you have to trust the repository — and every one of its mirrors.</span></dd>
345  <dt><span data-l="es">Técnicamente</span><span data-l="en">Technically</span></dt>
346  <dd><span data-l="es">El índice va firmado con Ed25519 y ancla el <code>digest</code> de cada paquete. <code>install</code> resuelve el nombre, verifica la firma, <strong>reconstruye desde fuente</strong> y recién entonces hidrata. <code>--repo</code> acepta varios orígenes separados por comas y los prueba en orden.</span><span data-l="en">The index is Ed25519-signed and anchors each package's <code>digest</code>. <code>install</code> resolves the name, verifies the signature, <strong>rebuilds from source</strong> and only then hydrates. <code>--repo</code> takes several comma-separated origins and tries them in order.</span></dd>
347  <dt class="simple"><span data-l="es">En simple</span><span data-l="en">In plain words</span></dt>
348  <dd class="simple"><span data-l="es">El sitio del que bajás no necesita ser de fiar, porque no te da el resultado: te da las instrucciones, y se comprueba que sean las firmadas.</span><span data-l="en">The site you download from doesn't need to be trustworthy, because it doesn't give you the result: it gives you the instructions, and they are checked against the signed ones.</span></dd>
349</dl>
350</article>
351
352<article class="decision">
353<h3><span class="num">04</span><span data-l="es">Se reconstruye a sí misma, sin creerle a ningún binario</span><span data-l="en">It rebuilds itself, without trusting anybody's binary</span></h3>
354<dl>
355  <dt><span data-l="es">Frente a lo habitual</span><span data-l="en">Compared to the usual</span></dt>
356  <dd><span data-l="es">El compilador de tu distro salió de un binario que compiló otra máquina, que salió de otro, hacia atrás sin fondo. Ese primer eslabón se cree por fe.</span><span data-l="en">Your distro's compiler came from a binary built by another machine, which came from another, backwards without end. That first link is taken on faith.</span></dd>
357  <dt><span data-l="es">Técnicamente</span><span data-l="en">Technically</span></dt>
358  <dd><span data-l="es">Cadena de Rust pura de <code>mrustc</code> a <code>rustc</code>, kernel Linux compilado acá que arranca la máquina, y el toolchain reconstruyéndose a sí mismo dentro de una máquina virtual. Hecho dos veces: mismo resultado, bit por bit.</span><span data-l="en">A pure Rust chain from <code>mrustc</code> to <code>rustc</code>, a Linux kernel built here that boots the machine, and the toolchain rebuilding itself inside a virtual machine. Done twice: same result, bit for bit.</span></dd>
359  <dt class="simple"><span data-l="es">En simple</span><span data-l="en">In plain words</span></dt>
360  <dd class="simple"><span data-l="es">La distro se puede fabricar a sí misma casi desde cero. No queda un eslabón que haya que aceptar sin poder mirarlo.</span><span data-l="en">The distro can manufacture itself from near zero. No link is left that you must accept without being able to look at it.</span></dd>
361</dl>
362</article>
363
364<article class="decision">
365<h3><span class="num">05</span><span data-l="es">musl, estático, y <code>zig cc</code> de compilador</span><span data-l="en">musl, static, and <code>zig cc</code> as the compiler</span></h3>
366<dl>
367  <dt><span data-l="es">Frente a lo habitual</span><span data-l="en">Compared to the usual</span></dt>
368  <dd><span data-l="es">Lo habitual es glibc y enlazado dinámico: actualizar una librería puede romper un programa que no tocaste, y descubrirlo al arrancarlo.</span><span data-l="en">The usual is glibc and dynamic linking: updating one library can break a program you never touched, and you find out when you launch it.</span></dd>
369  <dt><span data-l="es">Técnicamente</span><span data-l="en">Technically</span></dt>
370  <dd><span data-l="es"><code>zig cc</code> es el compilador por defecto del laboratorio —trae los headers y la libc de cada target, sin cross-toolchain a mano— y es reemplazable receta por receta. El rootfs del lab se ancla a una imagen pineada por <code>sha256</code>, no se resuelve con un gestor de paquetes.</span><span data-l="en"><code>zig cc</code> is the lab's default compiler — it brings each target's headers and libc, with no hand-built cross-toolchain — and is replaceable recipe by recipe. The lab rootfs is pinned to an image by <code>sha256</code>, not resolved by a package manager.</span></dd>
371  <dt class="simple"><span data-l="es">En simple</span><span data-l="en">In plain words</span></dt>
372  <dd class="simple"><span data-l="es">Cada programa se lleva sus piezas adentro, así que tocar uno no rompe a los demás. Y el código de la libc es lo bastante chico como para leerlo.</span><span data-l="en">Each program carries its pieces inside, so touching one doesn't break the others. And the libc's code is small enough to actually read.</span></dd>
373</dl>
374</article>
375
376<article class="decision">
377<h3><span class="num">06</span><span data-l="es">Sin systemd: el init es propio y el arranque es un grafo</span><span data-l="en">No systemd: the init is our own and boot is a graph</span></h3>
378<dl>
379  <dt><span data-l="es">Frente a lo habitual</span><span data-l="en">Compared to the usual</span></dt>
380  <dd><span data-l="es">El arranque lo gobierna un binario grande con formato de unidades propio y un registro binario que hay que consultar con su propia herramienta.</span><span data-l="en">Boot is governed by a large binary with its own unit format and a binary log you must query with its own tool.</span></dd>
381  <dt><span data-l="es">Técnicamente</span><span data-l="en">Technically</span></dt>
382  <dd><span data-l="es"><code>arje-zero</code> es el proceso número uno, estático contra musl. Los servicios se declaran en <em>Cards</em> JSON, con supervisión y reintento con backoff, y hablan por un socket Unix con <code>SO_PEERCRED</code>. El menú de arranque es la navegación del grafo de estados del sistema.</span><span data-l="en"><code>arje-zero</code> is process number one, statically linked against musl. Services are declared in JSON <em>Cards</em>, with supervision and backoff restarts, and talk over a Unix socket with <code>SO_PEERCRED</code>. The boot menu is navigation of the system's state graph.</span></dd>
383  <dt class="simple"><span data-l="es">En simple</span><span data-l="en">In plain words</span></dt>
384  <dd class="simple"><span data-l="es">Lo que enciende tu máquina se puede leer con un editor de texto y contar de memoria. No hay una pieza central que decida por vos y te cueste inspeccionar.</span><span data-l="en">What starts your machine can be read in a text editor and held in your head. There is no central piece deciding for you that is hard to inspect.</span></dd>
385</dl>
386</article>
387
388<article class="decision">
389<h3><span class="num">07</span><span data-l="es">Romper a mano está permitido — y se puede volver</span><span data-l="en">Breaking things by hand is allowed — and you can come back</span></h3>
390<dl>
391  <dt><span data-l="es">Frente a lo habitual</span><span data-l="en">Compared to the usual</span></dt>
392  <dd><span data-l="es">Las inmutables no te dejan tocar sin aprender antes un lenguaje declarativo; las clásicas te dejan tocar y después el gestor de paquetes pierde el rastro de lo que hiciste.</span><span data-l="en">Immutable ones won't let you touch anything until you learn a declarative language; classic ones let you touch and then the package manager loses track of what you did.</span></dd>
393  <dt><span data-l="es">Técnicamente</span><span data-l="en">Technically</span></dt>
394  <dd><span data-l="es"><code>try</code> monta un overlay sobre el FHS real; <code>commit</code> lo promueve y <code>discard</code> lo tira. Un demonio <code>fanotify</code> registra cada cambio a mano y calcula el delta contra la base limpia; <code>export</code> lo convierte en un manifiesto compartible.</span><span data-l="en"><code>try</code> mounts an overlay over the real FHS; <code>commit</code> promotes it and <code>discard</code> throws it away. A <code>fanotify</code> daemon records every hand edit and computes the delta against the clean base; <code>export</code> turns it into a shareable manifest.</span></dd>
395  <dt class="simple"><span data-l="es">En simple</span><span data-l="en">In plain words</span></dt>
396  <dd class="simple"><span data-l="es">Probá lo que quieras: si sale mal se desmonta la capa y listo. Y lo que cambiaste a mano queda anotado solo — el registro <em>es</em> tu configuración, sin que hayas escrito ninguna.</span><span data-l="en">Try whatever you want: if it goes wrong the layer is unmounted and that's it. And what you changed by hand gets written down on its own — the log <em>is</em> your configuration, without you having written one.</span></dd>
397</dl>
398</article>
399
400<article class="decision">
401<h3><span class="num">08</span><span data-l="es">Wayland y nada más; el audio es PipeWire</span><span data-l="en">Wayland and nothing else; audio is PipeWire</span></h3>
402<dl>
403  <dt><span data-l="es">Frente a lo habitual</span><span data-l="en">Compared to the usual</span></dt>
404  <dd><span data-l="es">Casi todas arrastran X11 y varios servidores de audio a la vez por compatibilidad, y mantienen los dos caminos para siempre.</span><span data-l="en">Almost all of them drag X11 and several audio servers along for compatibility, and maintain both paths forever.</span></dd>
405  <dt><span data-l="es">Técnicamente</span><span data-l="en">Technically</span></dt>
406  <dd><span data-l="es">Ninguna receta del catálogo publica <code>libGL.so</code> de escritorio ni GLX: las aplicaciones de gráficos van por EGL, y a las que no sabían hubo que portarlas. El audio es <code>pipewire</code> con <code>wireplumber</code>, como servicio de sesión, sin capa de compatibilidad permanente.</span><span data-l="en">No recipe in the catalogue ships a desktop <code>libGL.so</code> or GLX: graphics applications go through EGL, and the ones that didn't know how had to be ported. Audio is <code>pipewire</code> with <code>wireplumber</code>, as a session service, with no permanent compatibility layer.</span></dd>
407  <dt class="simple"><span data-l="es">En simple</span><span data-l="en">In plain words</span></dt>
408  <dd class="simple"><span data-l="es">Se eligió el camino nuevo y se borró el viejo, en vez de cargar los dos para siempre. Cuesta más al principio y se paga una sola vez.</span><span data-l="en">The new path was chosen and the old one deleted, instead of carrying both forever. It costs more up front and is paid only once.</span></dd>
409</dl>
410</article>
411
412<article class="decision">
413<h3><span class="num">09</span><span data-l="es">Lo ajeno corre enjaulado, y fuera del almacén</span><span data-l="en">Foreign software runs caged, and outside the store</span></h3>
414<dl>
415  <dt><span data-l="es">Frente a lo habitual</span><span data-l="en">Compared to the usual</span></dt>
416  <dd><span data-l="es">O se mezclan binarios de terceros con los del sistema —y ya no se sabe de dónde salió cada cosa—, o directamente no hay forma de correrlos.</span><span data-l="en">Either third-party binaries get mixed in with the system's — and then you no longer know where anything came from — or there is simply no way to run them.</span></dd>
417  <dt><span data-l="es">Técnicamente</span><span data-l="en">Technically</span></dt>
418  <dd><span data-l="es">Un rootfs de otra distribución se trae pineado por <code>digest</code> y corre enjaulado con <code>bubblewrap</code> sobre el mismo kernel, sin compartir un solo <code>.so</code> con el anfitrión. <strong>No entra al store</strong>: no reproduce desde fuente, y meterlo ahí haría que el almacén mienta.</span><span data-l="en">Another distribution's rootfs is fetched pinned by <code>digest</code> and runs caged with <code>bubblewrap</code> on the same kernel, without sharing a single <code>.so</code> with the host. <strong>It does not enter the store</strong>: it does not reproduce from source, and putting it there would make the store lie.</span></dd>
419  <dt class="simple"><span data-l="es">En simple</span><span data-l="en">In plain words</span></dt>
420  <dd class="simple"><span data-l="es">Lo que no se puede cocinar acá igual se usa, pero en su propia caja y sin mezclarse. Así el catálogo no dice «esto es mío» de algo que no lo es.</span><span data-l="en">What cannot be cooked here is still used, but in its own box and unmixed. That way the catalogue never claims as its own something that isn't.</span></dd>
421</dl>
422</article>
423
424<article class="decision">
425<h3><span class="num">10</span><span data-l="es">Hecha para que una IA la opere, con el humano decidiendo</span><span data-l="en">Built for an AI to operate it, with the human deciding</span></h3>
426<dl>
427  <dt><span data-l="es">Frente a lo habitual</span><span data-l="en">Compared to the usual</span></dt>
428  <dd><span data-l="es">Están pensadas para manos humanas: la automatización termina simulando a una persona —parsear salidas, adivinar formatos— y el sistema esconde su estado en bases binarias.</span><span data-l="en">They are designed for human hands: automation ends up simulating a person — parsing output, guessing formats — and the system hides its state in binary databases.</span></dd>
429  <dt><span data-l="es">Técnicamente</span><span data-l="en">Technically</span></dt>
430  <dd><span data-l="es">Todo el estado del sistema es texto plano y binarios inspeccionables con <code>readelf</code> u <code>objdump</code>; nada de bases de configuración opacas. Hay un bus por socket Unix por el que un agente dispara compilaciones, escucha fallos y propone cambios — siempre contra un overlay, nunca contra el sistema vivo.</span><span data-l="en">All system state is plain text and binaries inspectable with <code>readelf</code> or <code>objdump</code>; no opaque configuration databases. There is a Unix-socket bus through which an agent triggers builds, listens for failures and proposes changes — always against an overlay, never against the live system.</span></dd>
431  <dt class="simple"><span data-l="es">En simple</span><span data-l="en">In plain words</span></dt>
432  <dd class="simple"><span data-l="es">Un asistente puede entender y cambiar el sistema entero sin adivinar nada, y cada cosa que hace es reversible y queda anotada. Propone; vos disponés.</span><span data-l="en">An assistant can understand and change the whole system without guessing, and everything it does is reversible and recorded. It proposes; you decide.</span></dd>
433</dl>
434</article>
435 </div>
436</div></section>
437
438<section class="franja" id="codigo"><div class="envoltura">
439 <p class="sello"><svg class="simbolo" viewBox="0 0 748 748"><use href="#tocapu"/></svg><span data-l="es">03 · el código</span><span data-l="en">03 · the code</span></p>
440 <h2><span data-l="es">Dónde vive el repositorio</span><span data-l="en">Where the repository lives</span></h2>
441 <p>
442  <span data-l="es">Todo —el CLI, el laboratorio, el catálogo de recetas y el diseño completo— está en un solo repositorio, bajo licencia MIT.</span>
443  <span data-l="en">Everything — the CLI, the laboratory, the recipe catalogue and the full design — lives in a single repository, under the MIT licence.</span>
444 </p>
445
446 <div class="direccion">
447  <p class="etiqueta"><span data-l="es">repositorio de código</span><span data-l="en">code repository</span></p>
448  <a class="url" href="https://git.gioser.net/sergio/takana">https://git.gioser.net/sergio/takana</a>
449 </div>
450
451<pre><span class="p">$</span> git clone https://git.gioser.net/sergio/takana.git
452<span class="p">$</span> cd takana &amp;&amp; cargo build --release
453<span class="p">$</span> ./target/release/takana --help</pre>
454
455 <p>
456  <span data-l="es">El repositorio no trae binarios: trae <strong>recetas</strong>. Cada una fija la fuente upstream por commit o por sha256, y el hash del artefacto sale de la receta entera —fuente, compilador, banderas, fases y los hashes de sus dependencias—, así que se puede saber qué va a salir <em>antes</em> de compilar:</span>
457  <span data-l="en">The repository ships no binaries: it ships <strong>recipes</strong>. Each one pins the upstream source by commit or sha256, and the artefact hash is derived from the whole recipe — source, compiler, flags, phases and the hashes of its dependencies — so you can know what will come out <em>before</em> building it:</span>
458 </p>
459
460<pre><span class="p">$</span> takana hash ripgrep          <span class="c"># el ArtifactHash vigente, sin construir</span>
461<span class="p">$</span> takana build ripgrep         <span class="c"># compila aislado y sella en el store</span>
462<span class="p">$</span> takana why-differs a/ b/     <span class="c"># si dos builds no coinciden, NOMBRA la causa</span></pre>
463
464 <div class="marco">
465  <h3><span data-l="es">Cómo está repartido</span><span data-l="en">How it is laid out</span></h3>
466  <ul class="limpia">
467   <li><code>crates/</code> — <span data-l="es">el CLI, el laboratorio de build, el demonio, el diario y el overlay.</span><span data-l="en">the CLI, the build lab, the daemon, the journal and the overlay.</span></li>
468   <li><code>recipes/</code> — <span data-l="es">el catálogo: una receta <code>.toml</code> por paquete.</span><span data-l="en">the catalogue: one <code>.toml</code> recipe per package.</span></li>
469   <li><code>docs/</code> — <span data-l="es">el diseño entero (SDD y ADR). Empieza por <code>00-vision.md</code>.</span><span data-l="en">the entire design (SDDs and ADRs). Start at <code>00-vision.md</code>.</span></li>
470   <li><code>scripts/</code> — <span data-l="es">la granja de compilación, la cosecha y los arneses de verificación.</span><span data-l="en">the build farm, the harvest and the verification harnesses.</span></li>
471  </ul>
472 </div>
473</div></section>
474
475<section class="franja" id="estado"><div class="envoltura">
476 <p class="sello"><svg class="simbolo" viewBox="0 0 748 748"><use href="#tocapu"/></svg><span data-l="es">04 · el estado, medido</span><span data-l="en">04 · the state, measured</span></p>
477 <h2><span data-l="es">Qué anda y qué no</span><span data-l="en">What works and what doesn't</span></h2>
478 <table>
479  <thead><tr>
480   <th><span data-l="es">Pieza</span><span data-l="en">Piece</span></th>
481   <th class="semaforo"><span data-l="es">Estado</span><span data-l="en">State</span></th>
482   <th><span data-l="es">Qué quiere decir</span><span data-l="en">What that means</span></th>
483  </tr></thead>
484  <tbody>
485   <tr><td><span data-l="es">Núcleo del laboratorio</span><span data-l="en">Laboratory core</span></td><td class="semaforo">🟢</td><td><span data-l="es">Compila aislado y direcciona por hash BLAKE3.</span><span data-l="en">Sandboxed builds, BLAKE3 content addressing.</span></td></tr>
486   <tr><td><span data-l="es">Auto-hospedaje</span><span data-l="en">Self-hosting</span></td><td class="semaforo">🟢</td><td><span data-l="es">El toolchain se reconstruye a sí mismo dentro de una máquina virtual, bit por bit igual.</span><span data-l="en">The toolchain rebuilds itself inside a VM, bit for bit identical.</span></td></tr>
487   <tr><td><span data-l="es">Cadena Rust/LLVM</span><span data-l="en">Rust/LLVM chain</span></td><td class="semaforo">🟢</td><td><span data-l="es">De mrustc hasta rustc, sin binarios ajenos de confianza.</span><span data-l="en">From mrustc up to rustc, with no trusted foreign binaries.</span></td></tr>
488   <tr><td><span data-l="es">Kernel propio</span><span data-l="en">Own kernel</span></td><td class="semaforo">🟢</td><td><span data-l="es">Linux compilado acá (6.16.12 y 7.1.2), que arranca la máquina y reproduce idéntico.</span><span data-l="en">Linux built here (6.16.12 and 7.1.2), boots the machine and reproduces identically.</span></td></tr>
489   <tr><td><span data-l="es">Catálogo</span><span data-l="en">Catalogue</span></td><td class="n">941</td><td><span data-l="es"><strong>926 selladas</strong>, 15 en deuda. Una granja compila y promueve las que funcionan.</span><span data-l="en"><strong>926 sealed</strong>, 15 in debt. A farm builds and promotes the ones that work.</span></td></tr>
490   <tr><td><span data-l="es">Almacén</span><span data-l="en">Store</span></td><td class="n">1407</td><td><span data-l="es">Artefactos direccionados por contenido, cada uno con su hash.</span><span data-l="en">Content-addressed artefacts, each with its hash.</span></td></tr>
491   <tr><td><span data-l="es">Paquetería</span><span data-l="en">Packaging</span></td><td class="semaforo">🟢</td><td><span data-l="es">Empaquetar, repositorio firmado, instalar, desinstalar, dependencias y repo por red.</span><span data-l="en">Package, signed repository, install, uninstall, dependencies and network repo.</span></td></tr>
492   <tr><td><span data-l="es">Escritorios</span><span data-l="en">Desktops</span></td><td class="semaforo">🟢</td><td><span data-l="es">Cuatro perfiles con su clausura sellada: KDE 418/420, GNOME 318/319, COSMIC 282/283, sway 269/270.</span><span data-l="en">Four profiles with their closure sealed: KDE 418/420, GNOME 318/319, COSMIC 282/283, sway 269/270.</span></td></tr>
493   <tr><td><span data-l="es">Instalar en disco real</span><span data-l="en">Install on a real disk</span></td><td class="semaforo">🟡</td><td><span data-l="es">Las imágenes EFI/ISO arrancan en metal; el instalador desde el vivo está a medias.</span><span data-l="en">EFI/ISO images boot on bare metal; the installer from the live system is half done.</span></td></tr>
494   <tr><td><span data-l="es">Distro redonda</span><span data-l="en">A rounded distro</span></td><td class="semaforo">⚪</td><td><span data-l="es">Instalable por alguien que no la escribió. Todavía no.</span><span data-l="en">Installable by somebody who didn't write it. Not yet.</span></td></tr>
495  </tbody>
496 </table>
497 <p>
498  <span data-l="es">Lo más difícil ya está: <strong>no dependemos de binarios precocidos de nadie</strong>. Partiendo de un compilador mínimo, takana reconstruye su propio Rust, su propio kernel y sus propias herramientas — y al hacerlo dos veces da exactamente el mismo resultado. Se probó dentro de una máquina virtual, no en teoría.</span>
499  <span data-l="en">The hardest part is done: <strong>we depend on nobody's precooked binaries</strong>. Starting from a minimal compiler, takana rebuilds its own Rust, its own kernel and its own tools — and doing it twice gives exactly the same result. It was proved inside a virtual machine, not in theory.</span>
500 </p>
501 <p class="nota">
502  <span data-l="es">Las cifras salen de <code>docs/state/build-state.json</code> y del almacén de la caja, medidas el 2026-09-21. No se estiman: se cuentan.</span>
503  <span data-l="en">The figures come from <code>docs/state/build-state.json</code> and the box's store, measured on 2026-09-21. They are not estimated: they are counted.</span>
504 </p>
505</div></section>
506
507<section class="franja" id="paquetes"><div class="envoltura">
508 <p class="sello"><svg class="simbolo" viewBox="0 0 748 748"><use href="#tocapu"/></svg><span data-l="es">05 · los paquetes</span><span data-l="en">05 · the packages</span></p>
509 <h2><span data-l="es">El repositorio de paquetes</span><span data-l="en">The package repository</span></h2>
510 <p>
511  <span data-l="es">El índice está firmado y cada paquete trae la <em>receta</em> de su contenido, no el binario cocinado: <code>install</code> resuelve el nombre, verifica la firma del índice y <strong>reconstruye desde fuente</strong> antes de hidratar. Un origen de descarga no necesita ser de confianza — lo que se verifica es el contenido.</span>
512  <span data-l="en">The index is signed and each package carries the <em>recipe</em> for its content, not the cooked binary: <code>install</code> resolves the name, verifies the index signature and <strong>rebuilds from source</strong> before hydrating. A download origin does not need to be trusted — what gets verified is the content.</span>
513 </p>
514
515 <div class="direccion">
516  <p class="etiqueta"><span data-l="es">repositorio de paquetes</span><span data-l="en">package repository</span></p>
517  <a class="url" href="/repo/">https://takana-os.net/repo/</a>
518 </div>
519
520<pre><span class="p">$</span> takana repo list   --repo https://takana-os.net/repo
521<span class="p">$</span> takana repo verify --repo https://takana-os.net/repo --trust ./trust
522<span class="p">$</span> takana install age --repo https://takana-os.net/repo --trust ./trust</pre>
523
524 <p class="nota">
525  <span data-l="es">Hoy publica la clausura del perfil <code>servidor</code>. El mismo repo se sirve también en <a href="https://repo.gioser.net/">repo.gioser.net</a>; <code>--repo</code> acepta varios orígenes separados por coma y los prueba en orden.</span>
526  <span data-l="en">It currently publishes the closure of the <code>servidor</code> profile. The same repo is also served at <a href="https://repo.gioser.net/">repo.gioser.net</a>; <code>--repo</code> takes several comma-separated origins and tries them in order.</span>
527 </p>
528</div></section>
529
530<section class="franja"><div class="envoltura">
531 <p class="sello"><svg class="simbolo" viewBox="0 0 748 748"><use href="#tocapu"/></svg><span data-l="es">06 · la frontera</span><span data-l="en">06 · the border</span></p>
532 <h2><span data-l="es">Qué tiene que ver con tawasuyu</span><span data-l="en">How it relates to tawasuyu</span></h2>
533 <p>
534  <span data-l="es"><strong>takana es el suelo; tawasuyu es lo que se para encima.</strong> No son dos mundos sueltos: comparten el almacén direccionado por contenido (BLAKE3), un bus entre el init de tawasuyu y el demonio de takana con contrato por bytes, el grafo de arranque, y <code>arje</code> —el proceso número uno de tawasuyu— como init de las imágenes, estático contra musl.</span>
535  <span data-l="en"><strong>takana is the ground; tawasuyu is what stands on it.</strong> They are not two loose worlds: they share the content-addressed store (BLAKE3), a bus between tawasuyu's init and takana's daemon with a byte-level contract, the boot graph, and <code>arje</code> — tawasuyu's process number one — as the init of the images, statically linked against musl.</span>
536 </p>
537 <p>
538  <span data-l="es">Lo que sigue abierto está escrito y priorizado, no supuesto: consenso de reconstrucción M-de-N, y explicar <em>por qué difiere</em> cuando dos compilaciones no dan el mismo hash.</span>
539  <span data-l="en">What is still open is written down and prioritised, not assumed: M-of-N rebuild consensus, and explaining <em>why it differs</em> when two builds don't produce the same hash.</span>
540 </p>
541</div></section>
542
543<footer class="pie"><div class="envoltura">
544 <div class="pie-rejilla">
545  <div>
546   <a class="casa" href="https://git.gioser.net/sergio/takana"><span data-l="es">El repositorio</span><span data-l="en">The repository</span> ↗</a>
547   <p>git.gioser.net/sergio/takana</p>
548  </div>
549  <div>
550   <a class="casa" href="/repo/"><span data-l="es">Paquetes</span><span data-l="en">Packages</span></a>
551   <p>takana-os.net/repo</p>
552  </div>
553  <div>
554   <a class="casa" href="https://tawasuyu.net">tawasuyu.net ↗</a>
555   <p><span data-l="es">El territorio que se para encima.</span><span data-l="en">The territory that stands on top.</span></p>
556  </div>
557  <div>
558   <a class="casa" href="https://hifas.gioser.net">hifas ↗</a>
559   <p><span data-l="es">Réplicas sin coordinarse, con demostración.</span><span data-l="en">Replicas without coordination, with a proof.</span></p>
560  </div>
561 </div>
562 <p class="pie-fin">
563  <span data-l="es">takana · licencia MIT · esta página se sirve del propio repositorio (<code>web/takana-os.net/</code>) y no le pide nada a terceros: las tipografías —Chivo e IBM Plex, ambas SIL OFL— viajan con ella.</span>
564  <span data-l="en">takana · MIT licence · this page is served from the repository itself (<code>web/takana-os.net/</code>) and asks nothing of third parties: the typefaces — Chivo and IBM Plex, both SIL OFL — travel with it.</span>
565 </p>
566</div></footer>
567
568<script>
569(function(){
570 var r=document.documentElement;
571 function pintar(){
572  var l=r.dataset.lang;
573  document.querySelectorAll('[data-poner-lang]').forEach(function(b){
574   b.classList.toggle('on', b.dataset.ponerLang===l);
575  });
576  r.setAttribute('lang', l);
577 }
578 try{ var g=localStorage.getItem('takana-lang'); if(g) r.dataset.lang=g;
579      var t=localStorage.getItem('takana-tema'); if(t) r.dataset.theme=t; }catch(e){}
580 if(!r.dataset.lang) r.dataset.lang = (navigator.language||'es').slice(0,2)==='es' ? 'es' : 'en';
581 pintar();
582 document.querySelectorAll('[data-poner-lang]').forEach(function(b){
583  b.addEventListener('click', function(){
584   r.dataset.lang=b.dataset.ponerLang; pintar();
585   try{ localStorage.setItem('takana-lang', r.dataset.lang); }catch(e){}
586  });
587 });
588 document.getElementById('tema').addEventListener('click', function(){
589  var oscuro = r.dataset.theme ? r.dataset.theme==='dark'
590             : matchMedia('(prefers-color-scheme:dark)').matches;
591  r.dataset.theme = oscuro ? 'light' : 'dark';
592  try{ localStorage.setItem('takana-tema', r.dataset.theme); }catch(e){}
593 });
594})();
595</script>
596</body>
597</html>