{ "spec": { "profile": "joulespec/1", "alg": 1, "intent": "A corpus case: the clauses exist to be graded, not to be implemented.", "clauses": [ { "label": "C1", "kind": "requirement", "text": "The obligation is well evidenced." }, { "label": "C2", "kind": "non-goal", "text": "This is deliberately not built." } ], "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": [ 148, 34, 18, 119, 136, 194, 111, 179, 250, 200, 72, 216, 47, 65, 201, 173, 111, 205, 137, 157, 48, 136, 202, 31, 192, 213, 202, 244, 238, 224, 159, 203, 69, 144, 72, 131, 31, 192, 235, 61, 246, 47, 78, 143, 63, 240, 126, 85, 162, 221, 46, 196, 85, 63, 54, 129, 42, 251, 227, 224, 114, 191, 90, 9 ] }