{
  "change_comparison": "tla-values-function-extensional-v1",
  "edges": [],
  "evidence_id": "payment/zero-empty-wallet",
  "input_manifest_sha256": "f25d31eca9f7d00b9561f2e29e15e615f25726e4a7790a562cfd7b700f5f9e97",
  "kind": "normalized-trace",
  "provenance": "counterexample",
  "raw_receipt_sha256": "1de56250f8f033a5445079aaf29f2a1bb63d9c95554a1ed6fe728168a410b126",
  "run_id": "zero-empty-wallet",
  "schema_version": 1,
  "states": []
}