53 lines
1.3 KiB
JSON
53 lines
1.3 KiB
JSON
{
|
|
"v": 1,
|
|
"kind": "aere-conformance-vector",
|
|
"id": "envelope/execution.integrity",
|
|
"artifact": "envelope",
|
|
"title": "execution: statement.inputHash changed after hashing",
|
|
"source": "derived from envelope/execution.valid",
|
|
"requires": [],
|
|
"exercises": [
|
|
"envelope.form",
|
|
"envelope.integrity"
|
|
],
|
|
"base": "envelope/execution.valid",
|
|
"mutation": {
|
|
"op": "set",
|
|
"path": [
|
|
"envelope",
|
|
"statement",
|
|
"inputHash"
|
|
],
|
|
"value": "0x582967534d0f909d196b97f9e6921342777aea87b46fa52df165389db1fb8ccf0"
|
|
},
|
|
"input": {
|
|
"envelope": {
|
|
"v": 1,
|
|
"kind": "aere-proof-of-execution-attestation",
|
|
"statement": {
|
|
"v": 1,
|
|
"kind": "aere-proof-of-execution",
|
|
"inputHash": "0x582967534d0f909d196b97f9e6921342777aea87b46fa52df165389db1fb8ccf0",
|
|
"outputHash": "0x762069bc07a6e1b5df123a5ae7bd91c10daa04694fbaa17fba0cd6a8dcce8f22",
|
|
"programSha256": null,
|
|
"program": "aere-node",
|
|
"exitCode": 0,
|
|
"createdAt": "2026-09-26T00:00:00Z"
|
|
},
|
|
"statementHash": "0x06a106c24b5fd8cfc7ed0cee3dc6401c720c394566ad3d7ca899f9640414fc8e"
|
|
}
|
|
},
|
|
"expected": {
|
|
"verdict": "INVALID",
|
|
"failed": [
|
|
"envelope.integrity"
|
|
],
|
|
"levels": {
|
|
"integrity": "FAILED",
|
|
"authenticity": "NOT_MEASURED",
|
|
"anchoring": "NOT_MEASURED",
|
|
"finality": "NOT_MEASURED"
|
|
}
|
|
}
|
|
}
|