SergioandClaude Opus 5
fefa92ec5a
Un unit de systemd no es un sitio web. Meterlo en `Sitio`/`Ruta` sería justo el «parecerse» que el acta existe para evitar, así que cada familia tiene su modelo y el centro empareja SÓLO dentro de la familia. Un par cruzado se rechaza con un error, no con un intento: `systemd → caddy` sale por `sys.exit`, porque traducir entre familias daría un fichero que PARECE correcto. Dos familias hoy: `web` (nginx, apache → caddy) y `servicio` (systemd → arje). 3 pares con 5 plugins. **Dónde una elisión silenciosa no pierde una opción sino que CAMBIA el sistema.** El payload `Native` de arje acepta `exec`, `argv` y `envp` y nada más (comprobado en la semilla real del producto): NO hay campo de usuario. Un `User=git` traducido en silencio correría el servicio COMO ROOT — escalación de privilegios en un fichero generado que nadie vuelve a leer. Sale SIN-TRADUCIR con su línea. Igual `EnvironmentFile=` (el fichero no está en la máquina donde se traduce ⇒ envp incompleto, falla tarde), `Type=forking` (arje supervisa al proceso que lanza ⇒ BUCLE DE REINICIO) y todo el endurecimiento, que callado entrega un servicio MENOS confinado que el original. Lo que sí tiene destino exacto: `Type=oneshot` → `"supervision": "OneShot"`, que ya existe en la semilla del producto — buscarlo antes de declararlo intraducible evitó una elisión inventada. **Lector y escritor no opinan del mismo campo.** `User=` lo CAPTURA el lector y lo JUZGA el escritor; cuando los dos anotaban, el acta decía dos cosas distintas de la misma línea, y un acta que se contradice se deja de leer. El lector registra en qué línea vio cada campo (`Servicio.lineas`) para que el escritor señale la línea real en vez de un 0. Controles: la tarjeta generada tiene el MISMO juego de claves que la tarjeta real de `sshd` del producto (+`_mudanza` de procedencia); dos corridas dan el fichero byte a byte idéntico; y la familia `web` sigue validando con el caddy del corpus (`Valid configuration` en los dos pares). De paso, `ulid_determinista` sale a `ids.py`: lo necesitaban `declarar.py` y el escritor de arje, y copiarlo habría dejado dos generadores de id que se pueden separar sin que nada falle. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01RomoxEGZUhaT4pob1QSX5x
24 lines
957 B
Python
24 lines
957 B
Python
#!/usr/bin/env python3
|
|
"""ids.py — identificadores DETERMINISTAS para lo que se genera (SDD 29).
|
|
|
|
Derivar el id del nombre en vez de sortearlo es lo que vuelve **revisable** un fichero generado: dos
|
|
corridas del mismo censo producen la misma semilla byte a byte y se comparan con `diff`. Un id
|
|
aleatorio obliga a leer el fichero entero para saber si algo cambió.
|
|
"""
|
|
import hashlib
|
|
|
|
CROCKFORD = "0123456789ABCDEFGHJKMNPQRSTVWXYZ" # sin I, L, O, U
|
|
|
|
|
|
def ulid_determinista(sem, nombre):
|
|
"""26 caracteres Crockford base32, derivados del nombre. No es un ULID con marca de tiempo real
|
|
—no hace falta— pero respeta el formato."""
|
|
h = hashlib.blake2b(f"{sem}/{nombre}".encode(), digest_size=16).digest()
|
|
n = int.from_bytes(h, "big")
|
|
out = []
|
|
for _ in range(26):
|
|
out.append(CROCKFORD[n & 31])
|
|
n >>= 5
|
|
s = "".join(reversed(out))
|
|
return "0" + s[1:] # el primer carácter de un ULID válido es <= '7'
|