Un manifest del bundle di evidenze identifica l’esportazione sigillata, l’ambito del tenant, gli artefatti conservati, la radice Merkle, i collegamenti ai record e gli ancoraggi di integrità. Usalo quando un’esportazione dalla evidence room passa tra KLA e un verificatore offline.
Specifica del bundle · evidence-room-bundle-v1 · formato manifest 1.0
01
Lo schema JSON e i file sintetici sono serviti da URL immutabili degli artefatti v1. Il bundle di produzione conserva bundle.json e manifest.json come file separati.
/ai-agent-evidence-bundle-manifest/v1/schema.jsonDownload Bundle summary exampleThe bundle.json top-level seal summary for the valid synthetic export./ai-agent-evidence-bundle-manifest/v1/examples/bundle-json-synthetic.jsonDownload Valid manifest exampleA populated manifest linked to the audit execution record example./ai-agent-evidence-bundle-manifest/v1/examples/bundle-manifest-synthetic.jsonDownload Tampered manifest exampleOne artifact digest changed while the sealed digest and Merkle root remain stale./ai-agent-evidence-bundle-manifest/v1/examples/bundle-manifest-synthetic-tampered.jsonDownload 02
L’esportatore scrive una directory con un riepilogo, il manifest, JWS separato, chiavi pubbliche incorporate, prova con marca temporale, ancoraggio nel registro e artefatti esportati.
<bundle-dir>/ bundle.json manifest.json manifest.jws.json keys/jwks.json timestamp.ots ledger_anchor.json artifacts/exports/... artifacts/index/artifact_index.json
03
I campi obbligatori provengono dal contratto corrente del bundle sigillato. I campi condizionali compaiono quando il produttore registra l’ambito corrispondente o il dettaglio di Evidence Factory. I campi facoltativi aggiungono contesto all’esportazione.
| Campo | Stato | Scopo |
|---|---|---|
| formatVersion | Obbligatorio | Seleziona il formato del manifest sigillato; il produttore corrente emette 1.0. |
| bundleSpec | Obbligatorio | Identifica evidence-room-bundle-v1. |
| exportId | Obbligatorio | Associa il manifest a una sola esportazione. |
| tenantId | Obbligatorio | Indica l’ambito del tenant incluso nell’esportazione. |
| createdAt | Obbligatorio | Registra quando è stato creato il record di esportazione. |
| exporter.name | Obbligatorio | Identifica l’esportatore che ha prodotto il bundle. |
| exporter.version | Obbligatorio | Identifica la versione dell’esportatore. |
| export.exportId | Obbligatorio | Deve corrispondere a exportId di primo livello. |
| export.tenantId | Obbligatorio | Deve corrispondere a tenantId di primo livello. |
| export.environment | Obbligatorio | Registra l’etichetta dell’ambiente di origine. |
| export.platformVersion | Obbligatorio | Registra la versione della piattaforma fornita dal produttore. |
| export.requestedBy | Obbligatorio | Registra il riferimento al richiedente dell’esportazione. |
| export.requestedAt | Obbligatorio | Registra l’ora della richiesta di esportazione. |
| export.sealedAt | Obbligatorio | Registra quando è stato scritto il sigillo. |
| export.traceIds | Obbligatorio | Contiene riferimenti di tracciamento associati all’esportazione. |
| export.policySnapshots | Obbligatorio | Contiene riferimenti alle istantanee delle policy selezionate dall’esportatore. |
| Campo | Stato | Scopo |
|---|---|---|
| artifacts[] | Obbligatorio | Elenca ogni artefatto esportato coperto dalla radice Merkle. |
| artifacts[].path | Obbligatorio | Risolve l’artefatto nella directory del bundle. |
| artifacts[].sha256 | Obbligatorio | Indica il digest SHA-256 dei byte dell’artefatto. |
| artifacts[].bytes or sizeBytes | Obbligatorio | Consente al verificatore di confrontare la dimensione dichiarata con il file. |
| artifacts[].contentType | Obbligatorio | Descrive il tipo di contenuto del file esportato. |
| artifacts[].class | Facoltativo | Etichetta una classe di artefatti come execution-evidence o artifact-index. |
| artifacts[].provenance | Facoltativo | Contiene metadati di provenienza del produttore per l’artefatto. |
| artifacts[].createdAt | Facoltativo | Registra quando è stato creato l’artefatto. |
| artifacts[].source | Facoltativo | Collega l’artefatto a un tipo e a un riferimento di origine. |
| record.decisionRequestId | Facoltativo | Collega il bundle alla richiesta di decisione che lo governa. |
| record.executionId | Facoltativo | Collega il bundle a un’esecuzione. |
| record.lineageRecordId | Facoltativo | Collega il bundle alla lineage dell’esecuzione. |
| scope | Facoltativo | Descrive la popolazione dell’esportazione o il limite temporale, se fornito. |
| profile | Facoltativo | Registra il profilo di evidenze selezionato dal produttore: completo, con redazioni o minimo. |
| omissions | Facoltativo | Registra le omissioni dichiarate. |
| redactions | Facoltativo | Registra i metadati di redazione dichiarati. |
| Campo | Stato | Scopo |
|---|---|---|
| merkle.algorithm | Obbligatorio | Identifica kla-merkle-v1. |
| merkle.rootSha256 | Obbligatorio | Impegna l’insieme ordinato di percorsi e digest degli artefatti. |
| integrity.manifestHashAlgo | Obbligatorio | Identifica SHA-256 per il digest del manifest. |
| integrity.manifestHash | Obbligatorio | Memorizza il digest esadecimale grezzo del manifest normalizzato. |
| integrity.signatureAlgo | Obbligatorio | Identifica l’algoritmo di firma del manifest, attualmente ES256. |
| integrity.signaturePayload | Obbligatorio | Indica che il payload della firma è MANIFEST_HASH. |
| integrity.signingKeyId | Obbligatorio | Identifica il riferimento alla chiave di firma del produttore. |
| integrity.anchors[] | Obbligatorio | Elenca i record di ancoraggio temporale e del registro. |
| evidenceFactory.request.requestedArtifacts | Condizionale | Determina se receipt-signatures e ledger-hash-chain sono obbligatori. |
| evidenceFactory.contractVersion | Condizionale | Identifica il contratto di richiesta Evidence Factory quando una richiesta della factory è incorporata. |
| evidenceFactory.request.tenantId | Condizionale | Contiene l’associazione al tenant per la richiesta Evidence Factory incorporata. |
| evidenceFactory.request.actor | Condizionale | Identifica l’attore umano o di servizio che ha richiesto l’esportazione della factory. |
| evidenceFactory.request.source | Condizionale | Identifica la superficie KLA che ha richiesto l’esportazione della factory. |
| evidenceFactory.request.scope | Condizionale | Contiene la cronologia e i selettori usati per l’esportazione della factory. |
| evidenceFactory.request.redactionProfile | Condizionale | Indica il profilo di redazione dell’esportazione della factory. |
| evidenceFactory.request.idempotencyKey | Condizionale | Contiene la chiave di idempotenza della richiesta. |
04
Questo manifest sintetico usa lo stesso identificatore di esportazione e gli stessi collegamenti ai record del riferimento di esecuzione completo. Il riepilogo complementare del bundle ripete i valori del sigillo confrontati dal verificatore.
{
"bundle": {
"exportId": "bundle_manifest_synthetic_20260721_01",
"tenantId": "tenant_synthetic_001",
"manifestDigestSha256": "1bae725ba61cf55f94310e37ee491d3d52145d98da8580df63e0b91fa9968117",
"merkleRootSha256": "cb170b4d42403ed97c4818a723ebd93607902a84159deb4555357bc73a432102",
"artifactCount": 2
},
"manifest": {
"formatVersion": "1.0",
"bundleSpec": "evidence-room-bundle-v1",
"record": {
"decisionRequestId": "dr_01JZ8V4Q4N9K6T2D5B3M7X1S0E",
"executionId": "run_01JZ8V4K2D9A6N3P7M5R1C8X0E",
"lineageRecordId": "lin_01JZ8V4R8A2C6N9Q3S5D7M1T0E"
},
"artifacts": [
{
"path": "artifacts/exports/evidence-export-synthetic.json",
"sha256": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
"bytes": 128,
"sizeBytes": 128,
"contentType": "application/json",
"class": "execution-evidence",
"source": {
"type": "synthetic",
"ref": "run_01JZ8V4K2D9A6N3P7M5R1C8X0E"
}
},
{
"path": "artifacts/index/artifact_index.json",
"sha256": "bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb",
"bytes": 64,
"sizeBytes": 64,
"contentType": "application/json",
"class": "artifact-index",
"source": {
"type": "synthetic",
"ref": "bundle_manifest_synthetic_20260721_01"
}
}
],
"integrity": {
"manifestHashAlgo": "SHA-256",
"manifestHash": "1bae725ba61cf55f94310e37ee491d3d52145d98da8580df63e0b91fa9968117",
"signatureAlgo": "ES256",
"signaturePayload": "MANIFEST_HASH",
"signingKeyId": "sample-key-sek-synthetic-01",
"anchors": [
{
"type": "immudb",
"status": "NOT_PRESENT",
"reason": "IMMUDB_DISABLED",
"ledger": "immudb",
"proofPath": "ledger_anchor.json",
"valueHash": ""
},
{
"type": "ots",
"status": "PRESENT",
"proofPath": "timestamp.ots"
}
]
}
}
}Valid seal values
The manifest digest is 1bae725ba61cf55f94310e37ee491d3d52145d98da8580df63e0b91fa9968117. The Merkle root is cb170b4d42403ed97c4818a723ebd93607902a84159deb4555357bc73a432102.
Cross-reference
The record fields and export identifier connect this file to the complete sanitized execution record and its evidence.manifest_ref.
05
Il verificatore di produzione tratta i byte del bundle e i manifest come input non attendibile e interrompe la verifica quando un controllo obbligatorio non riesce. La procedura prevede sei controlli identificati.
manifest-signature
Normalizza il manifest, calcola il digest JCS/SHA-256, confronta i riepiloghi del manifest e del bundle, controlla il payload separato, convalida le firme ES256 SEK e TEK rispetto alle chiavi incorporate non revocate e convalida i percorsi di ancoraggio dichiarati.
receipt-signatures
Quando è presente materiale di governance EvidenceEntry[], verifica le firme delle ricevute Ed25519, le chiavi incorporate, lo stato di revoca e i collegamenti prevReceiptHash. Il materiale delle ricevute senza firma segue il percorso esplicito per ricevute non firmate del verificatore.
ledger-hash-chain
Quando è presente materiale di governance EvidenceEntry[], ricalcola gli hash dei record del registro, applica le trasformazioni di redazione registrate, controlla gli hash delle voci e richiede un componente del registro connesso.
merkle-inclusion
Risolve ogni percorso dichiarato all’interno del bundle, confronta dimensione del file e SHA-256, ricalcola kla-merkle-v1, controlla le prove di inclusione quando fornite e confronta radice e numero di artefatti con bundle.json.
ots-anchor
Analizza timestamp.ots, confronta il suo impegno SHA-256 con il digest del manifest e accetta una prova di calendario in sospeso o un’attestazione Bitcoin entro il confine di attendibilità del verificatore offline.
pii-absence
Viene eseguito solo quando il chiamante fornisce marcatori vietati. Analizza i file del bundle come byte, riporta digest mascherati dei marcatori e non riesce quando un file elencato o il manifest non può essere letto.
The declared digest reproduces from the normalized manifest. The declared Merkle root is computed from the two sorted artifact entries. A complete on-disk bundle supplies the bytes and detached signatures for the remaining checks.
The tampered file changes one artifact sha256 from the valid example while retaining the original manifest digest and Merkle root. The manifest remains schema-valid. Digest comparison fails, and the full merkle-inclusion check also compares the declaration with the artifact bytes.
06
Queste sorgenti del repository definiscono il produttore, il contratto del manifest, il verificatore e i singoli controlli descritti qui.
| Contract | Repository source path | Mapping | Status |
|---|---|---|---|
| BundleManifest / BundleJson | packages/evidence-verifier/src/types.ts | Definisce le strutture per manifest, riepilogo, artefatto, ancoraggio, record, JWS, JWKS, controllo e verifica. | Sorgente corrente |
| Contratto del manifest sigillato | packages/evidence-contract/src/index.ts | Convalida i campi obbligatori del produttore per formatVersion, esportazione, artefatto, Merkle, record e integrità. | Sorgente corrente |
| Produttore del bundle | services/evidence-exporter/src/export-api.ts | Scrive bundle.json, manifest.json, JWS separato, JWKS, prova OTS, ancoraggio nel registro e indice degli artefatti. | Produttore corrente |
| Orchestrazione della verifica | packages/evidence-verifier/src/verifier.ts | Carica byte non attendibili, sceglie i controlli condizionali e interrompe la verifica sull’insieme di risultati applicabile. | Verificatore corrente |
| Controlli del manifest e Merkle | packages/evidence-verifier/src/checks/manifest-signature.ts; packages/evidence-verifier/src/checks/merkle-inclusion.ts | Verifica coerenza di digest, firme e riepilogo e i byte, percorsi, dimensioni, hash e radice degli artefatti. | Controlli correnti |
| Controlli delle evidenze e degli ancoraggi | packages/evidence-verifier/src/checks/receipt-signatures.ts; packages/evidence-verifier/src/checks/ledger-hash-chain.ts; packages/evidence-verifier/src/checks/ots-anchor.ts; packages/evidence-verifier/src/checks/pii-absence.ts | Verifica le evidenze condizionali di ricevute e registro, oltre a OTS e alle scansioni facoltative dei marcatori. | Controlli correnti |
Implementation source
The links above point to the current repository contract, exporter, and verifier. The documentation-layer reference helper lives at /ai-agent-evidence-bundle-manifest/v1/verify.ts; the production procedure remains the package verifier.
07
The implementation boundary stays visible in the answers below.
bundle.json è il breve riepilogo del sigillo. manifest.json è il manifest completo dell’esportazione con voci degli artefatti, collegamenti ai record, metadati dell’ambito e ancoraggi di integrità. Il verificatore confronta gli identificatori condivisi, il digest, la radice Merkle e il numero di artefatti.
Il verificatore li richiede quando la evidence factory richiede execution-evidence o raw-evidence, quando manca il campo requested-artifacts oppure quando sono presenti file di evidenze o errori di caricamento delle evidenze. Un bundle senza questi segnali riceve risultati espliciti non obbligatori per i due controlli.
Il manifest associa l’esportazione al tenant dichiarato e ai riferimenti ai record. Le decisioni di autorizzazione e isolamento del tenant sono valutate dai servizi che creano ed espongono i record. Il verificatore del bundle controlla la coerenza interna e l’integrità del bundle sigillato.
Modifica uno sha256 di un artefatto mantenendo la radice Merkle e il digest del manifest originali. Il manifest resta strutturalmente valido, mentre il confronto del digest non riesce. Una verifica completa su disco confronta anche la dichiarazione modificata con i byte dell’artefatto e la radice Merkle.
I controlli offline analizzano i file locali di timestamp e ancoraggio nel registro. Il controllo OTS può riconoscere strutture di prova in sospeso o attestate da Bitcoin. La conferma di rete appartiene a una procedura operativa separata.
Start with the action request, policy decision, approval, and audit event schemas. Then inspect the complete execution record and evidence-room sample.