{ "artifact": "b3:522f65149fd69b1b2748015af25b4891dc01b4f81dff8a7992851462e20838d0", "attestation": "A0", "clause_verdicts": [ { "attestation": "A1", "evidence_uj": 4200, "grade": "E4", "kind": "requirement", "label": "C1", "means": "proved", "obligation": "b3:d60a5a1bf07e22708d5804e949d68753889866cba079fae8c374e35047827e32", "stale": 0, "witness": "b3:6fe0f12c4294b632440fcec85c7f7cfad815be2ca7ea0e3fb2b36d9fe0f8498d" }, { "anchor": "specification", "attestation": "A1", "evidence_uj": 1100, "grade": "E3", "kind": "constraint", "label": "C2", "means": "falsifiable", "obligation": "b3:86c8c620f1b4cbd79fb510114ce0b0a11eeb71d8c69c914ad7b1c841cb9d17e6", "stale": 0, "witness": "b3:590e09340bc090a6e04dcb5001e82395f730b9bcc17444eeb2756c9667d9cc1b" }, { "attestation": "A0", "evidence_uj": 50, "grade": "E0", "kind": "requirement", "label": "C3", "means": "cited", "obligation": "b3:44de2cb174e47f9c2e5f9522d7608677e29269bb3a96cc089723d760a8938527", "stale": 1, "witness": "b3:d897c982f31cd2ddc3a3ebef3abe5d63cfceeedb178ce6b6372a68ce7762a976" }, { "evidence_uj": 0, "kind": "non-goal", "label": "C4", "obligation": "b3:9b812fd3f965384282cc5dd06177ee876980878f3f2406d70b98480c705ff723", "stale": 0 } ], "clauses": 4, "evidence_uj": 5350, "flags": 0, "grade": "E0", "joulespec_receipt": "joulespec/1", "open": 1, "owed": 3, "provenance": "Estimator", "spec": "b3:09f37548abdec90b4aac8c15cafabff7e2c5313e1c50b7e6b0b07ff2de4c0ae7", "specified_ppm": 750000, "specified_uj": 750000, "steward": "did:key:joulespec-vector-steward", "uj_per_falsifiable_clause": 502675, "unspecified": [ "b3:70b11c91e7cb2bf75d701f1a476069f87245a3ef90d4be7d3d138847221d80db" ], "unspecified_uj": 250000 }