88 lines
2.4 KiB
JSON
88 lines
2.4 KiB
JSON
{
|
|
"v": 1,
|
|
"kind": "aere-conformance-vector",
|
|
"id": "audit-inclusion/entry-2.inclusion-index",
|
|
"artifact": "audit-inclusion",
|
|
"title": "the proof is for another index than the entry shown",
|
|
"source": "derived from audit-inclusion/entry-2.valid",
|
|
"requires": [],
|
|
"exercises": [
|
|
"audittree.head-form",
|
|
"audittree.head-hash",
|
|
"audittree.inclusion-entry",
|
|
"audittree.inclusion-envelope",
|
|
"audittree.inclusion-head",
|
|
"audittree.inclusion-index",
|
|
"audittree.inclusion-leaf",
|
|
"audittree.inclusion-path",
|
|
"audittree.proof-form"
|
|
],
|
|
"base": "audit-inclusion/entry-2.valid",
|
|
"mutation": {
|
|
"op": "set",
|
|
"path": [
|
|
"proof",
|
|
"index"
|
|
],
|
|
"value": 3
|
|
},
|
|
"input": {
|
|
"proof": {
|
|
"v": 1,
|
|
"kind": "aere-audit-inclusion-proof",
|
|
"entry": {
|
|
"seq": 2,
|
|
"prev": "0xfa923655dd1c178a0474df55d6cd29d47724fa83324fc471ac5a07fdc12e7640",
|
|
"proof": {
|
|
"v": 1,
|
|
"kind": "aere-proof-of-time-attestation",
|
|
"statement": {
|
|
"v": 1,
|
|
"kind": "aere-proof-of-time",
|
|
"subjectHash": "0xe12e3d24bc08d052711daa489e746297af597599f2726d945c1d6309427b9394",
|
|
"source": "aere-anchor",
|
|
"at": "2026-09-26T00:00:00Z",
|
|
"createdAt": "2026-09-26T00:00:00Z"
|
|
},
|
|
"statementHash": "0xbd803c1eae1875ac755df34e94e9cb20e30c12fe3c02b0c7c4cfe677040ecd31"
|
|
},
|
|
"hash": "0x5d38e31c21e00f88cbf0cc720348916df6a0d09a3c4155c6e3de556a637c6b95"
|
|
},
|
|
"index": 3,
|
|
"treeSize": 6,
|
|
"leafHash": "0x0ff7bae0e5ae531ac0295c9edaa99ffa38d95827d3df225977d68c1dddb80212",
|
|
"path": [
|
|
"0xbe3d3351dc873bc8f912a5a1083efd1572f2b9537a89d918e986ca5ee83b06f7",
|
|
"0xb39cb026e638f9697949ddad41bd806b75a544189212669202778031310781cd",
|
|
"0xcad95aa6e05f32ddc81346332708fa309c18ff2a4338ab8baeab1dfd4fa09166"
|
|
],
|
|
"rootHash": "0x5cdd233d08ed23a9c7d89b54cfa1a126e706e086c3915d309be32ccbef2019ab"
|
|
},
|
|
"head": {
|
|
"v": 1,
|
|
"kind": "aere-audit-tree-head-attestation",
|
|
"statement": {
|
|
"v": 1,
|
|
"kind": "aere-audit-tree-head",
|
|
"host": "conformance",
|
|
"treeSize": 6,
|
|
"rootHash": "0x5cdd233d08ed23a9c7d89b54cfa1a126e706e086c3915d309be32ccbef2019ab",
|
|
"createdAt": "2026-10-03T00:00:00Z"
|
|
},
|
|
"statementHash": "0x88786be2e0d61dc753a9653fbbd424c83a31a44cdb72097bfc7a3e0c1c0b4598"
|
|
}
|
|
},
|
|
"expected": {
|
|
"verdict": "INVALID",
|
|
"failed": [
|
|
"audittree.inclusion-index"
|
|
],
|
|
"levels": {
|
|
"integrity": "FAILED",
|
|
"authenticity": "NOT_MEASURED",
|
|
"anchoring": "NOT_MEASURED",
|
|
"finality": "NOT_MEASURED"
|
|
}
|
|
}
|
|
}
|