[
  {
    "witness": {
      "profile": "joulespec-witness/1",
      "alg": 1,
      "spec_id": "b3:60e5ec581d01948a179d8fd98bac59e7061fa8fc15098e0f1a6b8af76883ef99",
      "obligation": "b3:e535081843369fb6415f4c0c13e6568c3757123ca4e0147fdd9b905929045d69",
      "artifact": "b3:456b08df8833870546a773201f86bf36f22c85d792ff14d2de1886247827b7f9",
      "footprint": [],
      "evidence": {
        "kind": "proved",
        "goal": "b3:bbc98522dfcf0bb13e1772dcecc655fa0c92eabacbc7a226e38ff74e5f0606ce",
        "tier": "corpus",
        "formalization": {
          "statement": "forall x. p(x)",
          "grounding": "declared"
        },
        "vacuity": {
          "kind": "refuted",
          "counter": "b3:def80a6779418b717f5b005941967d6597889e965986d59b2c55b6c0e0c5b5ae"
        }
      },
      "energy": {
        "uj": 1000,
        "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": [
      0,
      230,
      197,
      84,
      90,
      168,
      192,
      148,
      227,
      30,
      136,
      67,
      160,
      127,
      227,
      253,
      245,
      182,
      63,
      145,
      154,
      33,
      23,
      38,
      191,
      193,
      141,
      169,
      115,
      236,
      54,
      145,
      85,
      249,
      15,
      173,
      58,
      191,
      25,
      146,
      88,
      138,
      85,
      208,
      164,
      12,
      143,
      101,
      244,
      241,
      40,
      119,
      18,
      105,
      207,
      239,
      48,
      65,
      190,
      21,
      164,
      98,
      52,
      15
    ]
  }
]