diff --git a/docs/15-frontier-ai-native.md b/docs/15-frontier-ai-native.md
index ec860015..85272e0b 100644
--- a/docs/15-frontier-ai-native.md
+++ b/docs/15-frontier-ai-native.md
@@ -228,6 +228,19 @@ proyecto, no una fase.
   Con H3c, de las dos ambiciones abiertas de H3 queda demostrado el **grano intra-función** (en
   su forma wasm: función llama función por hash); lo aún abierto es el **colapso total**
   paquete = función = proceso (el lado "proceso" = replay del MonotonicLog, plan OS-CRDT).
+  **Formato de viaje + checker standalone (2026-07-05, `wawa-memo` `formato.rs` +
+  `bin/wawa-verifica`, 5 tests; 45 en el crate):** el `Paquete` deja de ser sólo-memoria.
+  Serialización **canónica** versionada (`WAWA-PAQ1`): biyección bytes↔paquete (defs ordenadas
+  por Id, término con la misma serialización estructural que define su identidad, parseo
+  estricto — toda corrupción es un error determinista, nunca "mejor esfuerzo") ⇒
+  `blake3(bytes) = id_paquete` estable, la identidad del paquete entero en el mismo espacio de
+  nombres. Disciplina intacta: los bytes NO llevan hashes declarados — **el formato transporta,
+  el hash prueba** (la ingesta deriva identidades y rechaza el byte flipeado con `RefColgante`).
+  `wawa-verifica <paquete.wawa> <entrada> <esperado>` es el checker pequeño y auditable
+  (estilo H1) de la afirmación «este paquete con esta entrada produce este resultado»: exit
+  0/1/2 — ejecutable como evidencia `cmd-exit` en el sandbox de hammer (un `.swm` cuyo payload
+  es un programa wasm verificable = el puente concreto paquete↔función) o como gate de ingesta
+  de un peer. El transporte real (anti-entropy) sigue siendo del plan OS-CRDT.
 
 **Frontera honesta.** No prometer "una distro donde paquete = función = proceso": H3b+H3c
 demostraron el núcleo del modelo (definir por hash, nombres como metadata, actualizar sin romper