Schemas y snapshots

Sella el catálogo de eventos

Cada tipo de evento durable tiene un nombre portable, una versión positiva de schema, JSON canónico limitado y una identidad estable de mapper. Sellar valida el catálogo completo antes de que cualquier payload pueda entrar en un reducer tipado.

kind

Identidad estable de evento controlada por la aplicación

version

Versión exacta del schema incluida en el envelope

mapper

Identidad determinista de admisión value-to-type

limits

Tipos, bytes de payload, profundidad y pares de determinismo limitados

Haz upcast sólo entre versiones adyacentes

Un payload v1 llega a v3 sólo mediante edges explícitos v1-a-v2 y v2-a-v3. Gaps, edges entre tipos distintos, pasos duplicados, salida no determinista o un upcast posterior al schema actual fallan al sellar el catálogo.

task.created/v1 --title-to-priority/1--> task.created/v2
task.created/v2 --priority-to-origin/1--> task.created/v3

Vincula la identidad del snapshot

Un snapshot de proyección vincula el content head exacto de eventos, digest del conjunto de schemas sellado, identidad del reducer, identidad y configuración del codec, bytes canónicos del estado y formato del snapshot. Su SHA-256 protege integridad; no establece autoridad remota.

Restaura de forma fail-closed

1. 01

   Verificar

   Decodifica bytes limitados y verifica digest y formato del snapshot

2. 02

   Comparar

   Exige el contrato actual exacto de schemas, reducer, codec y content head

3. 03

   Reproducir

   Aplica únicamente el tail contiguo exacto posterior al cursor capturado

4. 04

   Comparar

   Prueba que snapshot-tail y replay desde genesis producen estado canónico idéntico