Arxi Bàsics
Els sistemes són fiables quan es pot reproduir la seva història i verificar la seva integritat. L'automatització és poderosa, però les seves pistes d'execució són fràgils i difícils de provar. Arxi recrea aquestes garanties per a qualsevol sistema que travessi fronteres de confiança sense alentir el sistema.
Això ho fa a través de tres conceptes que es fonamenten uns en els altres: les Envelopes defineixen el que ha passat, les Cadenes demostren la seqüència, i els Paquets fan que l’evidència sigui portable.
Tres conceptes clau
Sobre les Envelopes (Com es Registren els Esdeveniments)
Cada esdeveniment de límit es captura com un sobre d’evidència. Cada sobre conté el tipus d’esdeveniment, la identitat de l’actor, les marques de temps, els IDs de correlació, un càrrec tipificat i adjunts opcionals. Els sobres són la unitat atòmica d’evidència—estructurada prou per a fer consultes, completa prou per a verificar.
{
"envelope_id": "env-a7f3",
"event_type": "tool.call",
"actor_id": "agent:planner",
"capture_time": "2025-01-15T10:30:00Z",
"payload": { "tool": "run_tests", "exit_code": 0 },
"prev_hash": "sha256:9c1e..."
}
Un sobre d’evidència: qui va fer què, quan, amb un enllaç criptogràfic a la cadena.
Per què és important: deixes de suposar el que ha passat i comences a demostrar-ho. Els sobres d’evidència converteixen “l’agent va executar alguna cosa” en proves estructurades i consultables amb procedència.
Cadenes (Com es Manté la Integritat)
Els sobres no floten; estan enllaçats en cadenes de hash. Cada sobre fa referència al hash del seu predecessor, de manera que la seqüència és evidentment manipulable. Les cadenes s’organitzen en segments que poden ser segellats (fets immutables). Un cop segellat, la integritat d’un segment es pot verificar des del cap de cadena fins al primer sobre.
{
"segment_id": "seg-001",
"status": "sealed",
"envelope_count": 42,
"chain_head": "sha256:d4e5...",
"seal_time": "2025-01-15T11:00:00Z"
}
Un segment segellat: 42 sobres, integritat verificable mitjançant la cadena de hash.
Per què és important: les cadenes converteixen una col·lecció d’esdeveniments en una seqüència que és evidentment manipulable. Si qualsevol sobre és alterat, eliminat o reordenat, la cadena es trenca, i la verificació ho detecta.
Paquets (Com s’intercanvia l’evidència)
Els paquets són instantànies immutables i portàtils d’evidència. Contenen cadenes d’envelopes seleccionades, adjunts necessaris i un manifest de verificació amb hashes. Els paquets són la unitat d’intercanvi: n’hi pots entregar un a un sistema de decisió, a un auditor o a un magatzem d’arxiu i es pot verificar de manera independent.
{
"bundle_id": "bun-001",
"segments": ["seg-001"],
"attachment_count": 3,
"manifest_hash": "sha256:f8a1...",
"verification": { "phases_passed": 7, "verdict": "valid" }
}
Un paquet d’evidències: autònom, verificable fora de línia i portàtil entre sistemes.
Per què és important: els paquets converteixen registres interns en proves externes. Es poden verificar fora de línia, compartir a través de fronteres de confiança i arxivar per a compliment—sense confiar en el sistema font.
A continuació, vegeu com apareixen aquests conceptes en fluxos de treball reals en Arxi Examples.
Aprendre més
- Referència de l’Arxi CLI — Operacions de gravació, consulta i paquet
- Model d’Envolup d’Evidència — Especificació completa de l’envolup
- Verificació de Paquet — Pipeline de verificació offline en 7 fases
- Integració amb Decision Gate — Governança de bucle tancat