Un manifeste de dossier de preuves nomme l’export scellé, le périmètre du locataire, les artefacts conservés, la racine de Merkle, les liens d’enregistrement et les ancrages d’intégrité. Utilisez-le lorsqu’un export Evidence Room circule entre KLA et un vérificateur hors ligne.
Bundle spécifique · Evidence Room-dossier-v1 · manifeste formats 1.0 et 1.1
01
Le JSON Schema et synthétique fichiers sont servest depuis immuable v1 artefact URLs. Le productisur dossier conserver dossier.json et manifeste.json comme desttdanscte fichiers.
/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 Valid manifest example (format 1.1)A populated format 1.1 manifest whose declared omissions are sealed in artifacts/omissions/omissions.jsonl and referenced through omissionsArtifact./ai-agent-evidence-bundle-manifest/v1/examples/bundle-manifest-synthetic-1-1.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
Le exportateur écrit un réperàire avec un résumé, manifeste, détaché JWS, intégré public clés, houodsurnéesge preuve, ledger ancrage, et exporté artefcommesur.
<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
Champs obligatoires proviennent depuis le actuel scellé-dossier contrat. conditionnel Champs appear lorsque le producteur enregistre le correspondant périmètre ou preuves-facultatif détail. Facultatif Champs poutent supplémentaire export contexte.
| Champ | Statut | finalité |
|---|---|---|
| formatVersion | obligatoire | Sélectionne le format du manifeste scellé : 1.0 inclut les omissions, 1.1 les scelle dans artifacts/omissions/omissions.jsonl. Le producteur actuel émet 1.1. |
| bundleSpec | obligatoire | Identifie Evidence Room-dossier-v1. |
| exportId | obligatoire | Bdansds le manifeste à un export. |
| tenantId | obligatoire | indique le locataire périmètre carried par le export. |
| createdAt | obligatoire | enregistre lorsque le export enregistrement était créé. |
| exporter.name | obligatoire | Identifie le exportateur cela produced le dossier. |
| exporter.version | obligatoire | Identifie le exportateur version. |
| export.exportId | obligatoire | faireit agree avec le àp-level exportId. |
| export.tenantId | obligatoire | faireit agree avec le àp-level tenantId. |
| export.environment | obligatoire | enregistre le source environnement libellé. |
| export.platformVersion | obligatoire | enregistre le platpourm version fourni par le producteur. |
| export.requestedBy | obligatoire | enregistre le export Demeteer référence. |
| export.requestedAt | obligatoire | enregistre le export demande temps. |
| export.sealedAt | obligatoire | enregistre lorsque le scellement était écrit. |
| export.traceIds | obligatoire | Peut trace références associé avec le export. |
| export.policySnapshots | obligatoire | Peut politique snapshot références selected par le exportateur. |
| Champ | Statut | finalité |
|---|---|---|
| artifacts[] | obligatoire | Lestts chaque exporté artefact csured par le Merkle root. |
| artifacts[].path | obligatoire | Resolves le artefact dans le dossier réperàire. |
| artifacts[].sha256 | obligatoire | indique le SHA-256 empreinte de le artefact parties. |
| artifacts[].bytes or sizeBytes | obligatoire | Lets le vérificateur compare le déclaré size avec le fichier. |
| artifacts[].contentType | obligatoire | Describes le exporté fichier contiennent type. |
| artifacts[].class | Facultatif | Libellés un artefact clcommes such comme exécution-preuves ou artefact-dansdex. |
| artifacts[].provenance | Facultatif | Peut producteur prouvernance métadonnées pour le artefact. |
| artifacts[].createdAt | Facultatif | enregistre lorsque le artefact était créé. |
| artifacts[].source | Facultatif | Liens le artefact à un source type et référence. |
| record.decisionRequestId | Facultatif | Liens le dossier à le régirdansg décision demande. |
| record.executionId | Facultatif | Liens le dossier à un exécution. |
| record.lineageRecordId | Facultatif | Liens le dossier à exécution ldanseage. |
| scope | Facultatif | Describes le export populatisur ou temps périmètre lorsque fourni. |
| profile | Facultatif | enregistre le preuves prdeichier selected par le producteur: complet, redacted, ou minimal. |
| omissions | Facultatif | enregistre déclaré omestsisurs. |
| redactions | Facultatif | enregistre déclaré redactisur métadonnées. |
| Champ | Statut | finalité |
|---|---|---|
| merkle.algorithm | obligatoire | Identifie kla-merkle-v1. |
| merkle.rootSha256 | obligatoire | Commssur à le souted artefact chemin et empreinte set. |
| integrity.manifestHashAlgo | obligatoire | Identifie SHA-256 pour le manifeste empreinte. |
| integrity.manifestHash | obligatoire | Sàues le brutes hexadecimal empreinte de le noumalesté manifeste. |
| integrity.signatureAlgo | obligatoire | Identifie le manifeste signature algouithm, currently ES256. |
| integrity.signaturePayload | obligatoire | indique cela le signature charge utile est MANIFEST_HASH. |
| integrity.signingKeyId | obligatoire | Identifie le producteur signdansg-clé référence. |
| integrity.anchors[] | obligatoire | Lestts houodsurnéesge et ledger ancrage enregistre. |
| evidenceFactory.request.requestedArtifacts | conditionnel | Drives si receipt-signatures et ledger-hachage-chadans sont obligatoire. |
| evidenceFactory.contractVersion | conditionnel | Identifie le Preuves Facàuy demande contrat lorsque un facultatif demande est intégré. |
| evidenceFactory.request.tenantId | conditionnel | Peut le locataire bdansddansg pour le intégré Preuves Facàuy demande. |
| evidenceFactory.request.actor | conditionnel | Identifie le humain ou service acàu cela demande le facultatif export. |
| evidenceFactory.request.source | conditionnel | Identifie le KLA surface cela demande le facultatif export. |
| evidenceFactory.request.scope | conditionnel | Peut le chrsurojournaly et selecàus utilisé pour le facultatif export. |
| evidenceFactory.request.redactionProfile | conditionnel | indique le facultatif export redactisur prdeichier. |
| evidenceFactory.request.idempotencyKey | conditionnel | Peut le demande idempotency clé. |
04
Ce synthétique manifeste utileste le même export identifier et liens d’enregistrement comme le complet exécution référence. Le comparateur dossier résumé repeats le scellement valeurs cela le vérificateur compare.
{
"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
Le productisur vérificateur treats dossier parties et manifestes comme untrusted entrée et échoue immédiatement lorsque un obligatoire vérifier échoue. Le procédure comporte six nommé vérifie.
manifeste-signature
noumalesters le manifeste, computes le JCS/SHA-256 empreinte, compare le manifeste et dossier résumés, vérifie le détaché charge utile, validé ES256 SEK et TEK signatures par rappout à intégré nsur-revoked clés, et validé déclaré ancrage chemins.
receipt-signatures
Lousque gouvernance preuvesEntry[] éléments est présent, vérifie Ed25519 receipt signatures, intégré clés, revocatisur état, et prevReceiptHash liens. Unsigné receipt éléments suit le vérificateur’s explicite unsigné-receipt chemin.
ledger-hachage-chadans
Lousque gouvernance preuvesEntry[] éléments est présent, recomputes ledger enregistrement hachages, applies Enregesttrered redactisur transpourms, vérifie entry hachages, et exige un csurnected ledger compsurent.
merkle-inclusion
Resolves chaque déclaré chemin dans le dossier, compare fichier size et SHA-256, recomputes kla-merkle-v1, vérifie inclusion preuves lorsque fourni, et compare le root et artefact nombre avec dossier.json.
ots-ancrage
Parses timestamp.ots, vérifie son SHA-256 commitment par rappout à le manifeste empreinte, et accepte un en attente calendar preuve ou un Bitcoin attestatisur avecdans le hors ligne vérificateur’s trust périmètre.
pii-absence
Runs seulement lorsque le appeler fournit pourbidden markers. Il speuts dossier fichiers comme parties, rappoute mcommeked marker empreintes, et échoue lorsque un lestted fichier ou le manifeste ne peut peut être lecture.
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
Ces reposiàuy sources défdansir le producteur, manifeste contrat, vérificateur, et dansdividual vérifie décrit here.
| Contract | Repository source path | Mapping | Status |
|---|---|---|---|
| Bundlemanifeste / BundleJssur | packages/evidence-verifier/src/types.ts | défdansirs manifeste, résumé, artefact, ancrage, enregistrement, JWS, JWKS, vérifier, et Vérification structures. | Current source |
| scellé manifeste contrat | packages/evidence-contract/src/index.ts | validé le producteur’s obligatoire formatVersion, export, artefact, Merkle, enregistrement, et intégrité Champs. | Current source |
| Bundle producteur | services/evidence-exporter/src/export-api.ts | Écrit dossier.json, manifeste.json, détaché JWS, JWKS, OTS preuve, ledger ancrage, et artefact dansdex. | Current producer |
| Vérification ouchestratisur | packages/evidence-verifier/src/verifier.ts | Loads untrusted parties, chooses conditionnel vérifie, et échoue immédiatement across le applicable résultat set. | Current verifier |
| manifeste et Merkle vérifie | packages/evidence-verifier/src/checks/manifest-signature.ts; packages/evidence-verifier/src/checks/merkle-inclusion.ts | Vérifie empreinte/signatures/résumé csursesttency et artefact parties, chemins, sizes, hachages, et root. | Current checks |
| Preuves et ancrage vérifie | 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 | Vérifie conditionnel receipt et ledger preuves plus OTS et opt-dans marker speuts. | Current checks |
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.
dossier.json est le court scellement résumé. manifeste.json est le complet export manifeste avec artefact entrées, liens d’enregistrement, périmètre métadonnées, et intégrité ancrages. Le vérificateur compare leur partagé identifiants, empreinte, Merkle root, et artefact nombre.
Le vérificateur exige les lorsque le preuves facultatif demande exécution-preuves ou brutes-preuves, lorsque le demande-artefcommesur Champ est manquant, ou lorsque preuves fichiers ou preuves-loaddansg erreurs sont présent. Un dossier sans ces signaux reçoit explicite peut-obligatoire résultats pour le deux vérifie.
Le manifeste consigne le export à son déclaré locataire et enregistrement références. Authouizatisur et locataire-isolation décestisurs sont évalué par le services cela créer et expose le enregistre. Le dossier vérificateur vérifie le scellé dossier’s dansternal csursesttency et intégrité.
Il modifie un artefact sha256 tout en csurserverdansg le original Merkle root et manifeste empreinte. Le manifeste reste structurally validé, tout en empreinte comparesàn échoue. Un complet disque Vérification également compare le modifié declaratisur avec le artefact parties et Merkle root.
Le hors ligne vérifie parse le local houodsurnéesge et ledger-ancrage fichiers. Le OTS vérifier peut recsurnaître en attente ou Bitcoin-attested preuve structures. Réseau csurfirmatisur relève à un desttdanscte opératisurnelle procédure.
Start with the action request, policy decision, approval, and audit event schemas. Then inspect the complete execution record and evidence-room sample.