{
  "environment": "local EVM, chain 31337; REAL Groth16 proofs, candidate ceremony; not public deployment",
  "createdAt": "2026-10-02T10:58:14.451Z",
  "results": [
    {
      "name": "new pool starts with deposits closed until explicitly activated",
      "passed": true,
      "ms": 109
    },
    {
      "name": "encrypted wallet round trip and wrong-password rejection",
      "passed": true,
      "ms": 203
    },
    {
      "name": "Groth16 deposit verification on EVM, fees and backed liability",
      "passed": true,
      "ms": 13049
    },
    {
      "name": "duplicate deposit commitment rejected",
      "passed": true,
      "ms": 569
    },
    {
      "name": "deposit cannot be redirected to another depositor",
      "passed": true,
      "ms": 31
    },
    {
      "name": "deposit proof cannot cross chain or pool",
      "passed": true,
      "ms": 31
    },
    {
      "name": "invalid proof, nullifier and minimum output rejected",
      "passed": true,
      "ms": 645
    },
    {
      "name": "solver underpayment reverts the entire trade",
      "passed": true,
      "ms": 837
    },
    {
      "name": "real proof settles trade, outputs are recoverable encrypted notes",
      "passed": true,
      "ms": 15984
    },
    {
      "name": "same note cannot be spent twice",
      "passed": true,
      "ms": 33
    },
    {
      "name": "changing the withdrawal recipient invalidates the proof",
      "passed": true,
      "ms": 604
    },
    {
      "name": "encrypted recovery data cannot be replaced by relayer",
      "passed": true,
      "ms": 39
    },
    {
      "name": "deposit pause does not block owner withdrawal via third-party relayer",
      "passed": true,
      "ms": 13652
    },
    {
      "name": "spent trade note cannot also be withdrawn with another valid proof",
      "passed": true,
      "ms": 2579
    },
    {
      "name": "witness generation rejects overspending and incorrect Merkle path",
      "passed": true,
      "ms": 78
    },
    {
      "name": "fixed-router adapter rejects malformed route with full rollback",
      "passed": true,
      "ms": 629
    },
    {
      "name": "V2 adapter settles exact output, clears allowance and pays only surplus to executor",
      "passed": true,
      "ms": 16634
    },
    {
      "name": "expired proof is rejected before funds move",
      "passed": true,
      "ms": 2431
    },
    {
      "name": "all live pool token balances equal liabilities after the cycle",
      "passed": true,
      "ms": 62
    }
  ],
  "gas": {
    "depositVerifier": "466607",
    "spendVerifier": "800637",
    "Poseidon2": "2157126",
    "TestToken": "486211",
    "GeniusPool": "3209788",
    "TestSolver": "292989",
    "deposit": "1210151",
    "trade": "1958765",
    "withdraw": "1202096",
    "TestRouter": "226626",
    "GeniusV2Solver": "727387",
    "v2Trade": "1966018"
  },
  "artifactSha256": "7b4ca8c5879091d16202ae4b42cf5dcf18424f578408380f4b65eeb18c7399f4",
  "publicDeployment": false
}