{
 "about": "A receipt the sealed room (Room v2) signed for a run of the sealed sample on aarloven.com on 4 Oct 2026, with the document AWS's Nitro hardware made for it. Check it on https://aarloven.com/trust#check-aws or with trust/live-run.mjs's code.",
 "nonce": "8fa02d05c292e6139ee00f86c841096fce4eb3720a9e13c6a6c020d2b46baa76",
 "receipt": {
  "v": "aarloven.receipt.v2",
  "verdict": "pass",
  "clause_results": [
   "Yes",
   "Yes",
   "Yes"
  ],
  "H_ciphertext": "8904ccf2929fb68f7feb7e24bccf1bb86c50220e4cdfe3d2094565704e10b208",
  "H_input": "c2109f6b50c9188c383281ffb4d9d03b6a1c64065c426ad680cbf306cb5a9454",
  "H_result": "8f10267b19682b137cac55e832069c91466f612ad8f82b47e1553ca68164fde1",
  "model_hash": "74a4da8c9fdbcd15bd1f6d01d621410d31c6fc00986f5eb687824e7b93d7a9db",
  "request_nonce": "8fa02d05c292e6139ee00f86c841096fce4eb3720a9e13c6a6c020d2b46baa76",
  "prev": "5879ef191c017a1eb1ade5a9bb771c9c184d2b388210cb9ebc2b73b3fa78a43e",
  "signing_key": "dc1f56823aa0b85e7202563bd61afeb9761b46f587a9da8a19e72858cef615e5",
  "time": 1791147060
 },
 "receipt_sig_b64": "nr2ymHHgSPfWziXqcSbhsh3gmBOHI751t4DWSd6rLLgerD8VViDbxXzT5wiyAZE98F5tjuViFLJTbh0VEa3+BA==",
 "attestation_b64": "hEShATgioFkRbL9pbW9kdWxlX2lkeCdpLTBjMjY2MjY0MjQ4OWZkN2E3LWVuYzAxYTEwOGFkNzEzNzBlODVmZGlnZXN0ZlNIQTM4NGl0aW1lc3RhbXAbAAABoQivLGxkcGNyc7AAWDB6JLptRJHkuWfEwcgqTK4xrKehANbdZqvn6mhBb6ia8IXKfWafujIXuwHbrwEq0fUBWDBLTVs2YbPvwSkgkAyA4Sbkzng8Ui3mwCoqW/evOiuTJ7hndvGI5L4cHEBKEp29pJMCWDDbg8/Sj5gXpQFLWoU80G9WMqNeaMd5wNJss+2AWPRB4SsEpPzF1oaawUx47s1agz0DWDAyD6AOn2Ix0N2bRJpuu6gDc5TIaSpC3QffrpVMvpOLglW5iOPnfGchw4ZfKGiNmFkEWDBy76lk4XXfNHb7a3jKj+o2tt6PfRMj1rV03C2sDWDg0GWchM2CdNBeZSFJnaPlE5wFWDAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGWDAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAHWDAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIWDAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAJWDAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAKWDAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAALWDAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMWDAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANWDAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAOWDAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPWDAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABrY2VydGlmaWNhdGVZAoEwggJ9MIICA6ADAgECAhABoQitcTcOhQAAAABqwrvYMAoGCCqGSM49BAMDMIGPMQswCQYDVQQGEwJVUzETMBEGA1UECAwKV2FzaGluZ3RvbjEQMA4GA1UEBwwHU2VhdHRsZTEPMA0GA1UECgwGQW1hem9uMQwwCgYDVQQLDANBV1MxOjA4BgNVBAMMMWktMGMyNjYyNjQyNDg5ZmQ3YTcuZXUtbm9ydGgtMS5hd3Mubml0cm8tZW5jbGF2ZXMwHhcNMjYxMDA0MjA0OTI1WhcNMjYxMDA0MjM0OTI4WjCBlDELMAkGA1UEBhMCVVMxEzARBgNVBAgMCldhc2hpbmd0b24xEDAOBgNVBAcMB1NlYXR0bGUxDzANBgNVBAoMBkFtYXpvbjEMMAoGA1UECwwDQVdTMT8wPQYDVQQDDDZpLTBjMjY2MjY0MjQ4OWZkN2E3LWVuYzAxYTEwOGFkNzEzNzBlODUuZXUtbm9ydGgtMS5hd3MwdjAQBgcqhkjOPQIBBgUrgQQAIgNiAARQIx51ggpL7GzFRBS9WLo8KppirkCPBgUZ2wl2/DXzra4yeNZsMEDmiTrYH6ZtvvdR8mDc+uL5PO0IYdoK9RgIqxxXs24uR28f9S0py8UFeviGjjgW9Xb/gvJ53s1JRBijHTAbMAwGA1UdEwEB/wQCMAAwCwYDVR0PBAQDAgbAMAoGCCqGSM49BAMDA2gAMGUCMGgF2Jekx77cKd6uXWgEVUKwVmBlweX0mZBqaA/SjtURQuTeMJHmOMc8FJ1uykAongIxAKd3Imq1Go/mSQcv3t/es6XwSoOF6WXJqxh0669fAXe1X7K75eR4pMs2wGpKGCGz92hjYWJ1bmRsZYRZAhUwggIRMIIBlqADAgECAhEA+TF1aBuQr+EdRsy05Of4VjAKBggqhkjOPQQDAzBJMQswCQYDVQQGEwJVUzEPMA0GA1UECgwGQW1hem9uMQwwCgYDVQQLDANBV1MxGzAZBgNVBAMMEmF3cy5uaXRyby1lbmNsYXZlczAeFw0xOTEwMjgxMzI4MDVaFw00OTEwMjgxNDI4MDVaMEkxCzAJBgNVBAYTAlVTMQ8wDQYDVQQKDAZBbWF6b24xDDAKBgNVBAsMA0FXUzEbMBkGA1UEAwwSYXdzLm5pdHJvLWVuY2xhdmVzMHYwEAYHKoZIzj0CAQYFK4EEACIDYgAE/AJU66YIwfNocOKa2pC+RjgyknNuiUv/9nLZiURLUFHlNKSx9tvjwLxYGjK3sXYHDt4S1po/6iEbZudSz33R3QlfbxNw9BcIQ9ncEAEh5M9jASgJZkSHyXlihDBNxT/0o0IwQDAPBgNVHRMBAf8EBTADAQH/MB0GA1UdDgQWBBSQJbUN2QVH55bDlvpync+Zqd9LljAOBgNVHQ8BAf8EBAMCAYYwCgYIKoZIzj0EAwMDaQAwZgIxAKN/L5Ghyb1e57hifBaY0lUDjh8DQ/lbY6lijD05gJVFoR68vy47Vdiu7nG0w9at8wIxAKLzmxYFsnAopd1LoGm1AW5ltPvej+AGHWpTGX+c2vXZQ7xh/CvrA8tv7o0jAvPf9lkCwzCCAr8wggJFoAMCAQICEEhUBYqsunvnF3/VEEnnbMowCgYIKoZIzj0EAwMwSTELMAkGA1UEBhMCVVMxDzANBgNVBAoMBkFtYXpvbjEMMAoGA1UECwwDQVdTMRswGQYDVQQDDBJhd3Mubml0cm8tZW5jbGF2ZXMwHhcNMjYwOTI5MDcwNTAwWhcNMjYxMDE5MDgwNTAwWjBlMQswCQYDVQQGEwJVUzEPMA0GA1UECgwGQW1hem9uMQwwCgYDVQQLDANBV1MxNzA1BgNVBAMMLjhlNzUxNjUxYzk3ODNhNzYuZXUtbm9ydGgtMS5hd3Mubml0cm8tZW5jbGF2ZXMwdjAQBgcqhkjOPQIBBgUrgQQAIgNiAAT0AUVfghurkqC6NeL4mc17L3JQpQiVNPr3Sj6QJ4YNK8wvgZO/GAnzV6fK0fTzEGAENEMUbSjuP151uAq5zgulrDHIN0xiQlKubRLH/QJEieMtUMxr79CAMri7ZFEMvQSjgdUwgdIwEgYDVR0TAQH/BAgwBgEB/wIBAjAfBgNVHSMEGDAWgBSQJbUN2QVH55bDlvpync+Zqd9LljAdBgNVHQ4EFgQUiHZEiY+fyKwCUlWG8ok33RaU8hAwDgYDVR0PAQH/BAQDAgGGMGwGA1UdHwRlMGMwYaBfoF2GW2h0dHA6Ly9hd3Mtbml0cm8tZW5jbGF2ZXMtY3JsLnMzLmFtYXpvbmF3cy5jb20vY3JsL2FiNDk2MGNjLTdkNjMtNDJiZC05ZTlmLTU5MzM4Y2I2N2Y4NC5jcmwwCgYIKoZIzj0EAwMDaAAwZQIxAJeYjlK8Lb4jC+WklKe1S5jb0lubs0nzTY2+pVL9szsFi0QlmzhPVNrKIySfVi+UEgIwMV4jat7lSVqbN29fNp0T3BKY25Kf0FvnK5XU7A3QUL+i04lKDOOWpEdrIRsiCx0PWQMcMIIDGDCCAp6gAwIBAgIQGpVCHt4hgn+FVTTWH98avDAKBggqhkjOPQQDAzBlMQswCQYDVQQGEwJVUzEPMA0GA1UECgwGQW1hem9uMQwwCgYDVQQLDANBV1MxNzA1BgNVBAMMLjhlNzUxNjUxYzk3ODNhNzYuZXUtbm9ydGgtMS5hd3Mubml0cm8tZW5jbGF2ZXMwHhcNMjYxMDA0MDYzNTIyWhcNMjYxMDA5MjIzNTIxWjCBijE9MDsGA1UEAww0MzEwMjc4YThkMjcyZjg0Ni56b25hbC5ldS1ub3J0aC0xLmF3cy5uaXRyby1lbmNsYXZlczEMMAoGA1UECwwDQVdTMQ8wDQYDVQQKDAZBbWF6b24xCzAJBgNVBAYTAlVTMQswCQYDVQQIDAJXQTEQMA4GA1UEBwwHU2VhdHRsZTB2MBAGByqGSM49AgEGBSuBBAAiA2IABBgYhP136FPoSQed/bd1gD+JtMR2S4EgTeMK3m+WXLOvq/CWtwb13gnm1lSSNzFun+owHzDRwp6J61Y1iGcKgeGuWWPX3bAGnfTcbLya5zBDEBHBoQjb+1iN1DVfyQ3+f6OB7DCB6TASBgNVHRMBAf8ECDAGAQH/AgEBMB8GA1UdIwQYMBaAFIh2RImPn8isAlJVhvKJN90WlPIQMB0GA1UdDgQWBBTv1crDlfeeYCIAQePQUwKh4RA/CTAOBgNVHQ8BAf8EBAMCAYYwgYIGA1UdHwR7MHkwd6B1oHOGcWh0dHA6Ly9jcmwtZXUtbm9ydGgtMS1hd3Mtbml0cm8tZW5jbGF2ZXMuczMuZXUtbm9ydGgtMS5hbWF6b25hd3MuY29tL2NybC9kYWVkODllZi1lYjE4LTQyNjEtYmFmOC0zY2ZjYTBkYWQ3YTguY3JsMAoGCCqGSM49BAMDA2gAMGUCMBWK51LXn+DQ/5imEq3q40jodjvFwZ8T2zeBezt8+9SYF7t3nRhWE0yomBykNKb+PwIxAJeJ/HnHBIfpic4wc9JYpGWUZHVIb2ciE63DH5fuWXJpxrnTwpZiTdqtePAlOUyAclkCxTCCAsEwggJGoAMCAQICFH+sx03V92AawaFcRkJs4VomWz/FMAoGCCqGSM49BAMDMIGKMT0wOwYDVQQDDDQzMTAyNzhhOGQyNzJmODQ2LnpvbmFsLmV1LW5vcnRoLTEuYXdzLm5pdHJvLWVuY2xhdmVzMQwwCgYDVQQLDANBV1MxDzANBgNVBAoMBkFtYXpvbjELMAkGA1UEBhMCVVMxCzAJBgNVBAgMAldBMRAwDgYDVQQHDAdTZWF0dGxlMB4XDTI2MTAwNDEwMjIyMFoXDTI2MTAwNTEwMjIyMFowgY8xCzAJBgNVBAYTAlVTMRMwEQYDVQQIDApXYXNoaW5ndG9uMRAwDgYDVQQHDAdTZWF0dGxlMQ8wDQYDVQQKDAZBbWF6b24xDDAKBgNVBAsMA0FXUzE6MDgGA1UEAwwxaS0wYzI2NjI2NDI0ODlmZDdhNy5ldS1ub3J0aC0xLmF3cy5uaXRyby1lbmNsYXZlczB2MBAGByqGSM49AgEGBSuBBAAiA2IABMjTES9WQzY6WY+6rwLCsipiFdJIbDU63ZiDumHeivwEo27GTq8uOr7fZmme+MXzK4zyWun+hoPSahmp4/ENrEZrofiZHUCbaESsYOgkUvJ2PmZ990fbDoilP/nX/0vjjqNmMGQwEgYDVR0TAQH/BAgwBgEB/wIBADAOBgNVHQ8BAf8EBAMCAgQwHQYDVR0OBBYEFPtGd1Mk9fSZcQOsD2wvu2trPyg3MB8GA1UdIwQYMBaAFO/VysOV955gIgBB49BTAqHhED8JMAoGCCqGSM49BAMDA2kAMGYCMQDObAUVtq9Sf7Ar8xLAAG0TEKe/+JxA6gbyYBdSLac/5YNK3VKPQ5OtsJOasUfbKmwCMQCSIFWcbsf6dik3yoOsoCyOPvn+mg98ccakGKsOSOLGm/K3fEvkseeWbePUpxj788hqcHVibGljX2tleVgg3B9WgjqguF5yAlY71hr+uXYbRvWHqdqKGecoWM72FeVpdXNlcl9kYXRhWCAseGSH7fzdauQHLGFgjdJi4cB1MuDAM084DJbCoZGe3GVub25jZVggj6AtBcKS5hOe4A+GyEEJb85Os3IKnhPGpsAg0rRrqnb/WGB/9MUQqSPGjvLun/6dARm6cblbT/+pmQxhOeviQHLBVgM/uiJ/nzBO0HxR56h2jwIi+sJybIVB63qWPfDffwsFNzmah5xTligD9tJTqtcCCIts5nV67I6bTyUU8zoa0VI="
}