29 KiB

Raw Blame History Unescape Escape

CONTINUE — la cola de auditorías, y el protocolo con el que se trabaja

CONGELADO 2026-09-17 — el cierre del framework congela este handoff: no se actualiza. Lo que sigue abierto vive en LEDGER-cierre-2026-09.md, por id.

Kickoff para la sesión siguiente: «Lee docs/process/CONTINUE-audit-queue.md y empieza por §1 (S-33, firmado y sin ejecutar).» Fecha: 2026-08-13 · Rama alpha-0.1-dir-prefs, pusheada en eda3b977b. ⚠️ COMPARTIDA: otra sesión trabaja en blocks y en un eje de dismissal (los types.ts de color-picker / time-picker / time-range-picker). git reset -q + stagear por lista explícita, y clasificar por contenido del diff, nunca por nombre. Fuentes de los hallazgos: AUDIT-sema-2026-08-05.md (44 confirmados con refutación adversarial) · CONTINUE-perceptual-surface.md §3 (la cola larga, con el detalle de cada eje). Este documento dice cómo se trabaja, qué se firmó y por dónde se sigue.

0 · EL PROTOCOLO — va primero porque cambió hoy, y no es opcional

Por CADA modificación o acción, y ANTES de tocar nada, se responden las cinco preguntas del autor:

¿Qué es lo que se va a solucionar?
¿Has leído toda la documentación al respecto, o sólo estás presuponiendo?
¿Qué afecta a otros componentes?
¿Afecta a las doctrinas del ecosistema?
¿Qué modificaciones planteas?

Un item por mensaje, y se PARA a esperar firma. Hoy propuse una «puerta» que me dejaba auto-autorizar lo mecánico y presenté cuatro decisiones juntas en una hoja resumida; el autor lo cortó en seco. No hay puerta: se expone y se espera.

Y dos precondiciones que hoy costaron dos rectificaciones completas:

El SPEC del COMPONENTE es doctrina, y se busca ANTES de diagnosticar. El item de la «6ª fila fantasma» de chronos llevaba un mes en la cola y llegó a estar FIRMADO; al ir a ejecutarlo apareció SPEC.md del componente diciendo lo contrario en tres sitios coordinados. Se revocó. Una asimetría con la familia NO es evidencia de deriva: puede ser la única decisión escrita.
Barrer docs/ ANTES de proponer retirar nada. Recomendé retirar intentRequirement: 'forbidden' «igual que collapse y lock». Falso: aquellos no tenían una línea en docs/; éste está en CANON.md §4, en architecture/sema.md §, y en la tabla de D.3, decisión firmada del autor en decisions/book-deviations.md:472.

Regla que resume las dos: el código nunca corrige al canon; se le pone al autor la CONTRADICCIÓN delante y decide él.

1 · Mañana lo primero: S-33, FIRMADO el 2026-08-13 y sin ejecutar

El defecto es Exclude, no «falta una rama». IntentOptionalFamily = Exclude<SemaFamily, IntentRequiredFamily> es una derivación de mundo abierto —«todo lo que no es required»— así que una familia marcada 'forbidden' cae en el cubo OPCIONAL, donde el intent está permitido. Los dos guardianes de runtime tienen el mismo hueco: validation.ts:39 sólo comprueba === 'required', y event.ts:104-110 (isSemaEvent), si el intent está presente, devuelve isIntent(...) || isIntentBinding(...) sin mirar la política.

Medido con el tsc del proyecto (probe con los dos estados del const, hoy y endurecido). Un único error en todo el probe, y es el control de la derivación actual:

intent-probe.ts(87,1): error TS2578: Unused '@ts-expect-error' directive.

es decir: con contact en 'forbidden', { family: 'contact', intent: 'threat' } compila. Lo demás del probe demostró las tres cosas que hacían falta:

Probe	Resultado
`{contact,intent}` · `{contact}` · `{commit,intent}` con la tercera rama presente	compilan → una rama tecleada sobre `never` no cuesta nada hoy
`@ts-expect-error` sobre `{family:'commit'}`	se CONSUME → la puerta de `required` sigue intacta
`@ts-expect-error` sobre `{contact,intent}` con derivación POSITIVA y contact forbidden	se CONSUME → flipar una línea del const cierra la puerta solo
`{family:'contact'}` a secas, misma situación	compila → `'forbidden'` significa «familia usable, intent prohibido», no «familia inutilizable»

