metered-protocol 1.0.0

package/contracts/metered_session.tests.json

@@ -0,0 +1,1113 @@
+{
+  "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",
+        "0xbfbc6018651d277f454d19e1c6bdfcb45b2e17f34919bc49eedbdbc7e3a3881198b8591a76d31840110b76593c53c527ea263e2a932a048983195feef97c9d79",
+        "0x80553abd5481100bba39e29a903778284c07cc70422c885a2c132e1044dfefe1963b4979df45e7a6b697b5eb417bb123d416ff6e2c9981b4e05ec0d9dae8813a",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "pass",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "state": {
+              "pendingSeq": 0,
+              "pendingSompi": 1000000
+            }
+          }
+        ]
+      }
+    },
+    {
+      "name": "SUPERSEDE: a strictly higher seq replaces the pending claim",
+      "function": "settle",
+      "constructor_args": [
+        "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+        "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+        10,
+        0,
+        1000000
+      ],
+      "args": [
+        "0x4f355bdcb7cc0af728ef3cceb9615d90684bb5b2ca5f859ab0f0b704075871aa",
+        "0x466d7fcae563e5cb09a0d1870bb580344804617879a14949cf22285f1bae3f27",
+        "0x84218c173e19a686a5f50d14656c814e40e265d1a0b76371b5ffbf299cd0569640d908c88b39e5bf6ef489f8555d22ff6569b23777fd969a3d5d1d37fbae3447",
+        "0x27fd634731df88ef21e53ece5e64be547393c3847dd03f374156e4eb1c6bfd216c1551a4005e2bbcebc29fd91d9719ba271e6e111e60691597a8974a039b830b",
+        1,
+        1100,
+        2000000,
+        "0x77d47989a2ff919e610e8392e744ede4799485bcc181c55c058ae1d7615d301f"
+      ],
+      "expect": "pass",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              0,
+              1000000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              0,
+              1000000
+            ],
+            "state": {
+              "pendingSeq": 1,
+              "pendingSompi": 2000000
+            }
+          }
+        ]
+      }
+    },
+    {
+      "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",
+        "0x880c6c0e9839946991dd0a718b8847f7ab68160f1ad0e0226ce84d434a9d2d8f54e95f1084a99cb76718668fe983fe29d50f1f7a4fea7d178907eb4a1778afce",
+        "0x847c1c0fe4ee43296732a025f86f8bac8f272643902a60fb8f2a8f827f4ee771cdb150bfd53b21d78f63ff4b9e1ec91d9fd7be12e8d69ca43c1ace80c7269f2b",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              0,
+              1000000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              0,
+              1000000
+            ],
+            "state": {
+              "pendingSeq": 0,
+              "pendingSompi": 1000000
+            }
+          }
+        ]
+      }
+    },
+    {
+      "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",
+        "0xdec8028f12ba44555a81fcc09e4ea3506b337b51231e9d6893a25fa59a8f18e09a30140ce5f61b01e7bc458bdbe9c146797fdf740d979f126089aca6e27bc5d6",
+        "0x98b90babe0378f5ba93a07822d7652dc1e0d76c3fb20322e13901da9c22f8964e4fd220ba3cb7b7b1eb904fd785a0f19f4cc43b46aa87f9af0712f457915b8a2",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              5,
+              9000000
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              5,
+              9000000
+            ],
+            "state": {
+              "pendingSeq": 0,
+              "pendingSompi": 1000000
+            }
+          }
+        ]
+      }
+    },
+    {
+      "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",
+        "0xf288f37c32d15d92cdbca67ba72bdb021aa43c2381eb17d931cde24e23650ab21249bd9938966fb91b7a17516b4bd345009ffba0fb3dcab1dd2f3895a6de8667",
+        "0x6008bb5cdfacd7f6a9e0b8409bdbb22d8bf100d4ab225b2695574b477eff369046e247bad0c1e865dfb057c609312293a7cae7190d1f78efcd4ec08bc44c9643",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "state": {
+              "pendingSeq": 0,
+              "pendingSompi": 1000000
+            }
+          }
+        ]
+      }
+    },
+    {
+      "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",
+        "0xc70426a6ce76014122fd82dfa7420fa788722c8b0cc52955ca16f2a8c83ec170f9c736440c70dfdd580b430020aa2e8838efe520b0e23ab4f999c798278f5101",
+        "0x114ce6b57b1cee183772ececa5882951e8b305cb8a3e1e70d65209c754590b0e5ee20027914cb7b65c918abd077ae0eca677625ea5b90dc81679d1691818ae29",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "state": {
+              "pendingSeq": 0,
+              "pendingSompi": 1000000
+            }
+          }
+        ]
+      }
+    },
+    {
+      "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",
+        "0xe70bb0333706f4f2b62268151331b241aa1b58fcfcca01164af88c1691f7101e28f4a1c3e02f10ac2b4e5530f9212339daa1b5da37a2da41d7575bfc3bd93e98",
+        "0x020a0448ef08e1132f16636dfc4cecae1065c2138d7368f5e71740d13d45139e617f3e0765db4da89129ec787791b27ee792f9b33b4cb4f6a0aff7033bf2628d",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xc3c3c3c3c3c3c3c3c3c3c3c3c3c3c3c3",
+              10,
+              -1,
+              0
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xc3c3c3c3c3c3c3c3c3c3c3c3c3c3c3c3",
+              10,
+              -1,
+              0
+            ],
+            "state": {
+              "pendingSeq": 0,
+              "pendingSompi": 1000000
+            }
+          }
+        ]
+      }
+    },
+    {
+      "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",
+        "0x59e522ff528e6431b7623906eca4c014c08d2651a8594759f0b6ea83be9c1ebee4557d7de64dea42c10b46b1d596ce4442c8534776ada493691f1cec6b1b9e65",
+        "0xb8c16249131caa21c3eacd959ec56bc78665c2f2432d0f5d127dff5696817f8dec1db254ceb5cdb38446fb7712b7ff42b1aa97443fed1dcb1e3d6a96373d4abb",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9599999,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "state": {
+              "pendingSeq": 0,
+              "pendingSompi": 1000000
+            }
+          }
+        ]
+      }
+    },
+    {
+      "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",
+        "0xcfd78e01e284d25d2c005e713b48ec758d818f157d127deb81d9bdd209b97e02d6adbc9946ff971f58c463fa419e911fbe377b9d144991d24ff9639233a646d3",
+        "0xf8abffd1932cc17bbea429324131cd14356ad2f47f7132dbe6dc19bce075675ee4d5c975db2b9b5ed31a433a50f342130627aa757ac4dc093aa054deba1b55df",
+        0,
+        550,
+        1000000,
+        "0x0000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "expect": "fail",
+      "tx": {
+        "active_input_index": 0,
+        "inputs": [
+          {
+            "utxo_value": 10000000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ]
+          }
+        ],
+        "outputs": [
+          {
+            "value": 9600000,
+            "constructor_args": [
+              "0x221a066ade0a7a7a0a89fd975e9a797b23e85d5cdfe053e128f0dc7772166095",
+              "0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
+              10,
+              -1,
+              0
+            ],
+            "state": {
+              "pendingSeq": 0,
+              "pendingSompi": 9000000
+            }
+          }
+        ]
+      }
+    },
+    {
+      "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",
+        "0x2e7754f6089b4c34c86dd761bd1b45823a96e521233053ef63cd33cd8abe4637e2b84a88d099d1501f3f230e421905681f4ddbaa60e4d4f0cfc18fcd55f7df8d01"
+      ],
+      "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",
+        "0x36bc23ff88c8252e6ae249c4d1270909d37c6b75bf06bf550a68f94a8052794c494096afd98c8e08969cdf1c5aa82332758e7e84197f8909dfc022d53728b2bc01"
+      ],
+      "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",
+        "0x479ef5fabf54b08e85ab3d2de475baa81aca23e12ad35a2be6a8ec22afe53151aae92b2b41d18154f8ef80542da58ceec43d88d73b3e343aa89ea5cde525a30a01"
+      ],
+      "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",
+        "0xb7d55b4d2cda806e2c4414aed7eddd942f36cf8e2afcaf264547fbcf880f3a7540b89a7874ad29ff6bb8917ed2d4f7508e5712beb6fec0e0a26e016a98c8b51d01"
+      ],
+      "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",
+        "0x8a8681e9e399c176b05a54030f06ff20898f56eeee625fb2e78b1e8184a15a5e4fdc96c194dbf0557e7fc9d926e7cf594798c5f27b1f212e3d01b7a748c251f001"
+      ],
+      "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",
+        "0x885b396056c2995b7e87418c8ad40a88355a13eccda3f4de88fbdcf65b65d56560870903ded507e39cf304129124a5c73a758a12a638679050dd828c21053c0801"
+      ],
+      "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",
+        "0xa9b3cb27783776fba393a9ebf80cf5794f9124cb6b634fbc008165747ddfaf4824c049e0ee95a5861fe1f2842f6df7c6916b0d19780c9aedacd8cdb07b27100a01"
+      ],
+      "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",
+        "0x61b58b4767660bd8b24417de98f6f8770db9f990650fc89d5cf5627ca622a0d0a496d9123f78967121db86ccd865dc5ed4bf691641ee11cd302c3237a1cb80d901"
+      ],
+      "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",
+        "0x29d0386cb196d831e2ecf34a4147d5e4eccaef490a28737e2f9c68f4efcb1253eeeb183deacba90dff35640aa168b1328ad7aab93230bdbf3f687e5a3a7230be01"
+      ],
+      "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",
+        "0x6b6e42d78803ef1082f276a4617b240fdd8aeaa50f1a84517b49d710db4e305cbd8b4b2ecb8fc7630663788b20ae57a42752604d8075e02525d65b5745b1944701"
+      ],
+      "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",
+        "0x9993c7a160eba8235156da7970b607888b65691e73da8df9da0e9c1d7b29284ec6bf162b7e71587fa7a2d59e01c84e72ba0ff5825c5158b3313f28b5e56af46301"
+      ],
+      "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",
+        "0x6e482b4439dedd0007c4f15f1f87e028630d6f3e0fd9f336eab9cbb1bf0e592ae50f750a91e4789bb70415926bc4499e0f73477542948637b8530e15b0cf678d01"
+      ],
+      "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",
+        "0x1d24f73aa74822e7e515a92b01a3941e584292f2a8ded8f644a83e210a1a6bc914588e9089a0a63c13a2dee791750aaab6e692c8a657f0dc042dd5c83ce07cb801"
+      ],
+      "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",
+        "0x08baaf3eb0d33147232adb8af35c9af4a85358f7a74e81b90aaa7d17c610498d7fcf66feaac9d94d620b200356be3e1ead40cdddef0fb70b860205e37f78b17b01"
+      ],
+      "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",
+        "0x1025e4bbb8828828165508ad3605446b837de18c26be51048d1ff4302ee1b1464f9850ca601fd7672e6d903623a655b4351f6b632360b084a928e1a3a952ce5e01"
+      ],
+      "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"
+          }
+        ]
+      }
+    }
+  ]
+}