{
  "receipts": [
    {
      "note": "HwShunt with no measured figure (SPEC §6.3)",
      "receipt": {
        "unit_id": "b3:Yha3Hy8AxgaMLIuoKJj9r05w640VEZsn4OJMAUPV0r8",
        "tier": "S5",
        "devices": [
          {
            "class": "Gpu",
            "measured_uj": null,
            "estimated_uj": 1,
            "provenance": "HwShunt"
          }
        ],
        "total": {
          "measured_uj": null,
          "estimated_uj": 1
        },
        "sequence": 1,
        "nonce": [
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ]
      }
    },
    {
      "note": "Estimator carrying a measured figure (SPEC §6.3)",
      "receipt": {
        "unit_id": "b3:Yha3Hy8AxgaMLIuoKJj9r05w640VEZsn4OJMAUPV0r8",
        "tier": "S5",
        "devices": [
          {
            "class": "Cpu",
            "measured_uj": 1,
            "estimated_uj": 1,
            "provenance": "Estimator"
          }
        ],
        "total": {
          "measured_uj": null,
          "estimated_uj": 1
        },
        "sequence": 1,
        "nonce": [
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ]
      }
    },
    {
      "note": "total estimated_uj does not equal the device sum (SPEC §6.2)",
      "receipt": {
        "unit_id": "b3:Yha3Hy8AxgaMLIuoKJj9r05w640VEZsn4OJMAUPV0r8",
        "tier": "S5",
        "devices": [
          {
            "class": "Cpu",
            "measured_uj": null,
            "estimated_uj": 10,
            "provenance": "Estimator"
          }
        ],
        "total": {
          "measured_uj": null,
          "estimated_uj": 999
        },
        "sequence": 1,
        "nonce": [
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ]
      }
    },
    {
      "note": "all classes measured but no measured total (SPEC §6.2 coverage)",
      "receipt": {
        "unit_id": "b3:Yha3Hy8AxgaMLIuoKJj9r05w640VEZsn4OJMAUPV0r8",
        "tier": "S5",
        "devices": [
          {
            "class": "Cpu",
            "measured_uj": 5,
            "estimated_uj": 5,
            "provenance": "HwShunt"
          }
        ],
        "total": {
          "measured_uj": null,
          "estimated_uj": 5
        },
        "sequence": 1,
        "nonce": [
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ]
      }
    }
  ],
  "attestations": [
    {
      "note": "run metered a Gpu the attestation does not name (SPEC §7.2)",
      "attestation": {
        "unit_id": "b3:Yha3Hy8AxgaMLIuoKJj9r05w640VEZsn4OJMAUPV0r8",
        "image_id": "b3:Ain_feyKNl9zAINdF1SUhm1G5W_sMw2tM809yT3zwW0",
        "grants_id": "b3:ONvIj2bsKw-2Kqe43mNV_3c0rrHTA3Df8xyM6D4ybnY",
        "tier": "S5",
        "devices": [
          {
            "class": "Cpu",
            "model": "cpu",
            "driver": "host"
          }
        ],
        "receipt_id": "b3:CQidQA-fhZylXoZmjHEKDohzmbL9CfOq7P2ZRPmnJpU",
        "journal_root": null,
        "outcome": "Completed",
        "tee": null,
        "locality": null,
        "audit_prev": null,
        "host_id": "host-1",
        "started_at_us": 1000,
        "finished_at_us": 2000
      },
      "receipt_classes": [
        "Cpu",
        "Gpu"
      ]
    },
    {
      "note": "S6 attestation without TEE evidence (SPEC §7.6)",
      "attestation": {
        "unit_id": "b3:Yha3Hy8AxgaMLIuoKJj9r05w640VEZsn4OJMAUPV0r8",
        "image_id": "b3:Ain_feyKNl9zAINdF1SUhm1G5W_sMw2tM809yT3zwW0",
        "grants_id": "b3:ONvIj2bsKw-2Kqe43mNV_3c0rrHTA3Df8xyM6D4ybnY",
        "tier": "S6",
        "devices": [
          {
            "class": "Cpu",
            "model": "Generic x86_64",
            "driver": "firecracker"
          },
          {
            "class": "Gpu",
            "model": "NVIDIA H100",
            "driver": "vfio"
          }
        ],
        "receipt_id": "b3:CQidQA-fhZylXoZmjHEKDohzmbL9CfOq7P2ZRPmnJpU",
        "journal_root": null,
        "outcome": "Completed",
        "tee": null,
        "locality": null,
        "audit_prev": null,
        "host_id": "host-1",
        "started_at_us": 1000,
        "finished_at_us": 2000
      },
      "receipt_classes": [
        "Cpu",
        "Gpu"
      ]
    }
  ],
  "journals": [
    {
      "note": "replay diverges at entry 1 (SPEC §8)",
      "recorded": {
        "entries": [
          {
            "HostCall": {
              "name": "kv_get",
              "args_hash": [
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1
              ],
              "result_hash": [
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2
              ]
            }
          },
          {
            "TimerFired": {
              "at_us": 1000
            }
          },
          {
            "Checkpoint": {
              "state_hash": [
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3
              ]
            }
          }
        ]
      },
      "replayed": {
        "entries": [
          {
            "HostCall": {
              "name": "kv_get",
              "args_hash": [
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1
              ],
              "result_hash": [
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2
              ]
            }
          },
          {
            "TimerFired": {
              "at_us": 9999
            }
          },
          {
            "Checkpoint": {
              "state_hash": [
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3
              ]
            }
          }
        ]
      }
    },
    {
      "note": "replay is a strict prefix — truncated (SPEC §8)",
      "recorded": {
        "entries": [
          {
            "HostCall": {
              "name": "kv_get",
              "args_hash": [
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1
              ],
              "result_hash": [
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2
              ]
            }
          },
          {
            "TimerFired": {
              "at_us": 1000
            }
          },
          {
            "Checkpoint": {
              "state_hash": [
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3,
                3
              ]
            }
          }
        ]
      },
      "replayed": {
        "entries": [
          {
            "HostCall": {
              "name": "kv_get",
              "args_hash": [
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1,
                1
              ],
              "result_hash": [
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2,
                2
              ]
            }
          },
          {
            "TimerFired": {
              "at_us": 1000
            }
          }
        ]
      }
    }
  ],
  "grant_mutations": [
    {
      "note": "an accelerator added mid-run changes grants_id (SPEC §1.2)",
      "before": {
        "compute": {
          "devices": [
            "Cpu"
          ],
          "energy_budget_uj": 0,
          "cpu_time_ms": 0,
          "memory_bytes": 0
        },
        "storage": {
          "read": [],
          "write": [],
          "delete": []
        },
        "network": {
          "outbound": [],
          "inbound": false
        },
        "kv": {
          "read": false,
          "write": false,
          "prefixes": []
        },
        "host": {
          "logging": false,
          "clock": false,
          "random": false,
          "inference": false
        },
        "process": {
          "exec": false,
          "programs": [],
          "max_processes": 0
        },
        "browser": {
          "enabled": false,
          "origins": [],
          "headless": false
        },
        "display": {
          "enabled": false,
          "vnc": false,
          "max_width": 0,
          "max_height": 0
        }
      },
      "after": {
        "compute": {
          "devices": [
            "Cpu",
            "Gpu"
          ],
          "energy_budget_uj": 0,
          "cpu_time_ms": 0,
          "memory_bytes": 0
        },
        "storage": {
          "read": [],
          "write": [],
          "delete": []
        },
        "network": {
          "outbound": [],
          "inbound": false
        },
        "kv": {
          "read": false,
          "write": false,
          "prefixes": []
        },
        "host": {
          "logging": false,
          "clock": false,
          "random": false,
          "inference": false
        },
        "process": {
          "exec": false,
          "programs": [],
          "max_processes": 0
        },
        "browser": {
          "enabled": false,
          "origins": [],
          "headless": false
        },
        "display": {
          "enabled": false,
          "vnc": false,
          "max_width": 0,
          "max_height": 0
        }
      }
    }
  ]
}