La receta firmada:

sema/types.ts — derivar los tres cubos positivamente (extends 'optional' / extends 'required' / extends 'forbidden'), matando el Exclude, y añadir la rama { family: IntentForbiddenFamily; intent?: never } a SemaEvent y a MorfoEventSemantic (morfo/types.ts).
sema/event.ts:104 y sema/validation.ts:39 — la condición simétrica en los dos guardianes de runtime.
El esquema sium de morfo/schema.ts no necesita nada hoy (no hay literal que añadir mientras ninguna familia sea 'forbidden'), y si alguien flipa el const salta el guard de S-34 que se metió hoy y le dice que lo añada. Las dos mitades cubiertas: los tipos se activan solos, el runtime avisa.
El probe se convierte en test (sema/ o contracts.test.ts), para que el día que alguien reintroduzca un Exclude el @ts-expect-error deje de consumirse y falle.

Delta de conducta hoy: cero, medido. Lo que cambia es que la promesa del canon («editing the const reshapes the discriminated unions») pasa a ser cierta.

⚠️ Y la razón por la que se descartó la alternativa que yo mismo había recomendado —un guard que fallara si alguna familia declara 'forbidden'— es doctrinal, no de gusto: es lint donde el tipo puede hablar, y CLAUDE.md §Eidos drift defense dice que cuando una capa PUEDE expresar la restricción en TypeScript, hacerlo con un test es una violación de arquitectura. La misma doctrina con la que ayer se cerró F3 borrando targetOverride.

2 · Lo cerrado hoy (6 commits, todos pusheados)

Commit	Qué
`b8aa333fd`	F3 CERRADA — `targetOverride` BORRADO de `TriggerOptions` + `assertTargetOverride`; el compilador, ya como censo, cazó 9 usos en tests que el grep del scratch nunca escaneó
`c00e97b91`	F5 CERRADA — los tres sitios de las tres auditorías, medidos DESPUÉS de la campaña
`a15745491`	chronos `fixedWeeks`: decisión REVOCADA — el SPEC manda; no era un defecto
`44af38e6e`	S-10 — el canal visual honra los servicios de su propia bolsa (`anidado ?? raíz`, como los otros tres)
`14a169357`	guard D9 — mira también la vista de eidos, que en los componentes-vista ES el emisor
`eda3b977b`	S-34 — el validador de runtime queda atado al const de política de intent, con el guard visto fallar

Con F5 cerrada, las seis fases del eje perceptual (F1–F6) están completas.

3 · Decisiones ABIERTAS — esperan firma, no se tocan

Cada una necesita su exposición de cinco preguntas cuando se abra. Aquí sólo el titular y la evidencia ya medida, para no re-descubrirla.

S-35 · la forma etiqueta regala lo que la estructurada exige

SemaActionEvent = SemaEvent | SemaEventLabel y la etiqueta incluye la familia pelada: 'commit' compila aunque commit sea required, y normalizeSemaEvent('commit') devuelve intent: null — el documento que la política declara inválido. validateSemaEvent remata devolviendo temprano ante cualquier etiqueta (validation.ts:29). Alcance medido: SemaActionEvent no tiene consumidores fuera de los tres ficheros del propio sema. Va pegado a S-33: la misma unión, las mismas líneas.

S-30/S-38 · EJECUTADO 2026-08-13 — las cinco reglas ABREN LA PUERTA

