172 lines
5.2 KiB
JSON
172 lines
5.2 KiB
JSON
{
|
|
"v": 1,
|
|
"kind": "aere-conformance-vector",
|
|
"id": "payment-receipt/company-p1.amount",
|
|
"artifact": "payment-receipt",
|
|
"title": "the issuer wrote a USD amount that is not the amount at the declared rate, and committed to it",
|
|
"source": "derived from payment-receipt/company-p1.valid",
|
|
"requires": [],
|
|
"exercises": [
|
|
"envelope.form",
|
|
"envelope.integrity",
|
|
"receipt.amount",
|
|
"receipt.binding",
|
|
"receipt.chain",
|
|
"receipt.policy",
|
|
"receipt.risk"
|
|
],
|
|
"base": "payment-receipt/company-p1.valid",
|
|
"mutation": {
|
|
"producer": "instruction.amountUsd changed by the issuer; instructionHash and statementHash recomputed with the published formulas",
|
|
"changed": [
|
|
[
|
|
"receipt",
|
|
"instruction",
|
|
"amountUsd"
|
|
],
|
|
[
|
|
"receipt",
|
|
"envelope",
|
|
"statement",
|
|
"instructionHash"
|
|
],
|
|
[
|
|
"receipt",
|
|
"envelope",
|
|
"statementHash"
|
|
]
|
|
]
|
|
},
|
|
"input": {
|
|
"receipt": {
|
|
"instruction": {
|
|
"v": 1,
|
|
"kind": "aere-payment-receipt-instruction",
|
|
"chainId": 28001,
|
|
"payer": "0x86d6c68408ddb2cc0d1cf4dfd6e07d3830600faf",
|
|
"payee": "0x5c5dc3eb504affbb15d0237fd0bff509840ebf64",
|
|
"asset": "native",
|
|
"decimals": 18,
|
|
"amount": "400000000000000000",
|
|
"amountUsd": "0.300000",
|
|
"rate": {
|
|
"usdPerUnit": "0.5",
|
|
"source": "declared by the payee for this test (28001 has no market price; tAERE is a test asset)",
|
|
"at": "2026-10-02T17:16:44.549Z"
|
|
},
|
|
"txHash": "0xfd50a39264c2498e675edeaa45622b93244bb72b0f384380bc20840e3bb19cb6",
|
|
"blockHash": "0x3c2fc5e4071a6ddcc4b5f843d142dbaeaa7019edf9ceee45fe51a0365dd0c102",
|
|
"risk": {
|
|
"policyId": "payee-company-28001-2026-10-02",
|
|
"policyHash": "0x49c2478b8a5a5bc30dbfc8d2a10e1365126f1b10bc94beb67d678cd02d5bf390",
|
|
"inputsHash": "0xfc4cf1b16150c6a614c2184cd88673aa2b13b7fd6b56ec0bff1ec835b83afe13",
|
|
"verdictHash": "0xf3ed4242b45057c3569846e9168bab453702206578250810732351ce7f196f66",
|
|
"decision": "ALLOW",
|
|
"unmeasured": [
|
|
"sanctions screening: no source consulted",
|
|
"identity or verification tier of the payer: none",
|
|
"device, session or location of the payer: none",
|
|
"chargeback or fraud history: none",
|
|
"the payer's payments outside this issuer's own receipts: none"
|
|
]
|
|
},
|
|
"purpose": "test purchase P1",
|
|
"issuedAt": "2026-10-02T17:16:49.250Z"
|
|
},
|
|
"envelope": {
|
|
"v": 1,
|
|
"kind": "aere-proof-of-settlement-attestation",
|
|
"statement": {
|
|
"v": 1,
|
|
"kind": "aere-proof-of-settlement",
|
|
"instructionHash": "0xc4db90629b3b687ba33e84c9023071813e092ba31721c7a46525105a79bd7cf7",
|
|
"txHash": "0xfd50a39264c2498e675edeaa45622b93244bb72b0f384380bc20840e3bb19cb6",
|
|
"blockHash": "0x3c2fc5e4071a6ddcc4b5f843d142dbaeaa7019edf9ceee45fe51a0365dd0c102",
|
|
"chainId": 28001,
|
|
"from": "0x86d6c68408ddb2cc0d1cf4dfd6e07d3830600faf",
|
|
"to": "0x5c5dc3eb504affbb15d0237fd0bff509840ebf64",
|
|
"amount": "400000000000000000",
|
|
"asset": "native",
|
|
"createdAt": "2026-10-02T17:16:49.250Z"
|
|
},
|
|
"statementHash": "0x72453042118342af8e9220b6072dc25c48c4e518213aa7b29b9f823dbdf9c0c8"
|
|
}
|
|
},
|
|
"policy": {
|
|
"v": 1,
|
|
"kind": "aere-payment-risk-policy",
|
|
"id": "payee-company-28001-2026-10-02",
|
|
"currency": "USD",
|
|
"perPaymentMaxUsd": "1.000000",
|
|
"window": {
|
|
"seconds": 86400,
|
|
"maxUsd": "2.500000",
|
|
"maxCount": 3
|
|
},
|
|
"allowedAssets": [
|
|
{
|
|
"chainId": 28001,
|
|
"asset": "native",
|
|
"decimals": 18
|
|
}
|
|
],
|
|
"refusedCounterparties": [
|
|
{
|
|
"address": "0x0000000000000000000000000000000000000000",
|
|
"reason": "the zero address: funds sent there are unrecoverable",
|
|
"source": "measured on every EVM chain"
|
|
},
|
|
{
|
|
"address": "0x4145d6f639436d840957f2d4b9f2e73f34f56b5d",
|
|
"reason": "a contract that only pays out through its own job flow (AereComputeMarketV3 on 28001): a plain transfer to it is lost",
|
|
"source": "tools/aere-market-settlement/desfasurare-28001.json"
|
|
},
|
|
{
|
|
"address": "0x70099e62735500aa2f85b60c518551a57b202d54",
|
|
"reason": "a contract with no path to withdraw what is sent to it (AereNotary on 28001)",
|
|
"source": "contracts/deployments/notary-28001.json"
|
|
}
|
|
],
|
|
"requireRate": true
|
|
},
|
|
"inputs": {
|
|
"chainId": 28001,
|
|
"payer": "0x86d6c68408ddb2cc0d1cf4dfd6e07d3830600faf",
|
|
"payee": "0x5c5dc3eb504affbb15d0237fd0bff509840ebf64",
|
|
"asset": "native",
|
|
"amount": "400000000000000000",
|
|
"rate": {
|
|
"usdPerUnit": "0.5",
|
|
"source": "declared by the payee for this test (28001 has no market price; tAERE is a test asset)",
|
|
"at": "2026-10-02T17:16:44.549Z"
|
|
},
|
|
"identity": null,
|
|
"history": [],
|
|
"now": 1790961406
|
|
},
|
|
"tx": {
|
|
"from": "0x86d6c68408ddb2cc0d1cf4dfd6e07d3830600faf",
|
|
"to": "0x5c5dc3eb504affbb15d0237fd0bff509840ebf64",
|
|
"value": "0x58d15e176280000",
|
|
"blockHash": "0x3c2fc5e4071a6ddcc4b5f843d142dbaeaa7019edf9ceee45fe51a0365dd0c102"
|
|
},
|
|
"txReceipt": {
|
|
"status": "0x1",
|
|
"blockHash": "0x3c2fc5e4071a6ddcc4b5f843d142dbaeaa7019edf9ceee45fe51a0365dd0c102"
|
|
},
|
|
"chain": 28001
|
|
},
|
|
"expected": {
|
|
"verdict": "INVALID",
|
|
"failed": [
|
|
"receipt.amount"
|
|
],
|
|
"levels": {
|
|
"integrity": "FAILED",
|
|
"authenticity": "NOT_MEASURED",
|
|
"anchoring": "NOT_MEASURED",
|
|
"finality": "NOT_MEASURED"
|
|
}
|
|
}
|
|
}
|