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
54 lines
1.9 KiB
Python
54 lines
1.9 KiB
Python
"""Registro de PLUGINS de formato (SDD 29).
|
|
|
|
Un formato se agrega dejando un fichero en este directorio que decore sus funciones con `@lector` y
|
|
`@escritor`. No hay que tocar el centro ni ningún otro plugin: ése es el punto de tener un pivote.
|
|
|
|
@lector("nginx", familia="web")
|
|
def leer(texto) -> Config: ...
|
|
|
|
@escritor("caddy", familia="web")
|
|
def escribir(cfg) -> str: ...
|
|
|
|
⚠ **LA FAMILIA NO ES DECORACIÓN.** El pivote es uno por familia: un unit de systemd no es un sitio
|
|
web, y emparejar un lector de servicios con un escritor de web produciría basura *plausible* — el
|
|
modo de fallo caro. El registro empareja SÓLO dentro de la familia y rechaza el cruce con un error,
|
|
no con un intento. Es la misma regla del acta, aplicada un nivel más arriba: parecerse es peor que
|
|
faltar.
|
|
"""
|
|
import importlib, pkgutil, pathlib
|
|
|
|
LECTORES, ESCRITORES = {}, {} # nombre -> (funcion, familia)
|
|
|
|
|
|
def lector(nombre, familia="web"):
|
|
def deco(f):
|
|
LECTORES[nombre] = (f, familia)
|
|
return f
|
|
return deco
|
|
|
|
|
|
def escritor(nombre, familia="web"):
|
|
def deco(f):
|
|
ESCRITORES[nombre] = (f, familia)
|
|
return f
|
|
return deco
|
|
|
|
|
|
def cargar():
|
|
"""Importa todos los plugins del directorio. Descubrimiento, no lista cableada: una lista que hay
|
|
que editar a mano se desincroniza y el formato nuevo 'no existe' sin que nada falle."""
|
|
for m in pkgutil.iter_modules([str(pathlib.Path(__file__).parent)]):
|
|
if not m.name.startswith("_"):
|
|
importlib.import_module(f"{__name__}.{m.name}")
|
|
return LECTORES, ESCRITORES
|
|
|
|
|
|
def familias():
|
|
"""{familia: (lectores, escritores)} — para listar y para contar pares de verdad."""
|
|
d = {}
|
|
for n, (_, fam) in LECTORES.items():
|
|
d.setdefault(fam, ([], []))[0].append(n)
|
|
for n, (_, fam) in ESCRITORES.items():
|
|
d.setdefault(fam, ([], []))[1].append(n)
|
|
return {k: (sorted(v[0]), sorted(v[1])) for k, v in sorted(d.items())}
|