{
  "spec": {
    "profile": "joulespec/1",
    "alg": 1,
    "intent": "The cheapest-sufficient prover routes, accounts and seals as section 8 requires.",
    "clauses": [
      {
        "label": "C1",
        "kind": "requirement",
        "text": "cheapest-sufficient routing — each goal closes at the cheapest tier that can discharge it."
      },
      {
        "label": "C2",
        "kind": "requirement",
        "text": "disclosed escalation — `total_uj` equals the sum of all attempts, and `wasted_uj` is exactly the joules of cheaper attempts that failed first."
      },
      {
        "label": "C3",
        "kind": "requirement",
        "text": "energy honesty — the ladder is strictly monotone; the batch is accounted against a frontier-only baseline with non-negative savings."
      },
      {
        "label": "C4",
        "kind": "requirement",
        "text": "the flywheel — re-proving an identical goal costs zero new joules."
      },
      {
        "label": "C5",
        "kind": "requirement",
        "text": "the receipt — a proved result seals to JCR-1 and verifies; a wrong steward fails."
      },
      {
        "label": "C-neg",
        "kind": "requirement",
        "text": "provenance coupling is enforced; an unproved goal cannot be sealed; a tampered envelope fails; canonical CBOR rejects floats/bools."
      }
    ],
    "parent": null,
    "author": [
      138,
      136,
      227,
      221,
      116,
      9,
      241,
      149,
      253,
      82,
      219,
      45,
      60,
      186,
      93,
      114,
      202,
      103,
      9,
      191,
      29,
      148,
      18,
      27,
      243,
      116,
      136,
      1,
      180,
      15,
      111,
      92
    ]
  },
  "sig": [
    73,
    24,
    67,
    55,
    1,
    151,
    40,
    50,
    66,
    94,
    76,
    87,
    199,
    153,
    123,
    90,
    136,
    162,
    236,
    0,
    135,
    50,
    167,
    140,
    26,
    255,
    149,
    91,
    24,
    159,
    204,
    202,
    53,
    203,
    71,
    58,
    153,
    199,
    119,
    232,
    193,
    14,
    158,
    63,
    134,
    159,
    54,
    190,
    56,
    22,
    148,
    171,
    92,
    71,
    23,
    204,
    10,
    59,
    177,
    63,
    92,
    75,
    214,
    4
  ]
}