From e72a630d3150f6aa95d506531dce39a412a6d260 Mon Sep 17 00:00:00 2001 From: sergio Date: Sun, 5 Jul 2026 10:31:28 -0400 Subject: [PATCH] =?UTF-8?q?docs:=20SDD=2015=20=C2=A7H3c=20=E2=80=94=20form?= =?UTF-8?q?ato=20de=20viaje=20can=C3=B3nico=20del=20Paquete=20+=20wawa-ver?= =?UTF-8?q?ifica=20(el=20puente=20concreto=20paquete=E2=86=94funci=C3=B3n)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Fable 5 --- docs/15-frontier-ai-native.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) 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 ` 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