{
  "change_comparison": "tla-values-function-extensional-v1",
  "edges": [],
  "evidence_id": "reference-profile/ref-inspection-timing-assertions",
  "input_manifest_sha256": "f0df4091a373122a9be4ccfaa3bc6895bce2df003eea077feea02800dfa7a4c3",
  "kind": "normalized-trace",
  "provenance": "counterexample",
  "raw_receipt_sha256": "d8c3ed5930e2fb94d7b8e933e6fa6ef640c3c83c1ca6b2f27ceeff258bc1f746",
  "run_id": "ref-inspection-timing-assertions",
  "schema_version": 2,
  "states": [],
  "value_pool": [
    {
      "items": [],
      "kind": "set"
    },
    {
      "fields": {
        "action": 0,
        "state": 0
      },
      "kind": "record"
    }
  ]
}