[
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:6a79446b181f33db7f07c6825d225934b45c974cb72f6fb16ef9402a6e0d1b75",
      "obligation": "b3:adc5e745e3ef9f0f017f5b3b49f02e87e09f3ce90523807b333c75fdc57bee2a",
      "artifact": "b3:05719e9abe2729462eb80c614ea69449b0ce9165010fde1b4413187be845fc1d",
      "footprint": [
        "b3:3ce20eabeea604c713b52e1733f0f955c17ec676a7e9ff52e0df370170e58c8e",
        "b3:587af7d56a92893b16606df511157bb77cb3da41e4a0799b7c74dbcb40b6dfba"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "tests::trivial_closes_at_t0_no_waste",
        "anchor": "specification",
        "counter": "b3:a997ef230b7fa61c6dbef5b479ddc4250762acdcfa506cec80d4d48458cf11df"
      },
      "energy": {
        "uj": 139730713,
        "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,
      129,
      109,
      77,
      73,
      151,
      228,
      208,
      177,
      43,
      31,
      178,
      23,
      6,
      195,
      12,
      154,
      120,
      115,
      194,
      130,
      54,
      85,
      119,
      79,
      13,
      59,
      120,
      189,
      18,
      210,
      69,
      205,
      44,
      195,
      131,
      229,
      83,
      9,
      57,
      7,
      3,
      239,
      74,
      215,
      14,
      203,
      253,
      148,
      164,
      80,
      208,
      187,
      23,
      63,
      78,
      11,
      215,
      107,
      93,
      79,
      56,
      17,
      12
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:6a79446b181f33db7f07c6825d225934b45c974cb72f6fb16ef9402a6e0d1b75",
      "obligation": "b3:814ffce0b4c9b37cb3a0171964b0af495d896d142fe2841a787d92f250f7b7a7",
      "artifact": "b3:05719e9abe2729462eb80c614ea69449b0ce9165010fde1b4413187be845fc1d",
      "footprint": [
        "b3:587af7d56a92893b16606df511157bb77cb3da41e4a0799b7c74dbcb40b6dfba"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "tests::escalation_discloses_waste",
        "anchor": "specification",
        "counter": "b3:0d96a0f76fe868b04f2aa1974d2aac9ce0dddc6b9bb33eb736bbfbaafcc562a6"
      },
      "energy": {
        "uj": 261673929,
        "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": [
      239,
      174,
      173,
      232,
      58,
      92,
      91,
      48,
      193,
      173,
      183,
      139,
      168,
      47,
      90,
      85,
      29,
      130,
      216,
      151,
      102,
      39,
      142,
      217,
      217,
      208,
      186,
      14,
      81,
      202,
      5,
      132,
      56,
      156,
      98,
      165,
      66,
      25,
      133,
      3,
      154,
      82,
      201,
      244,
      23,
      155,
      13,
      133,
      241,
      245,
      33,
      237,
      241,
      138,
      255,
      76,
      178,
      21,
      206,
      180,
      93,
      209,
      159,
      13
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:6a79446b181f33db7f07c6825d225934b45c974cb72f6fb16ef9402a6e0d1b75",
      "obligation": "b3:b97f13ee7662fd25c38f45b86afffa1756e4904db6b3017b066c357f5207ce73",
      "artifact": "b3:05719e9abe2729462eb80c614ea69449b0ce9165010fde1b4413187be845fc1d",
      "footprint": [
        "b3:3ce20eabeea604c713b52e1733f0f955c17ec676a7e9ff52e0df370170e58c8e"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "tests::ladder_is_cheapest_first_and_monotone",
        "anchor": "specification",
        "counter": "b3:998c33c6460cd1b7929e8a24cd3f8100fea9b4d2489c834af4d40601c9cb0f55"
      },
      "energy": {
        "uj": 414690903,
        "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": [
      189,
      234,
      39,
      170,
      6,
      101,
      102,
      185,
      213,
      179,
      60,
      102,
      62,
      50,
      222,
      222,
      233,
      128,
      18,
      87,
      166,
      139,
      165,
      136,
      8,
      138,
      30,
      36,
      38,
      146,
      77,
      18,
      174,
      253,
      142,
      31,
      200,
      103,
      57,
      211,
      97,
      111,
      110,
      183,
      185,
      208,
      104,
      187,
      249,
      140,
      139,
      131,
      176,
      211,
      111,
      111,
      30,
      158,
      86,
      171,
      134,
      94,
      119,
      3
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:6a79446b181f33db7f07c6825d225934b45c974cb72f6fb16ef9402a6e0d1b75",
      "obligation": "b3:4b5112bf045683cbec8973e40b2efe325410ab0638edb4853f77251a0d550d9f",
      "artifact": "b3:05719e9abe2729462eb80c614ea69449b0ce9165010fde1b4413187be845fc1d",
      "footprint": [
        "b3:587af7d56a92893b16606df511157bb77cb3da41e4a0799b7c74dbcb40b6dfba"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "tests::cache_is_the_flywheel",
        "anchor": "specification",
        "counter": "b3:b60b4a6a98af13c6fafce81ab15c5a6c29f4f749c5532ed81b2a9997850fa004"
      },
      "energy": {
        "uj": 383318791,
        "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": [
      201,
      143,
      244,
      42,
      217,
      52,
      25,
      131,
      30,
      233,
      122,
      223,
      26,
      212,
      74,
      140,
      181,
      126,
      144,
      245,
      168,
      83,
      222,
      39,
      29,
      192,
      213,
      137,
      35,
      236,
      251,
      129,
      72,
      138,
      73,
      15,
      122,
      79,
      45,
      6,
      169,
      247,
      25,
      196,
      122,
      197,
      197,
      199,
      171,
      32,
      224,
      246,
      58,
      38,
      176,
      251,
      105,
      191,
      38,
      61,
      127,
      50,
      52,
      13
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:6a79446b181f33db7f07c6825d225934b45c974cb72f6fb16ef9402a6e0d1b75",
      "obligation": "b3:83fb7c1fce0c05889e287ae4cc1659367c5e3a731339ceedf978ef1b16f063f7",
      "artifact": "b3:05719e9abe2729462eb80c614ea69449b0ce9165010fde1b4413187be845fc1d",
      "footprint": [
        "b3:e6e0f4e5328ab9b7baea8f03e7d77bceebd6c5729947596d2e2ca3e37efa50e3"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "jcr1::tests::envelope_rejects_wrong_steward",
        "anchor": "specification",
        "counter": "b3:fde9bcd20950b681c345577fc0e5f2d0e41f8652fe1969e23308be808d07bd65"
      },
      "energy": {
        "uj": 403680024,
        "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": [
      54,
      93,
      167,
      219,
      163,
      18,
      47,
      151,
      190,
      155,
      130,
      109,
      143,
      61,
      255,
      123,
      162,
      100,
      118,
      80,
      29,
      24,
      143,
      198,
      240,
      225,
      89,
      203,
      105,
      68,
      124,
      205,
      98,
      104,
      49,
      137,
      184,
      62,
      39,
      88,
      179,
      17,
      122,
      51,
      3,
      56,
      140,
      73,
      222,
      68,
      15,
      162,
      195,
      215,
      4,
      47,
      247,
      172,
      133,
      39,
      209,
      27,
      53,
      1
    ]
  },
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:6a79446b181f33db7f07c6825d225934b45c974cb72f6fb16ef9402a6e0d1b75",
      "obligation": "b3:6507f37527e2e4087f9bae36bf0be616a33bd604e824ff18e8af9122c48f31fa",
      "artifact": "b3:05719e9abe2729462eb80c614ea69449b0ce9165010fde1b4413187be845fc1d",
      "footprint": [
        "b3:d3e9847cbe5b2267d97bd6c0a55027d7e28b7684b531ed0e3562748f83bb884f"
      ],
      "evidence": {
        "kind": "falsifiable",
        "check": "tests::unproved_goal_cannot_be_sealed",
        "anchor": "specification",
        "counter": "b3:77ee85e30a0e2365dabef093730b6b8a8cf792949e32b9ecbbf04d7243527ccf"
      },
      "energy": {
        "uj": 252481436,
        "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": [
      32,
      76,
      133,
      221,
      187,
      161,
      65,
      115,
      118,
      33,
      190,
      222,
      46,
      12,
      194,
      193,
      250,
      37,
      38,
      153,
      92,
      216,
      154,
      152,
      20,
      113,
      192,
      140,
      67,
      29,
      41,
      167,
      51,
      59,
      132,
      115,
      109,
      74,
      81,
      114,
      106,
      236,
      198,
      131,
      11,
      142,
      164,
      100,
      10,
      169,
      39,
      27,
      91,
      133,
      209,
      71,
      235,
      173,
      190,
      73,
      116,
      198,
      202,
      15
    ]
  }
]