Un checkpoint verificándose a sí mismo
Un checkpoint es el registro firmado que deja una sesión — cada línea en él se gana su clase.
Cada afirmación se vuelve a comprobar contra el transcript antes de llegar a tu agente.
Verificado significa que daimon encontró esta cita exacta en tu transcript — comparada tras normalizar mayúsculas, espacios y formato, con tramos elididos permitidos. Es una comprobación mecánica, no una afirmación de verdad.
repetición del checkpoint
$ daimon checkpoint · verifying 23 claims…
"retry cap is 30s" L214 verbatim
"port is 8080" no match inferred
"flag renamed" code changed stale
… 20 more claims
signed ed25519 · sig 7e4c…02d1
19 verified, 3 downgraded, 1 flagged
Cómo un ítem demuestra lo que dice
at write time
verbatim "port is 8080"
transcript line 87 · sig 9f3c…a41b
21 days later
inferred "port is 8080"
quote no longer matches · downgraded automatically
- clase
- se gana al comprobarla, nunca se auto-declara
- palabras exactas
- citadas del transcript, no parafraseadas
- receipt
- el número de línea y la firma que puedes consultar
Todo lo de arriba se puede comprobar offline — sin confiar en nosotros, ni en el modelo, ni en esta página.
uv tool install daimon-briefingApache-2.0Solo stdlib de Pythonsincronización de equipo por gitv0.28.0 en PyPI