metered-protocol 1.0.0

package/dist/contracts/metered_ag.tests.json

@@ -0,0 +1,1226 @@
+{
+  "tests": [
+    {
+      "name": "the first claim: a doubly-signed State at seq 0 posts, and pays nobody",
+      "function": "settle",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        -1,
+        0
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x94aa10fbe2a96cddb6a1ab9e7cce35dfdb6ba6b2d09e766b436f59d0cef0d9ec9e44182c832db128547826c2e2c3322a538fd06a2e7bfb977b76b77bbef7cdfb",
+        "0xa31831a0c7e2017d5a0e33d7887b8998804af2edb1b54525dfd0b9333c4b9d3e0ed18dedd878f6dd4b528924bbf926330c158261103209932ec0ff87b311dac5",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "pass",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c"
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "state": {
+              "parties": "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "session_id": "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              "window": 10,
+              "pending_seq": 0,
+              "pending_sompi": 1000000
+            },
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c",
+            "authorizing_input": 0
+          }
+        ]
+      }
+    },
+    {
+      "name": "SUPERSEDE: a strictly higher seq replaces the pending claim",
+      "function": "settle",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        0,
+        1000000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x8d85a711acdddd3e0638377ab1550c33875d0bab911c7e16401be6def551a9e546a8a00455c101a49f666185cda54f34a2b1d33d349349a9ac9eec52687b2bdd",
+        "0xfed9d2c7db48956635e403d10ed2d66b83d6682a5fe43505ed59522c9e8aa7ffd3f3f0f4a367d401021c31b7a90e6d195f1618328e2215a6aaf0a089ff6d2ed2",
+        1,
+        1100,
+        2000000,
+        "0x77d47989a2ff919e610e8392e744ede4799485bcc181c55c058ae1d7615d301f"
+      ],
+      "expect": "pass",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              0,
+              1000000
+            ],
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c"
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              0,
+              1000000
+            ],
+            "state": {
+              "parties": "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "session_id": "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              "window": 10,
+              "pending_seq": 1,
+              "pending_sompi": 2000000
+            },
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c",
+            "authorizing_input": 0
+          }
+        ]
+      }
+    },
+    {
+      "name": "P6/B5 THE STALE CLOSE: re-posting the SAME seq over a pending claim is refused",
+      "function": "settle",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        0,
+        1000000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0xdb3f4e6119c0d5188b593527069637e852504ad33b10defb26e75c7c0860c6606e5ae377d30f2ac521b7626006b7532118ff39656b471c0450adeb0f853740f6",
+        "0x6e39f26c11a4b12b496d413fb5272d319a03f1ab4a348e675f73ef12f7adbf900c131b79681d946aff09d7a5e635fa749bf05870b01332968e2e6e3487c1d11f",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              0,
+              1000000
+            ],
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c"
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              0,
+              1000000
+            ],
+            "state": {
+              "parties": "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "session_id": "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              "window": 10,
+              "pending_seq": 0,
+              "pending_sompi": 1000000
+            },
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c",
+            "authorizing_input": 0
+          }
+        ]
+      }
+    },
+    {
+      "name": "a LOWER seq than the pending claim is refused -- supersede is strict, not >=",
+      "function": "settle",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        5,
+        9000000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x2785c9e44feb9b56a429a3cb617126cac858c3ec64177fa2c4120e18d3ce56b62b608cf635698ddf5cd526c77f67c020aab7f9c52ec84a69495d263ece97aa48",
+        "0xafe5a808e96ae23a43ab5b1653921716282840c780e8fe0b996cedd70ac396a5a6c8e1a9753fa067e536a58e7bd720660a8450279bac67a35ae56d9bc4887fa8",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              5,
+              9000000
+            ],
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c"
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              5,
+              9000000
+            ],
+            "state": {
+              "parties": "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "session_id": "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              "window": 10,
+              "pending_seq": 0,
+              "pending_sompi": 1000000
+            },
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c",
+            "authorizing_input": 0
+          }
+        ]
+      }
+    },
+    {
+      "name": "THE FORGERY: a State signed by a stranger instead of the buyer is refused",
+      "function": "settle",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        -1,
+        0
+      ],
+      "args": [
+        "0x3c72addb4fdf09af94f0c94d7fe92a386a7e70cf8a1d85916386bb2535c7b1b1",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x8bad0a12e623bd9cf605e1c2e3e05cdcfedd23e8dc1524c3887fe374821d18216ac05e1fc22fe11d47f3a990876367be596e67a78c3c203e5e54aa678f9b688c",
+        "0xd85ae49e20cc04be361c1c90a2cd0607d987bfdac414f2df488fc4e6a70e2ea5f3719e4c20fc9f667d31216fe5d44cff8459612deece2eed351fbbd8b4bcaa4f",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c"
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "state": {
+              "parties": "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "session_id": "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              "window": 10,
+              "pending_seq": 0,
+              "pending_sompi": 1000000
+            },
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c",
+            "authorizing_input": 0
+          }
+        ]
+      }
+    },
+    {
+      "name": "ONE SIGNATURE IS NOT A STATE: the provider signing both halves is refused",
+      "function": "settle",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        -1,
+        0
+      ],
+      "args": [
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0xe22b0f81eebde7a3bb3ca1e1606d3c4dbea40db3dca8b7296dc2b5f50315f1babc1c58b4738328ac2139984a4fdce81a56c9cce486a61739b90551652830fb8c",
+        "0x733507c124b10696894b1fee184567d3bef6ba16d3e219472b77fc9a03364fcb1edbf8f3d034f7f8c07fb92e049b3f5a2671716b8e56c2e2c6be9b40e0932e45",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c"
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "state": {
+              "parties": "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "session_id": "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              "window": 10,
+              "pending_seq": 0,
+              "pending_sompi": 1000000
+            },
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c",
+            "authorizing_input": 0
+          }
+        ]
+      }
+    },
+    {
+      "name": "X1 CROSS-SESSION REPLAY: a State signed for another session is refused",
+      "function": "settle",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xc3c3c3c3c3c3c3c3c3c3c3c3c3c3c3c3",
+        10,
+        -1,
+        0
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x92d43884460fe6b9382bc05d4ae696496150cec760641413c9eaf89bfc2617d584effb1b7036fa7d7c65a80a05c2a9f8cea60af7fed5cb0ce5fc2f0a9c5c6ac8",
+        "0x3e303fd62c66baae177229da4d55d24766a496fb8786485f08bdbea7262d2e02ecfa4e191f3dcb0a5a5d84d246ac01d0b893cfa0dd2918c7edf72bc260313b81",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xc3c3c3c3c3c3c3c3c3c3c3c3c3c3c3c3",
+              10,
+              -1,
+              0
+            ],
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c"
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xc3c3c3c3c3c3c3c3c3c3c3c3c3c3c3c3",
+              10,
+              -1,
+              0
+            ],
+            "state": {
+              "parties": "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "session_id": "0xc3c3c3c3c3c3c3c3c3c3c3c3c3c3c3c3",
+              "window": 10,
+              "pending_seq": 0,
+              "pending_sompi": 1000000
+            },
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c",
+            "authorizing_input": 0
+          }
+        ]
+      }
+    },
+    {
+      "name": "THE DRAIN: a settle keeping more than the fee instead of returning the funds is refused",
+      "function": "settle",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        -1,
+        0
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x4cacb0e722f47e9a894ece7023acbb64a81d604a7611e1908522a2d169d9732b3f6d51b81a2b0fed4962e5eb41fe62acc27158ef2ef26259235529bc629ac78d",
+        "0x2431995ec07fbefba383040a0cc800db9d7da3e0324f65b662945060b59872f5d8bb18f6e6cf30ea771de50034353e48d02f7cfe665cf865786b53c9fa6b1474",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c"
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9599999,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "state": {
+              "parties": "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "session_id": "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              "window": 10,
+              "pending_seq": 0,
+              "pending_sompi": 1000000
+            },
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c",
+            "authorizing_input": 0
+          }
+        ]
+      }
+    },
+    {
+      "name": "THE LIE: a settle whose carried state does not match the State it verified is refused",
+      "function": "settle",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        -1,
+        0
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x4f77e6d7415f20d0491063aa533790db076c268e93f62949d9eaa0663aeabadcedcda1c9987b970d4172525d8de37ea8b316e9cfdf32209f2eb449fa7de1cc18",
+        "0x5b4b1531b19f4267f7ca8493218bb133606ea215bf271e06b9d062222d8b0653c99796807e51a8555bd263ce7dd1ebb4a9bbfb2ff1b4600f6bfee4b843463321",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c"
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "state": {
+              "parties": "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "session_id": "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              "window": 10,
+              "pending_seq": 0,
+              "pending_sompi": 9000000
+            },
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c",
+            "authorizing_input": 0
+          }
+        ]
+      }
+    },
+    {
+      "name": "IDENTITY DRIFT: a continuation that rewrites the session_id it carries is refused",
+      "function": "settle",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        -1,
+        0
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x2f089adb5da2d7fad1d0c5373f18e59df31263997f4b1c920314235f1d810a2cbe4d6c83a89727b7651028624ccfa0c70e314c1ce54acba586f114aef412e326",
+        "0x6428a43d35110d54a556508784b833beb391d4592c72138c9586543e4e1a8b2ca7b212e2ef3e82946029c31c84b30ceafcd286942567c1f462cdf5ebad0fafec",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c"
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "state": {
+              "parties": "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "session_id": "0xc3c3c3c3c3c3c3c3c3c3c3c3c3c3c3c3",
+              "window": 10,
+              "pending_seq": 0,
+              "pending_sompi": 1000000
+            },
+            "covenant_id": "0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c",
+            "authorizing_input": 0
+          }
+        ]
+      }
+    },
+    {
+      "name": "BUG 1, THE STUCK FUNDS: nobody ever settled, so the buyer takes everything back",
+      "function": "expire",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        -1,
+        0
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0xc557ced67a1ba7793096ba458af45bcb44965b1670655fdcb0496c2162b58e493f934390ca299204c2259b955f0ce37e20aa88916aa418daa3d501505ca3005601"
+      ],
+      "expect": "pass",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "sequence": 10,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "p2pk_pubkey": "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa"
+          }
+        ]
+      }
+    },
+    {
+      "name": "BUG 1: with no claim, paying the provider instead of refunding the buyer is refused",
+      "function": "expire",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        -1,
+        0
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0xd9434ac1846649061d4395a0dcf00db5c8098f771184029fafd122ee85379117589941d87b6b971a24a2ee665ff0799d87a2ef91d8a8c3346dbfdde90daab38d01"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "sequence": 10,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "p2pk_pubkey": "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27"
+          }
+        ]
+      }
+    },
+    {
+      "name": "the normal payout: the provider takes the claim, the buyer takes the remainder",
+      "function": "expire",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        3,
+        4000000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x16ebd6b7c6712c3cf1075f5a36c9fc78114aefd11569d1ba89d3354674acf59d8902fc62e9f6358e82e03a6d1fcacb99c993faa62e551b4a92ef08349c2dc05301"
+      ],
+      "expect": "pass",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "sequence": 10,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              3,
+              4000000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 4000000,
+            "p2pk_pubkey": "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27"
+          },
+          {
+            "value": 5600000,
+            "p2pk_pubkey": "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa"
+          }
+        ]
+      }
+    },
+    {
+      "name": "BUG 2, THE BURNED REFUND: paying the buyer a token amount and burning the rest to fee is refused",
+      "function": "expire",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        3,
+        4000000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0xb82af46296f11d5f397412a593c33f6b92a461e28b5d41f3115d9955cb8b8b5ad0cc97c7446480546b4c18a8d2963559e0c105dbb019c2ce6c51eabf0d47038b01"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "sequence": 10,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              3,
+              4000000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 4000000,
+            "p2pk_pubkey": "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27"
+          },
+          {
+            "value": 1,
+            "p2pk_pubkey": "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa"
+          }
+        ]
+      }
+    },
+    {
+      "name": "THE OVERCLAIM: paying the provider more than the pending claim is refused",
+      "function": "expire",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        3,
+        4000000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0xacb1a6e9684c8022102d9b23778db5e9ca5db68f31dfc4612a1324a14f2e768f195fe61d99af6002c93f87a8c95bfa07714bc221fbe66a878ecbf733bd81a41701"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "sequence": 10,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              3,
+              4000000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 5000000,
+            "p2pk_pubkey": "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27"
+          },
+          {
+            "value": 4600000,
+            "p2pk_pubkey": "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa"
+          }
+        ]
+      }
+    },
+    {
+      "name": "THE WRONG DESTINATION: paying the claim to a stranger instead of the provider is refused",
+      "function": "expire",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        3,
+        4000000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x4376deb2ea8bf338b6a81e4ea7a13673d9e6f0acaea8406ac33063dd4f9bf1ec7064407c36fb97f60693ccc1490ca0ad6f9416a298626d2f24048fbcd49bfb2c01"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "sequence": 10,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              3,
+              4000000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 4000000,
+            "p2pk_pubkey": "0xcccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc"
+          },
+          {
+            "value": 5600000,
+            "p2pk_pubkey": "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa"
+          }
+        ]
+      }
+    },
+    {
+      "name": "A STRANGER CANNOT CLOSE: expire signed by neither party is refused",
+      "function": "expire",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        3,
+        4000000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x9704b63d4978d6252e2393b03c0dc43cceb62b8f3e584a427862e7d16f5a3f6aa953f4d81e6967eb4b7c2817ef85433bcc27d52c00e63685757d5c17a36150b401"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "sequence": 10,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              3,
+              4000000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 4000000,
+            "p2pk_pubkey": "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27"
+          },
+          {
+            "value": 5600000,
+            "p2pk_pubkey": "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa"
+          }
+        ]
+      }
+    },
+    {
+      "name": "FINDING G: a claim too small to pay closes to the buyer instead of locking forever",
+      "function": "expire",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        3,
+        100000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x1d608ba7488792efa2df23827c5e7794083194a30ad83bc0d1e1046fa60165af0bf1584fccf48e3bd160bf8d3d3a67ba5f57512a75ed105784caecc22e52b97e01"
+      ],
+      "expect": "pass",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "sequence": 10,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              3,
+              100000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "p2pk_pubkey": "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa"
+          }
+        ]
+      }
+    },
+    {
+      "name": "FINDING G: a dust claim may NOT be paid to the provider -- it cannot be created",
+      "function": "expire",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        3,
+        100000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x9958d8ef03b9d61708713767688e80c0e4746f348c27fafdc4be583c118348fd909da6526d4fc2b99e44a8173d8ccc2acc02275a1447daf8509acf2d3da6b9f001"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "sequence": 10,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              3,
+              100000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 100000,
+            "p2pk_pubkey": "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27"
+          },
+          {
+            "value": 9500000,
+            "p2pk_pubkey": "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa"
+          }
+        ]
+      }
+    },
+    {
+      "name": "THE UNCLOSABLE WINDOW: a claim just above the old dust line folds, it does not strand",
+      "function": "expire",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        3,
+        2100000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x3a04fdb0f8dfaddd7321edc86539613f3adabf3859e916657880873ba5506834fb41eb3341fb324f80254f5f2f660492e07a665dcfda28706a170e862c19463c01"
+      ],
+      "expect": "pass",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "sequence": 10,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              3,
+              2100000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "p2pk_pubkey": "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa"
+          }
+        ]
+      }
+    },
+    {
+      "name": "THE UNCLOSABLE WINDOW: that same claim still may not be paid to the provider",
+      "function": "expire",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        3,
+        2100000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x4f6cc73c365fc92319db941551b7736e60595ba6222ece57f8edd96a6570e37a01bde6cc0fe6024a10098100eaf13b56ebee247bccd7b1f767e452436200b20901"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "sequence": 10,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              3,
+              2100000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 2100000,
+            "p2pk_pubkey": "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27"
+          },
+          {
+            "value": 7500000,
+            "p2pk_pubkey": "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa"
+          }
+        ]
+      }
+    },
+    {
+      "name": "FINDING H: a one-output close that burns a payable refund to fee is refused",
+      "function": "expire",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        3,
+        4000000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0xb0bfe673ecefff81246fec0b1cdfc1fe9ec8451dc9f1e47367af90c95b98844aeaba7cd6f20c629cf8fc0660da26af08ea9a26cffe4e40f5d2837104e26241b201"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "sequence": 10,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              3,
+              4000000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 4000000,
+            "p2pk_pubkey": "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27"
+          }
+        ]
+      }
+    },
+    {
+      "name": "a refund too small to pay folds into the provider, rather than locking the balance",
+      "function": "expire",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        3,
+        9000000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x61dd1fdc2e822854f91c6da96a7cc89e7a76a47c83971418c13f5ed351950e2a8445904021fb799da1ff62010d63beee5066a7dfc9fe4658d5da3ae7094dfcb001"
+      ],
+      "expect": "pass",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "sequence": 10,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              3,
+              9000000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9000000,
+            "p2pk_pubkey": "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27"
+          }
+        ]
+      }
+    },
+    {
+      "name": "FINDING J: two covenant inputs paying out once is refused -- input-group closure",
+      "function": "expire",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        3,
+        4000000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0xd52d5d3b05ad1052689600f6ffb1dff230860e2b695f67b899b0d922c59629572f8597ca3706f577cd18775e6278dde0e4d15373d583e0cfd7f9f9c941bd044d01"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "sequence": 10,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              3,
+              4000000
+            ]
+          },
+          {
+            "utxo_value": 10000000,
+            "sequence": 10,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              3,
+              4000000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 4000000,
+            "p2pk_pubkey": "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27"
+          },
+          {
+            "value": 5600000,
+            "p2pk_pubkey": "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa"
+          }
+        ]
+      }
+    },
+    {
+      "name": "P10/THE EARLY CLOSE: expiring before the response window has passed is refused",
+      "function": "expire",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        3,
+        4000000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0xc7528b5110cb771459f3c88f31738d55ae27dff6ffa23797e7200ee5053105d094acd060a568118cbf78cdda47112725e28ee7a202e3a1e5ac7db6813f2c030b01"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "sequence": 9,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              3,
+              4000000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 4000000,
+            "p2pk_pubkey": "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27"
+          },
+          {
+            "value": 5600000,
+            "p2pk_pubkey": "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa"
+          }
+        ]
+      }
+    }
+  ]
+}