Un manifiesto de paquete de evidencia nombra la exportación sellada, el alcance del tenant, los artefactos retenidos, la raíz Merkle, los enlaces a registros y los anclajes de integridad. Úselo cuando una exportación de Evidence Room se traslada entre KLA y un verificador sin conexión.
Especificación del paquete · evidence-room-bundle-v1 · formato de manifiesto 1.0
01
El JSON Schema y los archivos sintéticos se sirven desde URL de artefactos v1 inmutables. El paquete de producción mantiene bundle.json y manifest.json como archivos separados.
/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
El exportador escribe un directorio con un resumen, un manifiesto, un JWS separado, claves públicas incrustadas, una prueba de sello de tiempo, un anclaje de ledger y los artefactos exportados.
<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
Los campos obligatorios provienen del contrato actual de paquete sellado. Los campos condicionales aparecen cuando el productor registra el alcance o el detalle de Evidence Factory correspondiente. Los campos opcionales aportan contexto adicional de la exportación.
| Campo | Estado | Propósito |
|---|---|---|
| formatVersion | Obligatorio | Selecciona el formato de manifiesto sellado; el productor actual emite 1.0. |
| bundleSpec | Obligatorio | Identifica evidence-room-bundle-v1. |
| exportId | Obligatorio | Vincula el manifiesto a una exportación. |
| tenantId | Obligatorio | Indica el alcance de tenant que lleva la exportación. |
| createdAt | Obligatorio | Registra cuándo se creó el registro de exportación. |
| exporter.name | Obligatorio | Identifica el exportador que produjo el paquete. |
| exporter.version | Obligatorio | Identifica la versión del exportador. |
| export.exportId | Obligatorio | Debe coincidir con el exportId de nivel superior. |
| export.tenantId | Obligatorio | Debe coincidir con el tenantId de nivel superior. |
| export.environment | Obligatorio | Registra la etiqueta del entorno de origen. |
| export.platformVersion | Obligatorio | Registra la versión de la plataforma proporcionada por el productor. |
| export.requestedBy | Obligatorio | Registra la referencia del solicitante de la exportación. |
| export.requestedAt | Obligatorio | Registra la hora de la solicitud de exportación. |
| export.sealedAt | Obligatorio | Registra cuándo se escribió el sello. |
| export.traceIds | Obligatorio | Lleva las referencias de traza asociadas a la exportación. |
| export.policySnapshots | Obligatorio | Lleva las referencias de instantáneas de políticas seleccionadas por el exportador. |
| Campo | Estado | Propósito |
|---|---|---|
| artifacts[] | Obligatorio | Enumera cada artefacto exportado cubierto por la raíz Merkle. |
| artifacts[].path | Obligatorio | Resuelve el artefacto dentro del directorio del paquete. |
| artifacts[].sha256 | Obligatorio | Indica el digest SHA-256 de los bytes del artefacto. |
| artifacts[].bytes or sizeBytes | Obligatorio | Permite al verificador comparar el tamaño declarado con el archivo. |
| artifacts[].contentType | Obligatorio | Describe el tipo de contenido del archivo exportado. |
| artifacts[].class | Opcional | Etiqueta una clase de artefacto como execution-evidence o artifact-index. |
| artifacts[].provenance | Opcional | Lleva metadatos de procedencia del productor para el artefacto. |
| artifacts[].createdAt | Opcional | Registra cuándo se creó el artefacto. |
| artifacts[].source | Opcional | Vincula el artefacto a un tipo de origen y una referencia. |
| record.decisionRequestId | Opcional | Vincula el paquete a la solicitud de decisión que lo gobierna. |
| record.executionId | Opcional | Vincula el paquete a una ejecución. |
| record.lineageRecordId | Opcional | Vincula el paquete al linaje de ejecución. |
| scope | Opcional | Describe la población de la exportación o el límite temporal cuando se proporciona. |
| profile | Opcional | Registra el perfil de evidencia seleccionado por el productor: full, redacted o minimal. |
| omissions | Opcional | Registra las omisiones declaradas. |
| redactions | Opcional | Registra los metadatos de redacción declarados. |
| Campo | Estado | Propósito |
|---|---|---|
| merkle.algorithm | Obligatorio | Identifica kla-merkle-v1. |
| merkle.rootSha256 | Obligatorio | Se compromete con el conjunto ordenado de rutas y digests de artefactos. |
| integrity.manifestHashAlgo | Obligatorio | Identifica SHA-256 para el digest del manifiesto. |
| integrity.manifestHash | Obligatorio | Almacena el digest hexadecimal sin procesar del manifiesto normalizado. |
| integrity.signatureAlgo | Obligatorio | Identifica el algoritmo de firma del manifiesto, actualmente ES256. |
| integrity.signaturePayload | Obligatorio | Indica que la carga útil de la firma es MANIFEST_HASH. |
| integrity.signingKeyId | Obligatorio | Identifica la referencia de la clave de firma del productor. |
| integrity.anchors[] | Obligatorio | Enumera los registros de anclaje de sello de tiempo y de ledger. |
| evidenceFactory.request.requestedArtifacts | Condicional | Determina si receipt-signatures y ledger-hash-chain son obligatorias. |
| evidenceFactory.contractVersion | Condicional | Identifica el contrato de solicitud de Evidence Factory cuando se incrusta una solicitud de factory. |
| evidenceFactory.request.tenantId | Condicional | Lleva la vinculación de tenant para la solicitud de Evidence Factory incrustada. |
| evidenceFactory.request.actor | Condicional | Identifica el actor humano o de servicio que solicitó la exportación de factory. |
| evidenceFactory.request.source | Condicional | Identifica la superficie de KLA que solicitó la exportación de factory. |
| evidenceFactory.request.scope | Condicional | Lleva la cronología y los selectores usados para la exportación de factory. |
| evidenceFactory.request.redactionProfile | Condicional | Indica el perfil de redacción de la exportación de factory. |
| evidenceFactory.request.idempotencyKey | Condicional | Lleva la clave de idempotencia de la solicitud. |
04
Este manifiesto sintético usa el mismo identificador de exportación y los mismos enlaces a registros que la referencia de ejecución completa. El resumen del paquete complementario repite los valores de sello que compara el verificador.
{
"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
El verificador de producción trata los bytes del paquete y los manifiestos como entrada no confiable y falla de forma cerrada cuando una comprobación obligatoria falla. El procedimiento tiene seis comprobaciones con nombre.
manifest-signature
Normaliza el manifiesto, calcula el digest JCS/SHA-256, compara los resúmenes del manifiesto y del paquete, comprueba la carga útil separada, valida las firmas ES256 de SEK y TEK contra claves incrustadas no revocadas y valida las rutas de anclaje declaradas.
receipt-signatures
Cuando hay material de gobernanza EvidenceEntry[] presente, verifica las firmas de recibo Ed25519, las claves incrustadas, el estado de revocación y los enlaces prevReceiptHash. El material de recibo sin firmar sigue la ruta explícita de recibo sin firmar del verificador.
ledger-hash-chain
Cuando hay material de gobernanza EvidenceEntry[] presente, recalcula los hashes de los registros del ledger, aplica las transformaciones de redacción registradas, comprueba los hashes de las entradas y exige un único componente de ledger conectado.
merkle-inclusion
Resuelve cada ruta declarada dentro del paquete, compara el tamaño del archivo y el SHA-256, recalcula kla-merkle-v1, comprueba las pruebas de inclusión cuando se proporcionan y compara la raíz y el recuento de artefactos con bundle.json.
ots-anchor
Analiza timestamp.ots, comprueba su compromiso SHA-256 contra el digest del manifiesto y acepta una prueba de calendario pendiente o una atestación de Bitcoin dentro del límite de confianza del verificador sin conexión.
pii-absence
Se ejecuta solo cuando el llamante proporciona marcadores prohibidos. Escanea los archivos del paquete como bytes, informa los digests de marcadores enmascarados y falla cuando un archivo listado o el manifiesto no puede leerse.
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
Estas fuentes del repositorio definen el productor, el contrato del manifiesto, el verificador y las comprobaciones individuales descritas aquí.
| Contract | Repository source path | Mapping | Status |
|---|---|---|---|
| BundleManifest / BundleJson | packages/evidence-verifier/src/types.ts | Define las formas de manifiesto, resumen, artefacto, anclaje, registro, JWS, JWKS, comprobación y verificación. | Fuente actual |
| Contrato de manifiesto sellado | packages/evidence-contract/src/index.ts | Valida los campos obligatorios del productor: formatVersion, exportación, artefactos, Merkle, registro e integridad. | Fuente actual |
| Productor del paquete | services/evidence-exporter/src/export-api.ts | Escribe bundle.json, manifest.json, el JWS separado, el JWKS, la prueba OTS, el anclaje de ledger y el índice de artefactos. | Productor actual |
| Orquestación de la verificación | packages/evidence-verifier/src/verifier.ts | Carga bytes no confiables, elige las comprobaciones condicionales y falla de forma cerrada en todo el conjunto de resultados aplicable. | Verificador actual |
| Comprobaciones de manifiesto y Merkle | packages/evidence-verifier/src/checks/manifest-signature.ts; packages/evidence-verifier/src/checks/merkle-inclusion.ts | Verifica la coherencia de digest/firmas/resumen y los bytes, rutas, tamaños, hashes y raíz de los artefactos. | Comprobaciones actuales |
| Comprobaciones de evidencia y anclajes | 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 la evidencia condicional de recibos y ledger, además de OTS y los escaneos opcionales de marcadores. | Comprobaciones actuales |
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 es el resumen breve del sello. manifest.json es el manifiesto completo de exportación con entradas de artefactos, enlaces a registros, metadatos de alcance y anclajes de integridad. El verificador compara sus identificadores compartidos, el digest, la raíz Merkle y el recuento de artefactos.
El verificador las exige cuando la evidence factory solicita execution-evidence o raw-evidence, cuando falta el campo requested-artifacts, o cuando hay archivos de evidencia o errores de carga de evidencia presentes. Un paquete sin esas señales recibe resultados explícitos de no obligatorio para las dos comprobaciones.
El manifiesto vincula la exportación a su tenant declarado y a sus referencias de registros. Las decisiones de autorización y aislamiento de tenants las evalúan los servicios que crean y exponen los registros. El verificador del paquete comprueba la coherencia interna y la integridad del paquete sellado.
Cambia el sha256 de un artefacto manteniendo la raíz Merkle y el digest del manifiesto originales. El manifiesto sigue siendo estructuralmente válido, mientras que la comparación de digests falla. Una verificación completa en disco también compara la declaración modificada con los bytes del artefacto y la raíz Merkle.
Las comprobaciones sin conexión analizan los archivos locales de sello de tiempo y de anclaje de ledger. La comprobación OTS puede reconocer estructuras de prueba pendientes o atestadas en Bitcoin. La confirmación por red pertenece a un procedimiento operativo separado.
Start with the action request, policy decision, approval, and audit event schemas. Then inspect the complete execution record and evidence-room sample.