From a1b3b8642ad65c71a08cf28425d1bf7c8ea21b7d Mon Sep 17 00:00:00 2001 From: sergio Date: Thu, 16 Jul 2026 23:38:39 -0400 Subject: [PATCH] =?UTF-8?q?cierre=20=C2=A73:=20carril=20Fable=205=20HECHO?= =?UTF-8?q?=20=E2=80=94=20clases=20de=20servicio=20en=20tawasuyu=206eba521?= =?UTF-8?q?c6=20(bits=208..12=20+=20detalle=20musl=20+=20nombres=20de=20al?= =?UTF-8?q?ambre);=20el=20cable=20attest-from=20las=20lleva=20gratis?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Fable 5 --- docs/17-cierres-frontera.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/docs/17-cierres-frontera.md b/docs/17-cierres-frontera.md index dffdaf78..ecb193e7 100644 --- a/docs/17-cierres-frontera.md +++ b/docs/17-cierres-frontera.md @@ -119,7 +119,15 @@ se ensancha en silencio. **Reparto de tareas (para no pisarnos):** - **Clases de servicio** (Fable 5): la tabla clase→permiso musl, el bit en el `u32`, y el cableado - con `ConcesionCapacidad`/`arje-absorb --attest-from`. + con `ConcesionCapacidad`/`arje-absorb --attest-from`. **✅ HECHO (tawasuyu `6eba521c6`, + 2026-07-17)**: `format::PERMISO_{DNS,TLS_CERTS,RANDOM,LOCALE_TZ,SYSLOG}` (bits 8..12 del mismo + `u32` ⇒ `mensaje_capacidad` intacto, 36 bytes) + `CLASES_SERVICIO` con los nombres de alambre + (`dns`, `tls-certs`, `random`, `locale-tz`, `syslog`) y mapeo nombre↔bit para consumir lo que + emita `runtime-policy.sh`; `arje-attest::detalle_musl(bit)` expande frontera→detalle (paths + RO/sockets/red) FUERA de lo firmado, y `clases_encendidas(permisos)` es el bucle del aplicador. + El cableado con `--attest-from` no necesitó ni una línea: la concesión firma el `u32` tal cual, + los bits nuevos fluyen (test: escalar un bit sin re-firmar ⇒ `FirmaInvalida`). format 57✓ + arje-attest 11✓ wawa-kernel Ring 0 compila✓. - **Medición** (Opus 4.8): `runtime-policy.sh`, el harness harkaq (jaula, lector, canario D9) y el baseline del lanzador. - **Punto de contacto acordado**: `runtime-policy.sh` emitirá también la **clase** detectada, no