La decision se INVIRTIO al contrastarla con el mundo real y con el autor. Mi recomendacion era borrar los bloques; el autor pregunto que hacen iOS/Android y quien decide — y la verificacion en las fuentes (Apple HIG: haptic de warning para alertas; tick de seleccion para cambios de valor; Android: «less is more» pero con constantes CONFIRM/REJECT) mas un hecho del propio framework (la intencion estaba ESCRITA y comentada en los packs, y la haptica entera es opt-in del producto) cambiaron el veredicto: las reglas llevaban la intencion del disenador y solo habian olvidado la puerta. Arreglo: channels: ['sound', 'haptic'] en las cinco, con la razon perceptual escrita en cada una; los 5 waivers de CHANNEL_EXCEPTIONS fuera (el guard del censo, re-armado, ES el test que avisa si vuelve a pasar); y un e2e nuevo en resolver.test.ts que prueba resolucion + vibrate() con valores FINITOS (la defensa S-31 cubre los {kind:'tick'} parciales — el aviso del waiver ya estaba pagado). Visto en rojo dos veces: el censo sin waivers listando las 5, y el e2e contra los packs sin ensanchar.

S-30/S-38 · (ficha original, cerrada)

Dialog ×2 (alertdialog y sheet), editable, stepper y timeline escriben haptic: {…} sobre eventos de familia emerge/shift, cuyo activeChannels es ['sound']. Medido por el verificador con resolver y canal reales: firma háptica instalada, vibrate() 0 veces. Y el mapa es coherente en su diseño: las familias que vibran declaran base háptica Y canal (contact, commit, signal, handle); emerge y shift no declaran ninguna de las dos. Opciones: (a) channels: ['sound','haptic'] en las cinco (patrón canónico en slider, css-field, drag-drop) · (b) borrar los bloques y escribir que emerge/shift no vibran. Mi criterio: (b) — el mapa ya lo dice en dos sitios independientes, y (a) reabriría por la puerta de atrás una decisión perceptual (que un overlay te vibre en la mano) que nadie ha tomado. Con guard que cruce cada regla contra el activeChannels alcanzable.

S-19 · EJECUTADO PARCIAL 2026-08-13 — la firma alineada; encenderlo sigue ABIERTO

Mi primer analisis estaba mal y el autor lo mando revisar. Dije que el canal estaba muerto porque el runtime de soma no mete message en la señal; es cierto que no lo mete, pero es diseño, no defecto: son DOS emisores para DOS publicos (soma cubre sus componentes; el canal cubre a quien usa EngineSemantic SIN soma y escribe su propia señal con el texto). Justo por eso nada se anuncia dos veces, y mi opcion (b) —fusionarlos— habria roto el diseño. Retirada.

HECHO: AnnounceFn pasa a prioridad POSICIONAL, como el sumidero y como la fuente de soma, asi que { announce: uix.announce } compila literal y sobra el adaptador. Visto en rojo antes: un sumidero con la forma de uix.announce recibia {priority:'assertive'} en el hueco de la prioridad — y ahi liveRegionIds[obj] es undefined, o sea que TODO caia en la region polite y un threat dejaba de interrumpir. 3 aserciones de test migradas de bolsa a posicional. sema.md §announce reescrito: fuera el aviso del adaptador, dentro la razon de los dos publicos.

QUEDA ABIERTO (decision, no bug): ninguna raiz enchufa el canal. Con el puerto ya alineado es UNA linea en la raiz, pero encenderlo sin inyectar el anunciador cae en las regiones propias del canal y añade un SEGUNDO par role=status/role=alert junto al compartido.

S-19 · (ficha original)

AnnounceFn pide (message, { priority }) y uix.announce es posicional (message, priority?, timeout?): el cableado canónico de sema.md:762 es un error de tipos, no hay adaptador, y ninguna de las dos raíces pasa announce al engine. Si alguien fuerza el cast, priority llega como objeto, liveRegionIds[priority] es undefined y todo cae en la región polite — un threat deja de interrumpir. Son DOS decisiones y conviene no mezclarlas: (i) alinear la firma + corregir el doc — no cambia conducta, porque hoy nadie lo pasa; (ii) enchufar el canal en las raíces, que sí cambia conducta y arriesga el «dos sumideros» que la propia doctrina prohíbe, porque soma tiene su propio puerto de anuncio funcionando (soma.svelte.ts:99, el de metrics/menu-dial/onion-menu). Mi criterio: (i) ahora, (ii) como ítem con censo previo de quién anunciaría por los dos caminos.

4 · La cola, en orden

