{
  "change_comparison": "tla-values-function-extensional-v1",
  "edges": [
    {
      "from": 1,
      "kind": "forward",
      "metadata": {
        "fields": {
          "location": {
            "fields": {
              "beginColumn": {
                "kind": "integer",
                "value": "8"
              },
              "beginLine": {
                "kind": "integer",
                "value": "17"
              },
              "endColumn": {
                "kind": "integer",
                "value": "28"
              },
              "endLine": {
                "kind": "integer",
                "value": "22"
              },
              "module": {
                "kind": "string",
                "value": "AtomicPayment"
              }
            },
            "kind": "record"
          },
          "name": {
            "kind": "string",
            "value": "Pay"
          }
        },
        "kind": "record"
      },
      "name": "Pay",
      "to": 2
    },
    {
      "from": 2,
      "kind": "forward",
      "metadata": {
        "fields": {
          "location": {
            "fields": {
              "beginColumn": {
                "kind": "integer",
                "value": "13"
              },
              "beginLine": {
                "kind": "integer",
                "value": "24"
              },
              "endColumn": {
                "kind": "integer",
                "value": "48"
              },
              "endLine": {
                "kind": "integer",
                "value": "27"
              },
              "module": {
                "kind": "string",
                "value": "AtomicPayment"
              }
            },
            "kind": "record"
          },
          "name": {
            "kind": "string",
            "value": "Complete"
          }
        },
        "kind": "record"
      },
      "name": "Complete",
      "to": 3
    }
  ],
  "evidence_id": "payment/witness-positive",
  "input_manifest_sha256": "f25d31eca9f7d00b9561f2e29e15e615f25726e4a7790a562cfd7b700f5f9e97",
  "kind": "normalized-trace",
  "provenance": "witness",
  "raw_receipt_sha256": "3be679476886943bf6d788799ca7dd67c3593eb2f31dee95edfbaf23f59036cc",
  "run_id": "witness-positive",
  "schema_version": 1,
  "states": [
    {
      "changed": [],
      "ordinal": 1,
      "representation_changed": [],
      "values": {
        "available": {
          "kind": "integer",
          "value": "3"
        },
        "declined": {
          "kind": "boolean",
          "value": false
        },
        "paid": {
          "kind": "boolean",
          "value": false
        },
        "pending": {
          "kind": "boolean",
          "value": false
        }
      }
    },
    {
      "changed": [
        "available",
        "paid",
        "pending"
      ],
      "ordinal": 2,
      "representation_changed": [
        "available",
        "paid",
        "pending"
      ],
      "values": {
        "available": {
          "kind": "integer",
          "value": "1"
        },
        "declined": {
          "kind": "boolean",
          "value": false
        },
        "paid": {
          "kind": "boolean",
          "value": true
        },
        "pending": {
          "kind": "boolean",
          "value": true
        }
      }
    },
    {
      "changed": [
        "pending"
      ],
      "ordinal": 3,
      "representation_changed": [
        "pending"
      ],
      "values": {
        "available": {
          "kind": "integer",
          "value": "1"
        },
        "declined": {
          "kind": "boolean",
          "value": false
        },
        "paid": {
          "kind": "boolean",
          "value": true
        },
        "pending": {
          "kind": "boolean",
          "value": false
        }
      }
    }
  ]
}