echolabsLINK-2 — consecuencia, autenticación, confianza y aire real
19 de octubre de 2026. Contrato de prototipo, continuación de LINK-1
(diseño, resultados). Nav pidió
hacer los siguientes pasos propuestos y medir si mejoran («haz todo eso»).
No congela nada ni emite certificado. LINK-1 queda congelado (publicado
y fijado en lab/link1/eval-preflight.json): LINK-2 vive en
echoai/link2/, importa LINK-1 y NEXUS-0, y no edita ninguno de los dos.
Invariantes heredados sin cambios: postal WSP de 16 B, E entero ±100,
córtex apagado, nada nuevo bajo nexus0/, testimonio fuera de CAM/T/Q
(comprobado por repetición diferencial y oráculo de la regla, como en LINK-1).
Tres preguntas
- Consecuencia. En LINK-1 la postal llevaba el valor Q del veterano. En la celda NOVEL ese valor era +4 aunque acercarse pagaba −16 en el acto: los 2 fallos de evaluación. ¿Llevar también la recompensa inmediata que el veterano vivió elimina esos fallos, y cuánto retorno cuesta?
- Autenticación y confianza. Por aire cualquiera puede emitir. ¿Un MAC con ventana anti-reenvío rechaza a un forastero sin clave, y un registro de confianza por emisor contiene a un mentiroso con clave?
- Aire real. ¿Cómo se comporta el enlace con menos ganancia de micrófono, con ruido añadido y frente a ggwave, el módem público de referencia? ¿Llega desde un segundo dispositivo?
Piezas
| Módulo | Qué hace |
|---|---|
link2/envelope.py |
(incluye Guard: llavero, sesión y ventana anti-reenvío) Sobre v2 de 27 B: 'W' · v2+acto · emisor · secuencia de 16 bits · postal 16 B · etiqueta MAC 4 B · CRC-16. Aire: 54 nibbles + 1 de relleno = 5 bloques RS(15,11) = 75 símbolos, entrelazado y blanqueo LFSR (misma secuencia que LINK-1, prolongada) |
link2/phy.py |
El módem de LINK-1 (tonos, saludo, sincronía, GMD) para un número de símbolos cualquiera; importa las primitivas de link1.modem |
link2/speech2.py |
CLAIM2: E.V = Q del emisor, E.A = recompensa inmediata media que vivió, E.C = soporte |
link2/agent2.py |
TalkingAgent2: registra recompensas inmediatas, habla CLAIM2, guarda testimonio por emisor y lleva un libro de confianza |
link2/air.py, link2/ggwave_runner.py |
F4 (aire real) y F5 (ggwave, en su propio entorno aislado) |
link2/bench.py |
Experimentos F0–F5 |
MAC y reenvío
tag = HMAC-SHA256(clave, sesión ‖ bytes 0..20)[:4]. La sesión (8 B) no
viaja: la comparten emisor y receptor, así que una grabación de otra sesión
no verifica. Dentro de una sesión, cada emisor solo puede avanzar su
secuencia (estrictamente creciente). La etiqueta de 32 bits da una
probabilidad de falsificación de 2⁻³² por intento: es un laboratorio, no un
producto. Las claves del banco son claves de prueba derivadas de un texto
fijo y declaradas como tales; no hay secretos reales. CRC y MAC se comprueban
los dos: el CRC filtra errores del aire, el MAC filtra impostores.
Regla de decisión del novato (LINK-2)
Igual que LINK-1 (solo acciones no probadas aquí, nunca en turnos ε, como mucho 4 desvíos por sitio, la compuerta decide), con dos cambios:
- Puntuación de una acción oída: si el emisor vivió una recompensa inmediata negativa, la puntuación es esa recompensa; si no, el valor Q oído.
- Varios emisores: para cada (sitio, acción) se usa el emisor creíble con más confianza neta; a igualdad, la puntuación más prudente (la menor).
Confianza
Cuando el novato ejecuta una acción que alguien le contó, compara el signo de
la recompensa que observa con el signo de la recompensa inmediata contada.
Solo cuenta si alguna de las dos es distinta de 0 (un cero no informa).
Coinciden → agree += 1; difieren → disagree += 1. Un emisor es creíble
mientras disagree == 0 o agree ≥ 3 · disagree. Lo de un emisor no
creíble se ignora.
Experimentos
Mundos: los de LINK-1 (link1.world.LayoutRing). Dev 0–15; eval
2000–2063, semillas nuevas, una sola pasada tras fijar este documento.
| Exp | Qué mide |
|---|---|
| F0 | Sobre v2: ida y vuelta; 100 000 etiquetas falsas; reenvío en otra sesión; reenvío en la misma sesión; RS/CRC/MAC con errores |
| F1 | Consecuencia: S (silencio), T1 (postal LINK-1, solo valor), T2 (CLAIM2) |
| F2 | Seguridad en el mundo: T2 más un forastero sin clave que inyecta mentiras (O); las mentiras de un reenvío grabado en otra sesión (R) |
| F3 | Confianza, todo con clave: H (un honesto), HL (honesto + mentiroso) sin confianza y el mentiroso al final (HL-naive), HL con confianza (HL-trust), HLL con confianza (dos mentirosos) |
| F4 | Aire real en este PC: ganancia de micrófono {0,3; 0,6; 1,0} × ruido añadido a la señal emitida {ninguno, 10 dB, 0 dB}, 10 postales v2 por celda; segundo dispositivo por AirPlay si responde |
| F5 | Frente a ggwave: misma carga de 27 B en la sala simulada (eco, SNR {10, 0, −5}) y en el aire real; tiempo en el aire y postales recuperadas |
El mentiroso cambia el signo de V y de A en todo lo que cuenta.
Predicciones registradas (eval, 64 mundos)
- Q1 (consecuencia). Daño de primera visita de T2 = 0 en ≥ 63/64 mundos, y suma de T2 < suma de T1.
- Q2 (coste). Retorno mediano de T2 ≥ retorno mediano de T1 − 16.
- Q3 (forastero). F0: 0 etiquetas falsas aceptadas de 100 000, 0 reenvíos aceptados. F2: O y R iguales a T2 en daño de primera visita en 64/64 (ninguna mentira sin clave llega al novato).
- Q4 (confianza). Daño de 1.ª visita: HL-trust < HL-naive en ≥ 75 % de los mundos, y HL-trust ≤ H + 1 en ≥ 90 %.
- Q5 (mayoría mentirosa). HLL-trust ≤ S en daño de 1.ª visita en ≥ 90 % de los mundos: con mayoría de mentirosos, nunca peor que no oír.
- Q6 (firewall). En todos los brazos:
false_facts == 0,destroyed == 0,cortex_calls == 0, repetición diferencial idéntica, 0 propuestas fuera de la regla. - Sin predicción para F4 y F5: el hardware y el módem de referencia se miden, no se anticipan.
Si una predicción sale roja, queda roja; una v2 se declara posterior al rojo.
Enmienda dev-1 (19/10, antes de eval)
- F1 sin confianza. En dev, T1 con confianza activa daba 32 primeras
lecciones: una postal de solo valor lleva consecuencia 0, y cuando el
novato prueba y observa +8, cuenta como contradicción y deja de creer al
veterano honesto. F1 y F2 corren con
trust=False(la semántica de LINK-1, un solo emisor); la confianza solo se mide en F3. - Q1 precisada. En dev los 16 mundos ya daban T1 = 0 (no contienen una NOVEL con valor positivo), así que «suma T2 < suma T1» podría salir roja solo porque no hay nada que mejorar. Queda: T2 = 0 en ≥ 63/64, ningún mundo con T2 > T1 y suma T2 ≤ suma T1. Los dos mundos donde LINK-1 falló (1012 y 1055) se informan aparte como regresión, sin contar como evaluación: en dev ya dan T1 = 1 → T2 = 0, con un coste de 96 de retorno en cada uno.
- Dev completo: Q1–Q6 en verde (16/16).
Enmienda dev-2 (19/10, antes de eval) — respuesta al revisor independiente
| # | Hallazgo | Acción |
|---|---|---|
| 1 | Mentiroso estratégico con clave: dice la verdad en todo y además que las demás acciones de los sitios peligrosos «pagan −100». La regla prudente lo elige y el novato nunca lo comprueba: en dev, 45 primeras lecciones (igual que el silencio) y más daño total | No se cambia la regla registrada. Se añade como brazo de contexto sin predicción (HLs_trust). Q4 y Q5 solo hablan del mentiroso que invierte signos |
| 2 | Q4/Q5 no aíslan el libro de confianza: la protección de la primera visita la da sobre todo la regla prudente; HLL repite las mismas mentiras | Brazos de contexto sin predicción: libro congelado (HL_frozen) y desempate optimista (HL_optimist). En resultados, Q4/Q5 se leen como «regla prudente + libro» |
| 3 | El oráculo no veía fallos en la puntuación ni en la elección de emisor de LINK-2 | Oráculo propio de LINK-2 (_told_raw + _rule), que recalcula desde el registro bruto sin llamar a score/pick. Dos mutantes nuevos detectados por los tests |
| 4 | F5 favorecía a ggwave en unos 4,8 dB (ruido blanco a 48 kHz frente a 16 kHz) | Ruido de ggwave ×3 en potencia (misma densidad por Hz); se informa el RMS emitido |
| 5 | F4 bajaba la señal al añadir ruido | Ganancia única para todas las celdas |
| 6 | pw-record podía quedar huérfano |
kill tras el tiempo de espera |
| 7 | F0 con bits cambiados solo ejercitaba el CRC | Añadida manipulación con CRC recalculado (solo la para el MAC); entra en Q3 |
| 10 | Un mentiroso que solo cambia V donde A = 0 nunca es descubierto | Brazo de contexto HLv_trust |
| 8, 9, 11 | Reenvío solo en memoria; sesión y claves públicas (declaradas); Q3 en el mundo añade poco a F0; el libro se actualizaba sin confianza | Escrito; el libro solo aprende con trust=True |
Lo que esto no demuestra
- La clave compartida resuelve al forastero, no al infiltrado: para el infiltrado está la confianza, que solo aprende cuando el novato comprueba.
- El aire real sigue siendo un PC y una habitación; el ruido se suma a la señal emitida (sale por el altavoz real), no viene de otra fuente.
- La recompensa inmediata ayuda en este mundo porque el castigo es inmediato. Un daño diferido seguiría necesitando el valor.