~~S-33~~ EJECUTADO 2026-08-13 (1a174d5a6): los tres cubos derivados en positivo + rama intent?: never + intentRequirementOf() (leer el const directo ESTRECHA y el gate no compila — arista que la ficha no vio). Desviacion declarada: validation.ts NO se toco (su rama de politica es inalcanzable — hallazgo nuevo, abierto).
~~S-35~~ EJECUTADO 2026-08-13 (6a7554415): SemaEventKey derivado de la politica (bare solo sin required; pareja sin forbidden), SEMA_EVENT_LABELS 56→54, isSemaEventLabel('commit') false → validateSemaEvent lanza. Dos hallazgos ABIERTOS de su paso: el vocabulario de etiquetas no tiene NINGUN consumidor en produccion (¿se gana el sitio?), y la rama required de validation.ts:39-46 es codigo muerto (inalcanzable tras isSemaEvent).
~~S-30/S-38~~ EJECUTADO · ~~S-19~~ EJECUTADO PARCIAL (firma alineada; encender el canal sigue abierto, ver §3).
§3.5 fable — ~~M1 emission~~ PARTE (i) EJECUTADA 2026-08-13: el flag emission: 'runtime' | 'host' | 'external' | 'declared-only' de D.2 existe en MorfoEvent + schema (ausente = 'runtime', las ~250 declaraciones intactas), el guard D9 exime por declaracion (y si el evento eximido esta en la deuda, EXIGE limpiarla — visto con sonda temporal sobre tooltip), el pack-census rechaza reglas sobre eventos declared-only (fixture 2 casos; host NO es muerto), y morfo.md §Step 5.5 lleva el apendice tecnico con la nota doctrinal de D.2. La sonda destapo y cerro un agujero: el flag entre name y semantic hacia INVISIBLE el evento al regex del guard — ahora lo tolera. ⚠️ Parte (ii): 3 de 7 resueltas — ~~tooltip ×3~~ CABLEADO 2026-08-13 (la re-analisis del autor cazo lo que faltaba: la firma global present-rise de base.css:6520 y que la entrada por data-state era el WORKAROUND de la emision ausente, con la semantica focus=sin-entrada colgando de ella). Receta F4: present pre→post SIN su commit (el commit fijaba 'delayed-open' y pisaria el 'instant-open' del focus — los overlays binarios si lo conservan), dismiss ×2 + targetFallback: [trigger], triggers solo en transiciones REALES (un timer cancelado no emite; un re-hover abierto no re-emite), y la causa escape distinguida. MEDIDO en navegador los 3 caminos: hover→present en CONTENT con la entrada autorizada corriendo (scale-in+fade-in, present-rise NO — el preset gana la cascada); focus→present con instant-open y present-rise CORRIENDO = la fuga exacta → silencio visual MINIMO en la receta, scoped a [data-state='instant-open'][data-event-phase='active'], re-medido: anims []; leave→dismiss en CONTENT via Presence con la salida autorizada (scale-out+fade-out, dismiss-fade no); Escape→dismiss-escape. El SILENT del pack por fin CASA y la puerta de temas funciona. Deudas limpiadas: 3 ids del D9 + 3 excepciones del censo. ~~virtual-list/grid ×3~~ RESUELTOS 2026-08-13 con emission: 'host' — la resolucion YA estaba escrita en los dos providers como decision con su porque («apps wire it themselves with their own throttle policy»; per-pixel + familia handle = trinquete continuo bajo inercia) y solo le faltaba un sitio DECLARABLE: es el caso de diseño del valor host de D.2. La cita desfasada del comentario (activeChannels=['haptic'] — hoy es ['sound','haptic']) corregida al tocarlo; la promesa del host es viable (provider.runtime es publico). ~~gradient-picker commit-reset~~ RETIRADO 2026-08-13 (S-14 cerrado) — y la ficha se corrigio con medida: los hermanos color/date/time-picker SI emiten su reset (cableados 2026-08-11), pero NO componen el Picker generico — son dueños de su transaccion. Gradient-picker la DELEGA entera (su docblock lo declara), asi que el Clear ya suena con el commit-reset del picker compuesto, y cablear el gemelo habria dado DOBLE firma por un gesto (la clase file-upload). Retirados: evento del morfo (con la razon en su lugar) + regla del pack + filas de los dos README + la excepcion del censo + el ultimo id de la deuda. Con esto la parte (ii) esta COMPLETA y M1 CERRADO ENTERO: las dos listas de deuda (INERT_EVENT_DEBT y EMISSION_EXCEPTIONS) quedan VACIAS por primera vez, cada una con su lapida explicando las 7 resoluciones. La instancia original de la ficha (5 pickers con close inerte) esta MUERTA desde la normalizacion de nombres · ~~M4~~ EJECUTADO 2026-08-13, con el DIAGNOSTICO CORREGIDO dos veces: la premisa de la ficha era falsa (hay 12 declaraciones con enum de 3+, censadas: aura·checkbox·image·meter· progress·tooltip) y su arreglo («exigir exactamente 2 valores») las habria proscrito — son legitimas porque bindean STRINGS y el modo hace passthrough. El peligro real es booleano↔enum-no-binario, hoy inexistente. Arreglo: la pareja solo se infiere con enum BINARIO (exacta por construccion), y un booleano llegando a 3+ LANZA nombrando la salida declarativa (v.mapRef, que YA existia en el vocabulario — ni campo nuevo ni adivinanza), doctrina S-09. En mi re-analisis cai en dos: el «guard de contratos» de mi primera propuesta NO existia, y mi censo de bindings verifico 2 de 12 — la suite entera de navegador (1278✓) es la que probo que ninguno bindea booleano. Tests nacidos en rojo 2/3 (el tercero paso porque ES la conducta binaria de hoy) · ~~M5~~ EJECUTADO 2026-08-13, y la ficha era INCOMPLETA: acertaba en que se puede tipar ya, pero no vio que 2 de los 5 usos casan attrs que el morfo NO declara A PROPOSITO (data-size/data-sheet, eidos-only por docblock) ni que un solo slot no puede imponer enum Y quedar abierto (la clase S-11). La solucion es el precedente de DOS EJES del framework: state tipado con DataPairOf<M> (attr declarado + valor del enum; el typo no compila) + undeclaredState abierto y auto-documentado para los eidos-only, con el builder lanzando en runtime si un attr declarado se cuela por la puerta abierta (y viceversa) — gate en el builder y no en el censo porque lanza al IMPORTAR el pack. aria queda abierto con la razon escrita (su unico uso casa un role deliberadamente no declarado). Mi primera propuesta era un guard de censo — el MISMO error de S-33, corregido en re-analisis. Probes @ts-expect-error + 5 tests runtime nacidos en rojo (4/4) · ~~M6~~ EJECUTADO 2026-08-13: los alias IntentExpectedFamily/SemaEventLabel BORRADOS (no-shims; D.3 los nombra como HISTORIA, no como prescripción), 13 usos migrados a los canónicos, semaIntentExpectedFamilySchema renombrado …Required… CON el guard S-34 actualizado en el mismo commit, los 2 as never de compile.ts retirados (vestigio pre-DepSink), y _resetCompileCache resultó YA borrado — fuera de la cola · ~~E2~~ · ~~E3~~ EJECUTADOS 2026-08-13 — E2: el mode-source de sistema consulta dom.getWindow().matchMedia y se suscribe por dom.listen (ventana CORRECTA en iframe/popup; fallback crudo sin dom); descartado el tracker en adom por la regla de ≥2 consumidores (los 6 boots reales de web/ pasan todos su modeSource — el camino de sistema tiene hoy CERO consumidores vivos). E3: #lastSchemeCss — un re-derive que falla conserva el ultimo bloque bueno y avisa por #uix?.logger en vez de DESVESTIR la pagina (apply() leia '' como «sin esquema» y borraba el <style>); applyColorScheme sigue lanzando eager en la cara del llamador. Hallazgo del rojo: el validador de config es FAIL-CLOSED y rechaza escalas rotas en la puerta — la inyeccion del test va sobre buildScheme mismo, passthrough real hasta que el flag lo revienta. Ambos tests vistos morder el codigo viejo via stash.
§3.6 blocks — A-47 SIGUE ABIERTO — el arreglo del 2026-08-13 fue REVERTIDO el 2026-08-14 (acda70f1e deshecho). No llegaba a 5 recetas (alias congelados en :root, la violacion que canon/tsc.md nombra y que no se leyo antes de proponer), no cubria los lienzos solidos de Card ni Banner, y EMPEORABA el anillo en subarboles que repintan lienzo claro. Lo que el analisis dejo en claro y sirve para quien lo retome: el anillo pertenece al CONTEXTO DE TINTA ([data-on]), no al variant de un componente; y el eje evaluativo (--focus-ring-color-error) NO puede aplanarse a la tinta de contraste — el rojo es el mensaje; su problema real es que es translucido (color-mix(risk-8 52%, transparent)) y se lo come cualquier lienzo saturado. NADA de esto esta verificado por el autor. [texto anterior, ahora invalido:] ~~ARREGLADO en la CLASE, no en la instancia**: el anillo global es primario translucido (suave a proposito) y sobre un Surface solido primario media 1,02:1 (peor aun que el 1,43 del ledger; misma pareja rgb(142,78,198)). Una declaracion en la regla solida de surface.css rescopa --focus-ring-color a la tinta del slot contrast(on-solid) (pick APCA + suelo WCAG, rfc-color-engine §8; §32 = un solo modelo outline, todos los consumidores beben del var). Medido en la demo real: 1,02 → **5,18:1** en el outlineColor del boton enfocado; el token global fuera del panel INTACTO (2,17, sin cambios). A plena fuerza, sin mix — aritmetica sobre token garantizado re-pierde la garantia. Hallazgos anotados sin decidir: --focus-ring-color-error sobre solido (semantica de error, caso aparte) y el 2,17:1 del anillo global contra la PAGINA (el ledger no lo señalo; el contraste puede satisfacerse contra el boton adyacente — decision de diseño si se abre). Fila del ledger → ARREGLADO, SIN commitear (viaja con la otra sesion, protocolo A-85) · ~~A-69~~ ARREGLADO 2026-08-13 via la disposicion del ledger, tras re-analisis del autor (mi primera propuesta sustituia el muelle por un ease-out — cambio de DISEÑO de tapadillo: la caida exponencial es la semilla portada; y mi cita de motion.md §drivers estaba fuera de jurisdiccion — gobierna presets CSS, no numero→formatter). Ejecutado: λ derivada de (recorrido, umbral, duration) con ζ fija en 2√2 — misma FORMA, reloj recalibrado; onEnd desde la parada REAL del muelle (antes: timer ciego que disparaba 5,9 s antes); guard de recorrido no-mostrable. MEDIDO con Playwright (sonda espejo de la del ledger, muestreo directo de textContent): 12.500/340/48 asientan TODOS en 1977 ms (duration 2000, ±23 ms) con dispersion 0 ms — antes 7867/5083/3567 y 4310 de dispersion. Fila del ledger → ARREGLADO sin commitear (protocolo A-85). NO tocados: A-68 (arranques vs entrada — item propio) ni el driver spring de $motion (sustrato distinto). §3.6 blocks COMPLETO.
§3.3 eje B — 4 continuos sin throttle (gradient-builder, color-picker área, number-field, css-field) · sequence: 'coincident' sin implementar con 21 eventos declarándolo (decisión: implementar o marcar reservado) · las 68 demos emitiendo sin verb · medir knob.handle-drop (pre con handler) y el retraso de 120 ms de button.contact-activate.
Firmadas que quedan — el chip bloqueado vía DragDrop.Draggable (transversal, con su letra pequeña ya medida en CONTINUE-perceptual-surface.md §4) · retirar mode/scope (+ la hermana SemaCause, que sigue ABIERTA).
§3.2 restitución de persistentes — eje nuevo del engine; afecta form, file-upload, textarea, media-player, announce, aura.
C5 rebanadas 3-4 de chronos — subir a soma el comportamiento del chip (teclado, captura de puntero, drag-to-create) y sólo después extraer MonthView/WeekView/AgendaView. Con D14 dentro. El grande.

