[
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:09f37548abdec90b4aac8c15cafabff7e2c5313e1c50b7e6b0b07ff2de4c0ae7",
      "obligation": "b3:d60a5a1bf07e22708d5804e949d68753889866cba079fae8c374e35047827e32",
      "artifact": "b3:522f65149fd69b1b2748015af25b4891dc01b4f81dff8a7992851462e20838d0",
      "footprint": [
        "b3:8624949b04e977f3df70c21be24b552bfd25065ea7d7f2ae9f4915953b483a6b"
      ],
      "evidence": {
        "kind": "proved",
        "goal": "b3:0e6cc1d5165db3c20269e67feb1931f29223f944f87298c1e9097525f0bc3399",
        "tier": "T1",
        "formalization": {
          "statement": "forall r. !authenticated(r) -> rejected(r)",
          "grounding": {
            "cross-checked": {
              "by": [
                237,
                73,
                40,
                198,
                40,
                209,
                194,
                198,
                234,
                233,
                3,
                56,
                144,
                89,
                149,
                97,
                41,
                89,
                39,
                58,
                92,
                99,
                249,
                54,
                54,
                193,
                70,
                20,
                172,
                135,
                55,
                209
              ]
            }
          }
        },
        "vacuity": {
          "kind": "refuted",
          "counter": "b3:c236fcc067c11bc153de8d8e4a745a94fe7154700a6d3a57e981719e75caa72a"
        }
      },
      "energy": {
        "uj": 4200,
        "provenance": "model-based"
      },
      "author": [
        129,
        57,
        119,
        14,
        168,
        125,
        23,
        95,
        86,
        163,
        84,
        102,
        195,
        76,
        126,
        204,
        203,
        141,
        138,
        145,
        180,
        238,
        55,
        162,
        93,
        246,
        15,
        91,
        143,
        201,
        179,
        148
      ]
    },
    "sig": [
      194,
      136,
      217,
      129,
      252,
      187,
      46,
      229,
      50,
      3,
      62,
      244,
      40,
      182,
      38,
      130,
      244,
      112,
      246,
      94,
      252,
      248,
      73,
      88,
      227,
      223,
      163,
      138,
      65,
      137,
      78,
      16,
      160,
      22,
      64,
      26,
      106,
      29,
      116,
      62,
      216,
      56,
      80,
      230,
      100,
      130,
      215,
      148,
      252,
      63,
      53,
      221,
      17,
      84,
      31,
      40,
      103,
      21,
      0,
      43,
      206,
      230,
      71,
      15
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:09f37548abdec90b4aac8c15cafabff7e2c5313e1c50b7e6b0b07ff2de4c0ae7",
      "obligation": "b3:86c8c620f1b4cbd79fb510114ce0b0a11eeb71d8c69c914ad7b1c841cb9d17e6",
      "artifact": "b3:522f65149fd69b1b2748015af25b4891dc01b4f81dff8a7992851462e20838d0",
      "footprint": [
        "b3:54db5923a1c8b004e4f93f7c848b7f5de788fd3c600ab3070f70bfb7e150fb9b"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "decided_before_side_effect",
        "anchor": "specification",
        "counter": "b3:6d5c6d2500a21a27aa9bddc2fc5948b85f2da6a24d0a26a5a3852508976c0e2c"
      },
      "energy": {
        "uj": 1100,
        "provenance": "hw-shunt"
      },
      "author": [
        129,
        57,
        119,
        14,
        168,
        125,
        23,
        95,
        86,
        163,
        84,
        102,
        195,
        76,
        126,
        204,
        203,
        141,
        138,
        145,
        180,
        238,
        55,
        162,
        93,
        246,
        15,
        91,
        143,
        201,
        179,
        148
      ]
    },
    "sig": [
      8,
      20,
      33,
      220,
      253,
      24,
      96,
      253,
      230,
      10,
      201,
      203,
      116,
      111,
      108,
      93,
      242,
      115,
      96,
      248,
      141,
      253,
      130,
      235,
      71,
      213,
      242,
      219,
      127,
      21,
      195,
      68,
      38,
      212,
      88,
      242,
      160,
      65,
      238,
      110,
      186,
      67,
      246,
      144,
      88,
      81,
      37,
      109,
      9,
      239,
      116,
      240,
      156,
      73,
      63,
      108,
      19,
      46,
      211,
      27,
      223,
      58,
      3,
      3
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:09f37548abdec90b4aac8c15cafabff7e2c5313e1c50b7e6b0b07ff2de4c0ae7",
      "obligation": "b3:44de2cb174e47f9c2e5f9522d7608677e29269bb3a96cc089723d760a8938527",
      "artifact": "b3:522f65149fd69b1b2748015af25b4891dc01b4f81dff8a7992851462e20838d0",
      "footprint": [],
      "evidence": {
        "kind": "cited"
      },
      "energy": {
        "uj": 50,
        "provenance": "estimator"
      },
      "author": [
        202,
        147,
        172,
        23,
        5,
        24,
        112,
        113,
        214,
        123,
        131,
        199,
        255,
        14,
        254,
        129,
        8,
        232,
        236,
        69,
        48,
        87,
        93,
        119,
        38,
        135,
        147,
        51,
        219,
        218,
        190,
        124
      ]
    },
    "sig": [
      11,
      162,
      11,
      245,
      114,
      113,
      174,
      192,
      241,
      8,
      139,
      146,
      45,
      175,
      116,
      48,
      59,
      87,
      12,
      83,
      180,
      187,
      63,
      1,
      60,
      229,
      224,
      234,
      42,
      86,
      39,
      143,
      114,
      130,
      139,
      175,
      152,
      173,
      34,
      39,
      73,
      227,
      180,
      20,
      15,
      88,
      124,
      146,
      98,
      1,
      175,
      105,
      235,
      49,
      255,
      37,
      231,
      214,
      66,
      136,
      181,
      235,
      66,
      14
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:09f37548abdec90b4aac8c15cafabff7e2c5313e1c50b7e6b0b07ff2de4c0ae7",
      "obligation": "b3:44de2cb174e47f9c2e5f9522d7608677e29269bb3a96cc089723d760a8938527",
      "artifact": "b3:bf7e8cba19fd565845d65bfed3e7ba82e5af26fe417ebd96e7a5d97042fa2542",
      "footprint": [],
      "evidence": {
        "kind": "exercised",
        "check": "seals_a_receipt",
        "anchor": "state"
      },
      "energy": {
        "uj": 900,
        "provenance": "hw-shunt"
      },
      "author": [
        129,
        57,
        119,
        14,
        168,
        125,
        23,
        95,
        86,
        163,
        84,
        102,
        195,
        76,
        126,
        204,
        203,
        141,
        138,
        145,
        180,
        238,
        55,
        162,
        93,
        246,
        15,
        91,
        143,
        201,
        179,
        148
      ]
    },
    "sig": [
      172,
      5,
      92,
      174,
      225,
      120,
      35,
      107,
      19,
      167,
      22,
      45,
      93,
      244,
      81,
      170,
      213,
      56,
      129,
      73,
      184,
      201,
      83,
      164,
      123,
      135,
      138,
      28,
      234,
      194,
      34,
      128,
      204,
      191,
      18,
      50,
      157,
      114,
      115,
      179,
      0,
      15,
      209,
      208,
      228,
      96,
      249,
      151,
      162,
      230,
      75,
      144,
      115,
      37,
      223,
      185,
      101,
      10,
      133,
      201,
      147,
      43,
      29,
      10
    ]
  }
]