{ "artifact": "b3:05719e9abe2729462eb80c614ea69449b0ce9165010fde1b4413187be845fc1d", "clause_verdicts": [ { "anchor": "specification", "evidence_uj": 139730713, "grade": "E3", "kind": "requirement", "label": "C1", "means": "falsifiable", "obligation": "b3:adc5e745e3ef9f0f017f5b3b49f02e87e09f3ce90523807b333c75fdc57bee2a", "stale": 0, "witness": "b3:ea82a1462f0ae528874a25d4a29064ae4d51d984b32c689cce575e476f71dca5" }, { "anchor": "specification", "evidence_uj": 261673929, "grade": "E3", "kind": "requirement", "label": "C2", "means": "falsifiable", "obligation": "b3:814ffce0b4c9b37cb3a0171964b0af495d896d142fe2841a787d92f250f7b7a7", "stale": 0, "witness": "b3:c20d7b87ca653857a6b62f78400cd42d2d99a132a34fd3a94b88ff7a7cc9e881" }, { "anchor": "specification", "evidence_uj": 414690903, "grade": "E3", "kind": "requirement", "label": "C3", "means": "falsifiable", "obligation": "b3:b97f13ee7662fd25c38f45b86afffa1756e4904db6b3017b066c357f5207ce73", "stale": 0, "witness": "b3:2f881887042a17ae716852e26479da9720a3a898f0177dd4fe3ae9c2a92ec70b" }, { "anchor": "specification", "evidence_uj": 383318791, "grade": "E3", "kind": "requirement", "label": "C4", "means": "falsifiable", "obligation": "b3:4b5112bf045683cbec8973e40b2efe325410ab0638edb4853f77251a0d550d9f", "stale": 0, "witness": "b3:9eaa1f178c4679a902d882a43387eb9a4de982ce9273dd706e0cf6dcb9e447c0" }, { "anchor": "specification", "evidence_uj": 403680024, "grade": "E3", "kind": "requirement", "label": "C5", "means": "falsifiable", "obligation": "b3:83fb7c1fce0c05889e287ae4cc1659367c5e3a731339ceedf978ef1b16f063f7", "stale": 0, "witness": "b3:3e050c6d50d74450ff4f3cb23539149ec92d9ff60d46a70618149e8c02b3c7d1" }, { "anchor": "specification", "evidence_uj": 252481436, "grade": "E3", "kind": "requirement", "label": "C-neg", "means": "falsifiable", "obligation": "b3:6507f37527e2e4087f9bae36bf0be616a33bd604e824ff18e8af9122c48f31fa", "stale": 0, "witness": "b3:d5157feddeb335fa1a067b2776bb7127a4a6ae460a6c4e46f912744cc4bb5ba9" } ], "clauses": 6, "evidence_uj": 1855575796, "flags": 0, "grade": "E3", "joulespec_receipt": "joulespec/1", "open": 0, "owed": 6, "provenance": "Estimator", "spec": "b3:6a79446b181f33db7f07c6825d225934b45c974cb72f6fb16ef9402a6e0d1b75", "specified_uj": 0, "steward": "did:key:joulespec-applied-proof", "uj_per_falsifiable_clause": 309262632, "unspecified": [], "unspecified_uj": 0 }