4.1 · Hallazgos del 2026-08-13 — RESUELTOS por el autor

Los tres que salieron mientras se cerraban §3.4 y §3.5, decididos el mismo día:

La rama required de validation.ts es código muerto → SE QUEDA, y documentada en el docblock de validateSemaEvent: isSemaEvent es policy-aware, así que una violación sale por el throw genérico y el mensaje específico nunca dispara (medido). Se conserva porque los dos guards responden preguntas distintas y sólo su ORDEN hace redundante a uno; reordenar sería cambiar el mensaje lanzado sin que nadie lo pida.
El vocabulario de etiquetas sin consumidor interno (SemaActionEvent, normalizeSemaEvent, toSemaEventLabel, validateSemaEvent) → SE GANA EL SITIO, y documentado en el docblock de SemaActionEvent: no es falta de consumidor, es AUDIENCIA — la app que conduce EngineSemantic sin soma, la misma que sirve el canal announce (dos emisores, dos públicos). Soma nunca toma ese camino porque baja la declaración estructurada del morfo.
~~Encender el canal announce en las raíces (S-19 parte ii)~~ → EJECUTADO 2026-08-13, encendido POR DEFECTO en las dos raíces. El análisis destapó que era la raíz o nadie: la opción announce se pasa al construir el engine DENTRO de createActiveUix, cuando uix.announce aún no existe — el único cableado escribible por un app caía en las regiones propias del canal (el segundo par que AUX-1 prohíbe). El impl registra el canal post-construcción con cierre tardío, igual en standalone y attach. Default ON porque announce es SUSTITUCIÓN, no ornamento (la norma del campo: Angular CDK LiveAnnouncer, React Aria — el anunciador a11y es ambiente). Opt-outs: events: { announce: false } (el engine gana el flag legible announceOptedOut) y un announce explícito del app gana. Cero doble anuncio: soma no mete message en la señal. Visto en rojo vía stash del impl; probado que el mensaje aterriza en la región COMPARTIDA (ids de uix, UN solo [role='alert'] en el documento). sema.md §announce actualizado.

