{ "ada": [ { "id": "GAda-reject-returns-deposit", "paidTo": [ 91 ] }, { "id": "GAda-retract-returns-deposit-and-tip", "paidTo": [ 91 ] } ], "cases": [ { "action": { "approval": { "assetName": 1604014105, "destination": 555, "edge": "insertActive", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "insertActive", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 203, 242, 156, 228, 132, 34, 35, 37 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [] }, "expectedAccept": true, "expectedReason": "", "id": "GA02-insert-active-accepted", "result": { "accepted": true, "state": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 253, 168, 231, 64 ], "terminalPolicy": 10 }, "custody": [], "held": [ { "datum": null, "key": 42, "kind": "active", "output": 555 } ], "trie": [ { "key": 42, "leaf": "active" } ] } }, "status": "modeled" }, { "action": { "approval": { "assetName": 2958227895, "destination": 555, "edge": "updateTerminal", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "updateTerminal", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 253, 168, 231, 64 ], "terminalPolicy": 10 }, "custody": [], "held": [ { "datum": null, "key": 42, "kind": "active", "output": 555 } ], "trie": [ { "key": 42, "leaf": "active" } ] }, "expectedAccept": true, "expectedReason": "", "id": "GA04-update-terminal-accepted", "result": { "accepted": true, "state": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 112, 0, 168, 235, 249 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [ { "key": 42, "leaf": "terminal" } ] } }, "status": "modeled" }, { "action": { "approval": { "assetName": 3114502957, "destination": 0, "edge": "insertAbsent", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "insertAbsent", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 203, 242, 156, 228, 132, 34, 35, 37 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-insertAbsent-unknown", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 3114502957, "destination": 0, "edge": "insertAbsent", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "insertAbsent", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 254, 168, 232, 211 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [ { "key": 42, "leaf": "absent" } ] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-insertAbsent-absent", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 3114502957, "destination": 0, "edge": "insertAbsent", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "insertAbsent", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 253, 168, 231, 64 ], "terminalPolicy": 10 }, "custody": [], "held": [ { "datum": null, "key": 42, "kind": "active", "output": 555 } ], "trie": [ { "key": 42, "leaf": "active" } ] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-insertAbsent-active", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 3114502957, "destination": 0, "edge": "insertAbsent", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "insertAbsent", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 112, 0, 168, 235, 249 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [ { "key": 42, "leaf": "terminal" } ] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-insertAbsent-terminal", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 84686170, "destination": 555, "edge": "updateActive", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "updateActive", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 203, 242, 156, 228, 132, 34, 35, 37 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-updateActive-unknown", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 84686170, "destination": 555, "edge": "updateActive", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "updateActive", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 254, 168, 232, 211 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [ { "key": 42, "leaf": "absent" } ] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-updateActive-absent", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 84686170, "destination": 555, "edge": "updateActive", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "updateActive", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 253, 168, 231, 64 ], "terminalPolicy": 10 }, "custody": [], "held": [ { "datum": null, "key": 42, "kind": "active", "output": 555 } ], "trie": [ { "key": 42, "leaf": "active" } ] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-updateActive-active", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 84686170, "destination": 555, "edge": "updateActive", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "updateActive", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 112, 0, 168, 235, 249 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [ { "key": 42, "leaf": "terminal" } ] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-updateActive-terminal", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 1281202456, "destination": 555, "edge": "deleteAbsent", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "deleteAbsent", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 203, 242, 156, 228, 132, 34, 35, 37 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-deleteAbsent-unknown", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 1281202456, "destination": 555, "edge": "deleteAbsent", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "deleteAbsent", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 254, 168, 232, 211 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [ { "key": 42, "leaf": "absent" } ] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-deleteAbsent-absent", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 1281202456, "destination": 555, "edge": "deleteAbsent", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "deleteAbsent", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 253, 168, 231, 64 ], "terminalPolicy": 10 }, "custody": [], "held": [ { "datum": null, "key": 42, "kind": "active", "output": 555 } ], "trie": [ { "key": 42, "leaf": "active" } ] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-deleteAbsent-active", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 1281202456, "destination": 555, "edge": "deleteAbsent", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "deleteAbsent", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 112, 0, 168, 235, 249 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [ { "key": 42, "leaf": "terminal" } ] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-deleteAbsent-terminal", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 1831697717, "destination": 555, "edge": "deleteActive", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "deleteActive", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 203, 242, 156, 228, 132, 34, 35, 37 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-deleteActive-unknown", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 1831697717, "destination": 555, "edge": "deleteActive", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "deleteActive", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 254, 168, 232, 211 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [ { "key": 42, "leaf": "absent" } ] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-deleteActive-absent", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 1831697717, "destination": 555, "edge": "deleteActive", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "deleteActive", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 253, 168, 231, 64 ], "terminalPolicy": 10 }, "custody": [], "held": [ { "datum": null, "key": 42, "kind": "active", "output": 555 } ], "trie": [ { "key": 42, "leaf": "active" } ] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-deleteActive-active", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 1831697717, "destination": 555, "edge": "deleteActive", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "deleteActive", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 112, 0, 168, 235, 249 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [ { "key": 42, "leaf": "terminal" } ] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-deleteActive-terminal", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 2140978678, "destination": 555, "edge": "witnessTerminal", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "witnessTerminal", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 203, 242, 156, 228, 132, 34, 35, 37 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-witnessTerminal-unknown", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 2140978678, "destination": 555, "edge": "witnessTerminal", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "witnessTerminal", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 254, 168, 232, 211 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [ { "key": 42, "leaf": "absent" } ] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-witnessTerminal-absent", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 2140978678, "destination": 555, "edge": "witnessTerminal", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "witnessTerminal", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 253, 168, 231, 64 ], "terminalPolicy": 10 }, "custody": [], "held": [ { "datum": null, "key": 42, "kind": "active", "output": 555 } ], "trie": [ { "key": 42, "leaf": "active" } ] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-witnessTerminal-active", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 2140978678, "destination": 555, "edge": "witnessTerminal", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "witnessTerminal", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 112, 0, 168, 235, 249 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [ { "key": 42, "leaf": "terminal" } ] }, "expectedAccept": false, "expectedReason": "edge-inadmissible", "id": "GR-excluded-witnessTerminal-terminal", "result": { "accepted": false, "reason": "edge-inadmissible" }, "status": "modeled" }, { "action": { "approval": { "assetName": 1604014105, "destination": 555, "edge": "insertActive", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "insertActive", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 253, 168, 231, 64 ], "terminalPolicy": 10 }, "custody": [], "held": [ { "datum": null, "key": 42, "kind": "active", "output": 555 } ], "trie": [ { "key": 42, "leaf": "active" } ] }, "expectedAccept": false, "expectedReason": "key-exists", "id": "GD01-register-occupied-refused", "result": { "accepted": false, "reason": "key-exists" }, "status": "modeled" }, { "action": { "approval": { "assetName": 1604014105, "destination": 555, "edge": "insertActive", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "insertActive", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 112, 0, 168, 235, 249 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [ { "key": 42, "leaf": "terminal" } ] }, "expectedAccept": false, "expectedReason": "key-exists", "id": "GD02-terminal-permanent-refused", "result": { "accepted": false, "reason": "key-exists" }, "status": "modeled" }, { "action": { "approval": { "assetName": 2958227895, "destination": 555, "edge": "updateTerminal", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "updateTerminal", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 203, 242, 156, 228, 132, 34, 35, 37 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [] }, "expectedAccept": false, "expectedReason": "key-unknown", "id": "GD03-termination-unknown-refused", "result": { "accepted": false, "reason": "key-unknown" }, "status": "modeled" }, { "action": { "approval": { "assetName": 2958227895, "destination": 555, "edge": "updateTerminal", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "updateTerminal", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 112, 0, 168, 235, 249 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [ { "key": 42, "leaf": "terminal" } ] }, "expectedAccept": false, "expectedReason": "terminal-immutable", "id": "GD04-termination-terminal-refused", "result": { "accepted": false, "reason": "terminal-immutable" }, "status": "modeled" }, { "action": { "approval": null, "claimed": [], "datum": null, "deposit": 0, "edge": "insertActive", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 203, 242, 156, 228, 132, 34, 35, 37 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [] }, "expectedAccept": false, "expectedReason": "no-approval", "id": "GD05-approval-missing-refused", "result": { "accepted": false, "reason": "no-approval" }, "status": "modeled" }, { "action": { "approval": { "assetName": 2958227895, "destination": 555, "edge": "updateTerminal", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "updateTerminal", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 253, 168, 231, 64 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [ { "key": 42, "leaf": "active" } ] }, "expectedAccept": false, "expectedReason": "token-missing", "id": "GC05-update-terminal-without-token", "result": { "accepted": false, "reason": "token-missing" }, "status": "modeled" }, { "action": { "approval": { "assetName": 2958227895, "destination": 555, "edge": "updateTerminal", "key": 42, "owner": 42, "policy": 7, "signatures": [] }, "claimed": [], "datum": null, "deposit": 0, "edge": "updateTerminal", "key": 42, "output": 555, "owner": 42, "reference": 0, "refundAddress": 0, "submittedAt": 0, "tip": 0 }, "before": { "config": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 254, 168, 232, 211 ], "terminalPolicy": 10 }, "custody": [], "held": [], "trie": [ { "key": 42, "leaf": "absent" } ] }, "expectedAccept": false, "expectedReason": "not-booked", "id": "GC06-update-terminal-legacy-absent", "result": { "accepted": false, "reason": "not-booked" }, "status": "modeled" } ], "codec": [ { "bytes": [ 0 ], "decodes": true, "expectedDecodes": true, "id": "GC01-decode-absent" }, { "bytes": [ 1 ], "decodes": true, "expectedDecodes": true, "id": "GC02-decode-active" }, { "bytes": [ 2 ], "decodes": true, "expectedDecodes": true, "id": "GC03-decode-terminal" }, { "bytes": [ 3 ], "decodes": false, "expectedDecodes": false, "id": "GC04-decode-03-refused" }, { "bytes": [], "decodes": false, "expectedDecodes": false, "id": "GC05-decode-empty-refused" }, { "bytes": [ 104, 101, 108, 108, 111 ], "decodes": false, "expectedDecodes": false, "id": "GC06-decode-naming-era-refused" }, { "bytes": [ 0, 1 ], "decodes": false, "expectedDecodes": false, "id": "GC07-decode-two-bytes-refused" } ], "configRoundtrip": true, "corpusSourceSha256": "50d22862aadc190778edc5024af5f628f3d176c88a26666c37c957408486b89d", "folds": [ { "id": "GF01-empty-fold-refused", "ok": false, "reason": "empty-fold", "verified": { "batch": true, "empty": true, "mint": true } }, { "id": "GF02-batch-accepted", "ok": true, "reason": "", "verified": { "batch": true, "empty": true, "mint": true } }, { "id": "GF03-mint-mismatch-refused", "ok": false, "reason": "net-mint-mismatch", "verified": { "batch": true, "empty": true, "mint": true } } ], "keyedMintRows": [ { "accepted": true, "actual": [ { "assetName": 5, "key": 5, "kind": "active", "policy": 8, "quantity": 1 }, { "assetName": 6, "key": 6, "kind": "active", "policy": 8, "quantity": 1 } ], "claimed": [ { "assetName": 5, "key": 5, "kind": "active", "policy": 8, "quantity": 1 }, { "assetName": 6, "key": 6, "kind": "active", "policy": 8, "quantity": 1 } ], "id": "GK01-two-keys-accepted", "perKindTotalsAgree": true, "reason": "", "requestsApplied": true, "statementSha256": "9c01e278443498d3488e6671cc1799393f565a2a1c0055c1926a8d3e559da988", "theorem": "Singular.Statements.fold_batch_claimed_mint_by_kind_key" }, { "accepted": false, "actual": [ { "assetName": 5, "key": 5, "kind": "active", "policy": 8, "quantity": 1 }, { "assetName": 6, "key": 6, "kind": "active", "policy": 8, "quantity": 1 } ], "claimed": [ { "assetName": 5, "key": 5, "kind": "active", "policy": 8, "quantity": 2 } ], "id": "GK02-same-kind-wrong-key-refused", "perKindTotalsAgree": true, "reason": "net-mint-mismatch", "requestsApplied": true, "statementSha256": "9c01e278443498d3488e6671cc1799393f565a2a1c0055c1926a8d3e559da988", "theorem": "Singular.Statements.fold_batch_claimed_mint_by_kind_key" } ], "model": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 203, 242, 156, 228, 132, 34, 35, 37 ], "terminalPolicy": 10 }, "modelSha256": "09283f0990dcef0d2f056b4d2d39f497466d6a71affcdbd1a959a82555e36bf1", "payloadSha256": "968750e3a7c2f9e42bc9e4f2ced2dc11e6d1c242cd82bfe1e5c6d679740ec769", "schema": "singular-logical-corpus-v2", "sourceHashes": { "lean/Main.lean": "50d22862aadc190778edc5024af5f628f3d176c88a26666c37c957408486b89d", "lean/Singular.lean": "d690425884693d54f5d4316836a6aed243fdab82754cde78612ecac0dd9040ea", "lean/Singular/Audit.lean": "2ef1e8f78746b0c91267729b20633b1deab774ded5c12538a1295f5aa1597e6b", "lean/Singular/Driver.lean": "e22bbbfe9bc009789a021e2200b5ba4db47b9cead2480ab63e55cd37ddbaa7d6", "lean/Singular/Lemmas.lean": "34ce08292ed74b0833e766e5cca4d1cfbe6b0a9c7267c6145eb726fa492fecba", "lean/Singular/Model.lean": "09283f0990dcef0d2f056b4d2d39f497466d6a71affcdbd1a959a82555e36bf1", "lean/Singular/Statements.lean": "77a0d2d899913eb9c403f85899f24bb2d5253a0408c921e870a28bfc86dd0d69" }, "statementsSha256": "77a0d2d899913eb9c403f85899f24bb2d5253a0408c921e870a28bfc86dd0d69", "theoremManifestSha256": "659b1b1e0697f0e6399be7a84108e212f176d5c7482e13f65b78014459ce4cb6", "tokenPolicies": { "absent": 9, "active": 8, "terminal": 10 }, "transactions": [ { "accepted": true, "activeQuantity": 1, "applicationPolicy": 7, "claimed": [ { "assetName": 42, "key": 42, "kind": "active", "policy": 8, "quantity": 1 } ], "destinationDatumBinds": true, "lovelaceCoversTip": true, "onlyRootChanges": true, "openPolicy": { "admitsAnyTuple": true, "crossRegistrySeparation": false, "hash": 7, "parameters": [] }, "profile": "insertActive", "secondInsert": { "accepted": false, "reason": "key-exists" }, "statementSha256": "3c8d7b9bd9092b29d2bbb58ebbca15b008dc9b9396899d9d67d55ea66e1f6070", "theorem": "Singular.Statements.insert_active_transaction_row", "tip": 1, "transaction": { "inputs": [ { "approvalQuantity": 0, "assets": [], "datum": "inline", "datumValue": null, "lovelace": 0, "role": "state", "stateToken": 1 }, { "approvalQuantity": 1, "assets": [], "datum": "inline", "datumValue": null, "lovelace": 5, "role": "request", "stateToken": 0 } ], "mint": [ { "assetName": 42, "key": 42, "kind": "active", "policy": 8, "quantity": 1 } ], "outputs": [ { "address": null, "assets": [], "commitment": null, "custodyDatum": null, "datum": "inline", "datumValue": null, "inlineConfig": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 111, 253, 168, 231, 64 ], "terminalPolicy": 10 }, "lovelace": 0, "reference": null, "role": "state", "stateToken": 1 }, { "address": 555, "assets": [ { "assetName": 42, "key": 42, "kind": "active", "policy": 8, "quantity": 1 } ], "commitment": 1604014105, "custodyDatum": null, "datum": "none", "datumValue": null, "inlineConfig": null, "lovelace": 0, "reference": null, "role": "destination", "stateToken": 0 } ], "refunds": [ { "address": 555, "value": 0 } ], "signers": [] } }, { "accepted": true, "activeQuantityAfter": 0, "activeQuantityBefore": 1, "applicationPolicy": 7, "burnSourced": true, "burned": [ { "assetName": 42, "key": 42, "kind": "active", "policy": 8, "quantity": -1 } ], "claimed": [ { "assetName": 42, "key": 42, "kind": "active", "policy": 8, "quantity": -1 } ], "destinationDatumBinds": true, "leafAfter": "terminal", "lovelaceCoversTip": true, "onlyRootChanges": true, "outputsHoldOnlyPositiveQuantities": true, "profile": "updateTerminal", "refusals": [ { "accepted": false, "id": "GT01-update-terminal-unknown-refused", "reason": "key-unknown" }, { "accepted": false, "id": "GT02-update-terminal-absent-refused", "reason": "not-booked" }, { "accepted": false, "id": "GT03-update-terminal-terminal-refused", "reason": "terminal-immutable" }, { "accepted": false, "id": "GT04-update-terminal-without-token-refused", "reason": "token-missing" } ], "spentByInputs": [ { "assetName": 42, "key": 42, "kind": "active", "policy": 8, "quantity": 1 } ], "statementSha256": "4806b33d0b74c975981c8905ceb8aab758efbe5d780eca50f59e68202ea2a4bf", "theorem": "Singular.Statements.update_terminal_transaction_row", "tip": 1, "transaction": { "inputs": [ { "approvalQuantity": 0, "assets": [], "datum": "inline", "datumValue": null, "lovelace": 0, "role": "state", "stateToken": 1 }, { "approvalQuantity": 1, "assets": [], "datum": "inline", "datumValue": null, "lovelace": 5, "role": "request", "stateToken": 0 }, { "approvalQuantity": 0, "assets": [ { "assetName": 42, "key": 42, "kind": "active", "policy": 8, "quantity": 1 } ], "datum": "none", "datumValue": null, "lovelace": 0, "role": "witness", "stateToken": 0 } ], "mint": [ { "assetName": 42, "key": 42, "kind": "active", "policy": 8, "quantity": -1 } ], "outputs": [ { "address": null, "assets": [], "commitment": null, "custodyDatum": null, "datum": "inline", "datumValue": null, "inlineConfig": { "absentPolicy": 9, "activePolicy": 8, "applicationPolicy": 7, "maxFee": 1, "processTime": 2, "retractTime": 3, "root": [ 26, 122, 121, 112, 0, 168, 235, 249 ], "terminalPolicy": 10 }, "lovelace": 0, "reference": null, "role": "state", "stateToken": 1 }, { "address": 42, "assets": [], "commitment": 2958227895, "custodyDatum": null, "datum": "none", "datumValue": null, "inlineConfig": null, "lovelace": 0, "reference": null, "role": "owner", "stateToken": 0 } ], "refunds": [ { "address": 42, "value": 0 } ], "signers": [] } } ] }