{
  "change_comparison": "tla-values-function-extensional-v1",
  "edges": [],
  "evidence_id": "identity/ordinary",
  "input_manifest_sha256": "7b551331382b7a65fb4dcca7ffbef38cfa953807befbb2472bd9039fe2f73b7b",
  "kind": "normalized-trace",
  "provenance": "counterexample",
  "raw_receipt_sha256": "7b6ecc2bc45636100e5a6dd87d9e144dbc1943d181eb4190c71943ccb07efec1",
  "run_id": "ordinary",
  "schema_version": 1,
  "states": []
}