{
  "spec": {
    "profile": "joulespec/1",
    "alg": 1,
    "intent": "The joulespec/1 reference implementation does what SPEC.md §7 says it does, and each claim is evidenced by a check demonstrated capable of failing.",
    "clauses": [
      {
        "label": "C1",
        "kind": "requirement",
        "text": "Addressing — Obligation addresses are computed over `{kind, text}` with the label excluded; relabelling preserves an address and rewording changes it."
      },
      {
        "label": "C2",
        "kind": "requirement",
        "text": "Validation — Specifications with a duplicate label, a duplicate obligation, an empty intent, an empty clause, or no clauses are refused, and a duplicate obligation names both clauses."
      },
      {
        "label": "C3",
        "kind": "requirement",
        "text": "Signatures — Specifications and witnesses verify over the preimages in §2.2 and §2.4, and altering any bound field invalidates the signature."
      },
      {
        "label": "C4",
        "kind": "requirement",
        "text": "The ladder — Grades are assigned per §2.5 and §2.6, with independence computed from key disjointness."
      },
      {
        "label": "C5",
        "kind": "requirement",
        "text": "Evaluation — The weakest-owed-obligation cap, the non-goal rule, the four flag conditions, staleness, and determinism under reordering all hold per §3."
      },
      {
        "label": "C6",
        "kind": "requirement",
        "text": "Drift — The §4.1 partition is computed by address, editorial revisions invalidate nothing, and a reused label is distinguished from a rewording."
      },
      {
        "label": "C7",
        "kind": "requirement",
        "text": "Cost — Aggregates carry the weakest contributing provenance; ratios are integer parts-per-million; absent figures are absent."
      },
      {
        "label": "C8",
        "kind": "requirement",
        "text": "Receipts — Receipts are derived from inputs, seal as JCR-1, omit absent fields, and carry the per-clause audit with means and anchor."
      },
      {
        "label": "C9",
        "kind": "requirement",
        "text": "Footprints — A witness applies at the state it observed, and at a later state whose parts still contain every footprint member; an empty or uncheckable footprint is stale (§2.4, §3.1). The footprint is signed, so widening it after signing invalidates the witness."
      },
      {
        "label": "C10",
        "kind": "requirement",
        "text": "Demonstrated failure — No evidence reaches `E3` without a killed counter-artifact and a stated anchor, and none reaches `E4` without both an independently cross-checked formalization and a refuted statement (§2.5, §2.6)."
      },
      {
        "label": "C11",
        "kind": "requirement",
        "text": "Attestation — The second axis is computed from work authorship and from agreement between disjoint parties, is absent where no implementer is known, and gates conformance alongside the grade (§2.8, §3.4)."
      }
    ],
    "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": [
    233,
    207,
    131,
    62,
    135,
    68,
    217,
    13,
    149,
    174,
    104,
    120,
    184,
    144,
    118,
    83,
    160,
    67,
    202,
    209,
    15,
    10,
    161,
    12,
    207,
    145,
    25,
    132,
    9,
    77,
    213,
    129,
    187,
    224,
    12,
    10,
    74,
    122,
    50,
    181,
    166,
    226,
    140,
    139,
    23,
    249,
    237,
    40,
    163,
    92,
    233,
    171,
    195,
    36,
    130,
    228,
    146,
    99,
    139,
    76,
    172,
    46,
    180,
    11
  ]
}