5 · Base de verificación (mídete contra esto, no contra memoria)

npx vitest run src/uix/sema src/uix/morfo src/uix/contracts.test.ts --project=server
npx vitest run src/uix/soma            # proyecto navegador
npm run check        # 69 errores = base
npm run docs:check   # 0 / 623

contracts.test.ts tiene 6 fallos AJENOS y preexistentes (barrel de waveform · nombres de fichero de provider · MOR-4 · escrituras DOM de menubar · data-attrs · namespaces de aura). Hoy llegó a haber 7: el séptimo era mío y de otro commit, y se cerró (14a169357).
soma navegador: 1278 ✓ / 1, el timeout ajeno preexistente de soma-attr-audit.
sema+morfo: 532 ✓.

6 · Trampas medidas hoy — no re-descubrirlas

El guard D9 es laxo A PROPÓSITO. Compara includes("'nombre'") y no trigger('nombre') porque el nombre llega a la llamada por VARIABLE en media docena de patrones. Censado: endurecerlo convierte 27 emisiones reales en violaciones. Su precio —un nombre entrecomillado en un comentario lo satisface— queda escrito en el propio colector.
El panel del navegador oculto: rAF suspendido (los ticks continuos no estampan nunca) y la línea de tiempo de animaciones congelada, así que el desestampado cae SIEMPRE en el tope de 1500 ms de la espera de expresión. getAnimations() dice QUÉ corre sobre QUÉ, nunca cuánto dura.
Prettier: hay ficheros sucios en HEAD (errors.ts, test-fixtures.ts, runtime.svelte.ts, runtime.svelte.test.ts, contracts.test.ts). Probar contra HEAD antes de --write, y no reformatear lo que ya estaba sucio.
git stash push <ruta> + stash pop es la forma limpia de comprobar si un fallo es tuyo o de HEAD. Hoy demostró que el D9 fallaba sin mis cambios.

29 KiB Raw Blame History Unescape Escape