[
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:e20e0c45fdd1f188ecc2ec14336ce8114091b7f135167354d7a0f6850e447a01",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:533973fda5dc5abd8a43dd1098505b56ac832cafa752caa492f1a076af342581"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "spec::tests::relabelling_a_clause_moves_no_obligation",
        "anchor": "specification",
        "counter": "b3:f51011f062073ca8723a12e6ab9a3ba6a200622b8cdec91175fd726aa7ce30d8"
      },
      "energy": {
        "uj": 81886536,
        "provenance": "estimator"
      },
      "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": [
      157,
      233,
      88,
      119,
      118,
      24,
      244,
      123,
      6,
      226,
      170,
      219,
      14,
      113,
      159,
      105,
      22,
      153,
      191,
      28,
      17,
      19,
      34,
      96,
      122,
      199,
      188,
      65,
      211,
      7,
      116,
      29,
      176,
      254,
      73,
      158,
      144,
      92,
      128,
      68,
      248,
      155,
      34,
      67,
      9,
      90,
      249,
      197,
      34,
      139,
      179,
      179,
      196,
      131,
      37,
      111,
      103,
      7,
      34,
      194,
      125,
      8,
      210,
      10
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:e20e0c45fdd1f188ecc2ec14336ce8114091b7f135167354d7a0f6850e447a01",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:533973fda5dc5abd8a43dd1098505b56ac832cafa752caa492f1a076af342581"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "spec::tests::rewording_a_clause_moves_its_obligation",
        "anchor": "specification",
        "counter": "b3:baadb16428aa942dc24bfd55d6aebc5ffa55984beeea6dea3b0e7c07710e963e"
      },
      "energy": {
        "uj": 138984013,
        "provenance": "estimator"
      },
      "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": [
      208,
      5,
      225,
      230,
      227,
      88,
      175,
      36,
      198,
      19,
      24,
      122,
      49,
      249,
      193,
      174,
      188,
      0,
      170,
      56,
      228,
      197,
      30,
      253,
      143,
      94,
      239,
      180,
      218,
      218,
      197,
      119,
      87,
      61,
      15,
      82,
      4,
      240,
      32,
      27,
      111,
      24,
      39,
      138,
      58,
      243,
      150,
      48,
      190,
      167,
      79,
      139,
      124,
      15,
      185,
      85,
      162,
      85,
      49,
      227,
      115,
      109,
      224,
      11
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:12f1ce65c6317d8fd546a17c8ee653cfb7a8ab554942c138aff317684eb5640d",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:533973fda5dc5abd8a43dd1098505b56ac832cafa752caa492f1a076af342581"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "spec::tests::two_clauses_stating_one_obligation_are_refused",
        "anchor": "specification",
        "counter": "b3:396c1bd6b162468d4f965af0b66943a11b9a73dbe9377eb58be3b5ed27b441e3"
      },
      "energy": {
        "uj": 136337618,
        "provenance": "estimator"
      },
      "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": [
      132,
      250,
      62,
      239,
      67,
      253,
      165,
      136,
      128,
      93,
      171,
      36,
      163,
      201,
      133,
      53,
      177,
      252,
      227,
      21,
      28,
      179,
      219,
      182,
      228,
      66,
      217,
      15,
      188,
      52,
      233,
      241,
      112,
      130,
      200,
      109,
      241,
      254,
      83,
      69,
      65,
      255,
      48,
      111,
      225,
      174,
      221,
      205,
      57,
      6,
      150,
      62,
      187,
      41,
      214,
      2,
      179,
      233,
      5,
      226,
      105,
      22,
      15,
      9
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:d95410443c29a8f2b0f0b1706835b4ea0fd2f15b7e2b86e643b830e83cbb7181",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:533973fda5dc5abd8a43dd1098505b56ac832cafa752caa492f1a076af342581"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "spec::tests::a_tampered_clause_breaks_the_signature",
        "anchor": "specification",
        "counter": "b3:2a7cb187ec6564c2257dfb593b2b95ad34f64763acff21272cfa7907e0a5b58f"
      },
      "energy": {
        "uj": 146516332,
        "provenance": "estimator"
      },
      "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": [
      48,
      42,
      65,
      44,
      221,
      87,
      61,
      12,
      159,
      237,
      38,
      16,
      89,
      243,
      87,
      7,
      79,
      213,
      126,
      68,
      234,
      8,
      219,
      117,
      80,
      152,
      232,
      241,
      25,
      103,
      65,
      125,
      228,
      48,
      193,
      128,
      229,
      160,
      180,
      174,
      53,
      144,
      179,
      62,
      152,
      244,
      180,
      182,
      2,
      102,
      171,
      59,
      211,
      79,
      42,
      21,
      188,
      80,
      72,
      165,
      224,
      194,
      179,
      1
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:46b79b1adb450e144c3688f0596a487e580af4eba6e7aa81917bc24e7ce6b1b7",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:393a521a589101b03a67a39a1fc778913f05a6262be342b4bc0819f0395a9ba9"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "evidence::tests::a_proof_reaches_e4_only_when_grounded_and_shown_non_vacuous",
        "anchor": "specification",
        "counter": "b3:2a083ec804637f34e1fafeb8d7d198a26b75c63385059429fb7757e7cedaaad8"
      },
      "energy": {
        "uj": 135825112,
        "provenance": "estimator"
      },
      "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": [
      97,
      100,
      173,
      145,
      147,
      241,
      141,
      143,
      128,
      155,
      238,
      95,
      35,
      114,
      17,
      182,
      81,
      2,
      57,
      55,
      242,
      7,
      53,
      222,
      174,
      56,
      211,
      244,
      111,
      233,
      174,
      221,
      116,
      49,
      27,
      204,
      67,
      27,
      45,
      105,
      242,
      89,
      194,
      192,
      176,
      121,
      14,
      107,
      169,
      53,
      218,
      152,
      14,
      149,
      179,
      121,
      128,
      20,
      63,
      215,
      133,
      49,
      190,
      4
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:46b79b1adb450e144c3688f0596a487e580af4eba6e7aa81917bc24e7ce6b1b7",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:393a521a589101b03a67a39a1fc778913f05a6262be342b4bc0819f0395a9ba9"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "evidence::tests::a_self_review_is_the_citation_again",
        "anchor": "specification",
        "counter": "b3:8ca2e8b5fd2b37703aef219466449cc15449fadbe68960a91994fe551ca0bbb6"
      },
      "energy": {
        "uj": 126341517,
        "provenance": "estimator"
      },
      "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": [
      113,
      114,
      60,
      228,
      85,
      104,
      117,
      200,
      104,
      42,
      185,
      101,
      47,
      68,
      60,
      174,
      242,
      48,
      220,
      166,
      117,
      248,
      135,
      204,
      231,
      97,
      247,
      152,
      213,
      171,
      251,
      36,
      62,
      56,
      169,
      114,
      138,
      38,
      146,
      129,
      224,
      62,
      109,
      246,
      239,
      71,
      38,
      214,
      105,
      179,
      141,
      151,
      239,
      218,
      26,
      82,
      75,
      187,
      80,
      249,
      195,
      132,
      104,
      1
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:6cf3b7b46e17a57a1233bd604252895a23394d345cc2f7a67c3570711bfae68b",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:d42d371c28766af667aa4b55f398023c0c126b898c86009a623751ad454c9283"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "conform::tests::a_specification_is_graded_by_its_weakest_owed_obligation",
        "anchor": "specification",
        "counter": "b3:6dfb470122fc023bcb7b50af6f3ff40eb6f2d4e736c77ac477725a4e89d67988"
      },
      "energy": {
        "uj": 135389083,
        "provenance": "estimator"
      },
      "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": [
      65,
      92,
      220,
      173,
      59,
      206,
      165,
      144,
      240,
      165,
      54,
      91,
      150,
      15,
      197,
      250,
      99,
      159,
      118,
      192,
      237,
      162,
      34,
      181,
      213,
      194,
      23,
      120,
      169,
      99,
      213,
      202,
      228,
      184,
      54,
      253,
      23,
      167,
      211,
      231,
      164,
      49,
      136,
      34,
      54,
      82,
      107,
      198,
      202,
      42,
      102,
      47,
      127,
      232,
      26,
      7,
      214,
      223,
      38,
      111,
      187,
      14,
      101,
      15
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:6cf3b7b46e17a57a1233bd604252895a23394d345cc2f7a67c3570711bfae68b",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:d42d371c28766af667aa4b55f398023c0c126b898c86009a623751ad454c9283"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "conform::tests::evaluation_is_deterministic_under_witness_reordering",
        "anchor": "specification",
        "counter": "b3:037c212599d46eac2a6a56daef9a8050cbf550528384e9e38e8c51c1d5d80f88"
      },
      "energy": {
        "uj": 138952804,
        "provenance": "estimator"
      },
      "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": [
      117,
      227,
      135,
      189,
      81,
      77,
      224,
      37,
      89,
      48,
      174,
      14,
      57,
      97,
      131,
      233,
      179,
      20,
      88,
      9,
      171,
      236,
      105,
      189,
      177,
      128,
      116,
      98,
      115,
      174,
      14,
      125,
      227,
      77,
      9,
      221,
      214,
      0,
      120,
      252,
      62,
      78,
      95,
      61,
      119,
      49,
      32,
      236,
      239,
      41,
      210,
      94,
      44,
      172,
      149,
      77,
      222,
      125,
      19,
      193,
      64,
      127,
      242,
      2
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:17565e58cd2c39ee8d68f161771b79dd7f94bbec6810007c3e75a28e2cf2f97e",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:76b49720a8bdc6b032fbbbaa13a750aa90f56eda0ceaf0476a30ff55c57d8d46"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "drift::tests::rewording_one_clause_invalidates_exactly_that_clauses_evidence",
        "anchor": "specification",
        "counter": "b3:b0bfee47b4c91a32becbbb90a87f19b0324df915c77c8d856e13f65dd49e7ca0"
      },
      "energy": {
        "uj": 149517380,
        "provenance": "estimator"
      },
      "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": [
      149,
      239,
      87,
      65,
      63,
      38,
      82,
      157,
      162,
      76,
      32,
      51,
      233,
      40,
      62,
      171,
      97,
      105,
      149,
      99,
      121,
      153,
      99,
      177,
      120,
      200,
      223,
      213,
      147,
      128,
      208,
      241,
      174,
      215,
      149,
      164,
      255,
      23,
      195,
      77,
      218,
      57,
      122,
      83,
      3,
      149,
      130,
      155,
      186,
      124,
      138,
      110,
      69,
      236,
      202,
      63,
      57,
      198,
      232,
      30,
      212,
      176,
      222,
      8
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:17565e58cd2c39ee8d68f161771b79dd7f94bbec6810007c3e75a28e2cf2f97e",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:76b49720a8bdc6b032fbbbaa13a750aa90f56eda0ceaf0476a30ff55c57d8d46"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "drift::tests::reusing_a_freed_label_is_an_addition_not_a_rewording",
        "anchor": "specification",
        "counter": "b3:12e8f3303789c16919a0bbf0af5e16916bbdddcbe6ba8f7c1d49c4741a209e65"
      },
      "energy": {
        "uj": 124871249,
        "provenance": "estimator"
      },
      "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": [
      62,
      164,
      42,
      119,
      165,
      198,
      166,
      182,
      184,
      108,
      248,
      39,
      71,
      199,
      220,
      155,
      134,
      151,
      55,
      195,
      192,
      188,
      14,
      222,
      76,
      247,
      63,
      77,
      99,
      199,
      175,
      17,
      8,
      0,
      78,
      86,
      163,
      78,
      53,
      209,
      64,
      239,
      146,
      102,
      148,
      163,
      32,
      9,
      83,
      187,
      115,
      110,
      148,
      13,
      114,
      152,
      159,
      255,
      245,
      159,
      56,
      241,
      14,
      8
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:3e0209539dfdce9adb3d34a9ed3a8663f31d867944f9c8646d93e0a0c6e17916",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:7b4a1ce7142ae0096d550c907df51cb37c58adcdc66b179bb67c2a53ca0c40a2",
        "b3:d42d371c28766af667aa4b55f398023c0c126b898c86009a623751ad454c9283"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "conform::tests::an_aggregate_is_graded_by_the_weakest_figure_that_fed_it",
        "anchor": "specification",
        "counter": "b3:bfa5ccd566c2505662f2dbbfce7e46b217c23dcea623f5319752989d1fa925a6"
      },
      "energy": {
        "uj": 165155412,
        "provenance": "estimator"
      },
      "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": [
      157,
      153,
      153,
      226,
      127,
      245,
      20,
      156,
      35,
      121,
      196,
      159,
      173,
      218,
      81,
      47,
      4,
      95,
      130,
      138,
      110,
      29,
      106,
      59,
      123,
      9,
      200,
      52,
      240,
      187,
      232,
      92,
      173,
      174,
      89,
      207,
      242,
      101,
      163,
      35,
      241,
      236,
      134,
      202,
      23,
      51,
      221,
      237,
      162,
      132,
      232,
      155,
      180,
      145,
      189,
      132,
      198,
      235,
      43,
      87,
      50,
      72,
      230,
      8
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:3e0209539dfdce9adb3d34a9ed3a8663f31d867944f9c8646d93e0a0c6e17916",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:d42d371c28766af667aa4b55f398023c0c126b898c86009a623751ad454c9283"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "conform::tests::a_ratio_with_no_work_is_absent_rather_than_zero",
        "anchor": "specification",
        "counter": "b3:90d7a6669a55659d6e1b4df1925ebb5aaace6703c74153f3f62ce63d27968214"
      },
      "energy": {
        "uj": 166647134,
        "provenance": "estimator"
      },
      "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": [
      129,
      182,
      12,
      168,
      244,
      232,
      161,
      83,
      131,
      249,
      246,
      176,
      186,
      147,
      156,
      15,
      136,
      67,
      196,
      143,
      154,
      136,
      24,
      210,
      207,
      98,
      37,
      200,
      74,
      135,
      226,
      29,
      26,
      126,
      187,
      85,
      11,
      230,
      39,
      70,
      170,
      228,
      254,
      118,
      181,
      101,
      249,
      51,
      133,
      229,
      228,
      209,
      125,
      131,
      119,
      175,
      66,
      200,
      61,
      218,
      133,
      232,
      57,
      7
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:4dc63e74ac96b125f6d35f3f1ab9a7d80888534c42ddceffc6c4b5a5c4d32485",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:b8b878c60d4da537c92cf3d8b10a8ade5fbff37c4e5ebf763459895f9dee90ec"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "receipt::tests::an_ungraded_specification_omits_the_grade_rather_than_sealing_a_floor",
        "anchor": "specification",
        "counter": "b3:7ee6a27115dc0b31f9166746b6a09387655f6a69ff03a7d9052f9d18c95f8f58"
      },
      "energy": {
        "uj": 132646817,
        "provenance": "estimator"
      },
      "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": [
      173,
      89,
      110,
      28,
      236,
      118,
      233,
      230,
      253,
      184,
      36,
      49,
      24,
      118,
      151,
      205,
      35,
      142,
      68,
      26,
      116,
      109,
      230,
      250,
      111,
      88,
      43,
      150,
      161,
      126,
      183,
      141,
      194,
      112,
      244,
      65,
      109,
      44,
      127,
      203,
      110,
      8,
      4,
      253,
      32,
      91,
      173,
      169,
      123,
      28,
      49,
      166,
      78,
      132,
      179,
      246,
      244,
      81,
      91,
      96,
      115,
      69,
      98,
      5
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:4dc63e74ac96b125f6d35f3f1ab9a7d80888534c42ddceffc6c4b5a5c4d32485",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:b8b878c60d4da537c92cf3d8b10a8ade5fbff37c4e5ebf763459895f9dee90ec"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "receipt::tests::a_receipt_is_byte_identical_for_identical_evidence",
        "anchor": "specification",
        "counter": "b3:88b3f9f79738b53f2b838e75c533ef8f7173da0e9c714760095776434c116a11"
      },
      "energy": {
        "uj": 108871493,
        "provenance": "estimator"
      },
      "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": [
      129,
      50,
      176,
      31,
      203,
      178,
      35,
      85,
      167,
      253,
      109,
      27,
      116,
      160,
      36,
      28,
      100,
      150,
      175,
      111,
      148,
      169,
      15,
      172,
      140,
      81,
      229,
      192,
      225,
      255,
      252,
      27,
      30,
      212,
      22,
      39,
      31,
      196,
      235,
      196,
      233,
      54,
      48,
      14,
      29,
      204,
      17,
      34,
      12,
      77,
      77,
      141,
      177,
      245,
      75,
      143,
      177,
      152,
      22,
      182,
      127,
      171,
      53,
      10
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:2df47b7fd601c83567401ea15235e8c1b1a47f79c151f2ebb8a5dbd148c4da29",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:393a521a589101b03a67a39a1fc778913f05a6262be342b4bc0819f0395a9ba9"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "evidence::tests::the_footprint_is_part_of_what_the_signature_covers",
        "anchor": "specification",
        "counter": "b3:5aba85ebfb77f1cd0a18511ef41cd1d1dcf2c1e66f20c5aa7c994a97a7715afa"
      },
      "energy": {
        "uj": 111799750,
        "provenance": "estimator"
      },
      "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": [
      76,
      37,
      169,
      255,
      253,
      89,
      58,
      13,
      193,
      145,
      9,
      156,
      167,
      177,
      226,
      108,
      189,
      121,
      17,
      163,
      222,
      226,
      246,
      106,
      140,
      165,
      72,
      199,
      41,
      61,
      40,
      78,
      116,
      217,
      62,
      53,
      58,
      98,
      225,
      195,
      189,
      14,
      43,
      240,
      105,
      199,
      85,
      56,
      200,
      102,
      204,
      174,
      127,
      8,
      188,
      98,
      171,
      44,
      170,
      73,
      12,
      2,
      195,
      1
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:2df47b7fd601c83567401ea15235e8c1b1a47f79c151f2ebb8a5dbd148c4da29",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:393a521a589101b03a67a39a1fc778913f05a6262be342b4bc0819f0395a9ba9"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "evidence::tests::a_narrowed_witness_survives_a_change_it_did_not_depend_on",
        "anchor": "specification",
        "counter": "b3:dadca3ce741248fbd1e4bcbe1ae1beff7d8ae1062eca3c7132118c908d045662"
      },
      "energy": {
        "uj": 176341976,
        "provenance": "estimator"
      },
      "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": [
      163,
      247,
      29,
      193,
      25,
      124,
      39,
      188,
      240,
      183,
      19,
      13,
      81,
      58,
      136,
      141,
      181,
      113,
      209,
      176,
      77,
      133,
      195,
      233,
      83,
      43,
      119,
      104,
      36,
      97,
      16,
      117,
      242,
      215,
      142,
      76,
      174,
      186,
      65,
      17,
      13,
      159,
      3,
      33,
      228,
      35,
      192,
      229,
      253,
      3,
      67,
      29,
      170,
      151,
      30,
      238,
      245,
      219,
      159,
      106,
      160,
      145,
      110,
      1
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:2df47b7fd601c83567401ea15235e8c1b1a47f79c151f2ebb8a5dbd148c4da29",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:393a521a589101b03a67a39a1fc778913f05a6262be342b4bc0819f0395a9ba9"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "evidence::tests::a_witness_needs_every_footprint_member_not_merely_one",
        "anchor": "specification",
        "counter": "b3:eafe7e39906ae69d87a4627c7913a63a87aa6756493edb3534a38a4c28741509"
      },
      "energy": {
        "uj": 147942981,
        "provenance": "estimator"
      },
      "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": [
      19,
      228,
      149,
      136,
      159,
      193,
      33,
      76,
      208,
      170,
      101,
      21,
      140,
      73,
      117,
      60,
      100,
      1,
      89,
      137,
      223,
      90,
      49,
      103,
      247,
      152,
      132,
      207,
      235,
      173,
      152,
      94,
      218,
      180,
      137,
      87,
      237,
      224,
      216,
      18,
      227,
      44,
      146,
      10,
      62,
      52,
      108,
      219,
      101,
      193,
      66,
      90,
      12,
      105,
      183,
      143,
      111,
      191,
      9,
      21,
      131,
      244,
      210,
      5
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:2df47b7fd601c83567401ea15235e8c1b1a47f79c151f2ebb8a5dbd148c4da29",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:393a521a589101b03a67a39a1fc778913f05a6262be342b4bc0819f0395a9ba9"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "evidence::tests::a_footprint_that_cannot_be_checked_is_stale",
        "anchor": "specification",
        "counter": "b3:62bef405b1cc420e3b14906d5d15fd6b33483e7531d143ed5d39174c3d7f16bd"
      },
      "energy": {
        "uj": 119128311,
        "provenance": "estimator"
      },
      "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": [
      187,
      127,
      32,
      71,
      136,
      202,
      45,
      241,
      203,
      175,
      153,
      112,
      156,
      206,
      196,
      190,
      35,
      209,
      87,
      237,
      1,
      67,
      183,
      144,
      10,
      39,
      108,
      182,
      12,
      222,
      240,
      38,
      113,
      205,
      201,
      216,
      109,
      81,
      159,
      202,
      152,
      171,
      186,
      143,
      58,
      220,
      145,
      142,
      101,
      57,
      135,
      108,
      82,
      160,
      45,
      188,
      238,
      248,
      53,
      243,
      129,
      183,
      219,
      12
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:fdea1a57fd78b84a4b04f1b3970eb22eeef68e91c6ba42e3f84aed7512d1fe07",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:393a521a589101b03a67a39a1fc778913f05a6262be342b4bc0819f0395a9ba9"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "evidence::tests::an_unstated_anchor_caps_a_falsifiable_check_at_e2",
        "anchor": "specification",
        "counter": "b3:09bad3cb2a4bac2067c4a8aadbec64c31363b2d215a2775e8043a90d1ea08c87"
      },
      "energy": {
        "uj": 154962199,
        "provenance": "estimator"
      },
      "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": [
      211,
      147,
      94,
      12,
      242,
      193,
      26,
      132,
      33,
      155,
      31,
      19,
      114,
      237,
      61,
      155,
      206,
      183,
      152,
      70,
      216,
      43,
      200,
      254,
      72,
      145,
      135,
      49,
      35,
      126,
      33,
      58,
      159,
      174,
      12,
      38,
      155,
      221,
      66,
      86,
      25,
      155,
      146,
      102,
      217,
      162,
      201,
      201,
      145,
      34,
      16,
      103,
      77,
      135,
      19,
      220,
      59,
      48,
      130,
      75,
      77,
      169,
      115,
      0
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:fdea1a57fd78b84a4b04f1b3970eb22eeef68e91c6ba42e3f84aed7512d1fe07",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:393a521a589101b03a67a39a1fc778913f05a6262be342b4bc0819f0395a9ba9"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "evidence::tests::every_rung_above_e2_rests_on_a_demonstrated_failure",
        "anchor": "specification",
        "counter": "b3:55ab60bca17630cbf62c776b9d4f1773c08730c977064d73c2abb340ea8b2cf3"
      },
      "energy": {
        "uj": 148411649,
        "provenance": "estimator"
      },
      "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": [
      88,
      36,
      57,
      95,
      191,
      54,
      6,
      93,
      67,
      92,
      194,
      175,
      42,
      147,
      150,
      34,
      25,
      134,
      58,
      168,
      31,
      213,
      107,
      59,
      78,
      251,
      135,
      81,
      67,
      44,
      180,
      208,
      150,
      166,
      77,
      99,
      0,
      203,
      185,
      6,
      0,
      172,
      146,
      55,
      218,
      20,
      86,
      218,
      213,
      91,
      230,
      64,
      214,
      135,
      120,
      184,
      216,
      218,
      109,
      162,
      165,
      31,
      137,
      11
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:e4c404541a6c954276e8b6680a8c1859439f62294203f1fac6bceec4d0c7c3c1",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:d42d371c28766af667aa4b55f398023c0c126b898c86009a623751ad454c9283"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "conform::tests::with_no_work_supplied_independence_is_absent_not_assumed",
        "anchor": "specification",
        "counter": "b3:9957ce94757f3b54e38ca876778651a0974a731abfb1f8d4ece6d67cd084ca34"
      },
      "energy": {
        "uj": 124748708,
        "provenance": "estimator"
      },
      "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": [
      99,
      116,
      79,
      167,
      72,
      75,
      92,
      146,
      107,
      23,
      196,
      228,
      134,
      210,
      159,
      244,
      35,
      76,
      41,
      185,
      30,
      206,
      222,
      129,
      188,
      215,
      197,
      254,
      154,
      130,
      32,
      19,
      219,
      254,
      46,
      3,
      191,
      179,
      234,
      46,
      47,
      245,
      227,
      236,
      135,
      0,
      6,
      118,
      157,
      134,
      193,
      176,
      88,
      202,
      109,
      19,
      151,
      243,
      13,
      36,
      53,
      106,
      85,
      5
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:8c4f5ed328418864daa50d1f376a8b4a587523dd36573b247bda82dd35d995cc",
      "obligation": "b3:e4c404541a6c954276e8b6680a8c1859439f62294203f1fac6bceec4d0c7c3c1",
      "artifact": "b3:ded2d00fa53c966a0214683cbf03f95da93f320fcdda7004eddae4b4f55e723a",
      "footprint": [
        "b3:d42d371c28766af667aa4b55f398023c0c126b898c86009a623751ad454c9283"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "conform::tests::agreement_among_implementers_alone_is_not_reproduction",
        "anchor": "specification",
        "counter": "b3:cd9d9f72e19cc485045db38588270c58096f8e0fa1b07bcc4e71171370835b03"
      },
      "energy": {
        "uj": 152981917,
        "provenance": "estimator"
      },
      "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": [
      235,
      179,
      145,
      224,
      92,
      106,
      203,
      146,
      244,
      17,
      45,
      114,
      194,
      247,
      73,
      53,
      237,
      0,
      158,
      104,
      158,
      1,
      106,
      242,
      229,
      136,
      207,
      25,
      51,
      170,
      130,
      3,
      241,
      70,
      93,
      93,
      127,
      137,
      79,
      25,
      200,
      184,
      240,
      250,
      178,
      232,
      194,
      227,
      70,
      221,
      165,
      52,
      131,
      91,
      182,
      96,
      175,
      231,
      26,
      88,
      114,
      190,
      112,
      14
    ]
  }
]