@lapxo/bound 0.2.3 → 0.2.5

package/docs/contracts/conformance.json

@@ -0,0 +1,142 @@
+{
+  "profile": "bound-conformance@1",
+  "contract": "sha256:7097713afcfb5859850d96b66aced8ea6ea09f738b34f79a87bb77938fa1c6e6",
+  "cases": [
+    {
+      "id": "yes/compatible",
+      "covers": [
+        "rule/compatible"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"scope\":\"B\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-B\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"1\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"C\",\"restsOn\":\"B\",\"type\":\"cell\",\"id\":\"def-C\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"2\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"G\",\"restsOn\":\"C\",\"type\":\"cell\",\"id\":\"def-G\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"3\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"D\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-D\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"4\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"s-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"value\":\"0..50\",\"by\":\"test\",\"epoch\":\"5\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"j-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"local\",\"widens\":\"local-opening\",\"value\":\"0..100\",\"by\":\"test\",\"epoch\":\"6\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"r-B\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"40..*\",\"by\":\"test\",\"epoch\":\"7\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-C\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"42..48\",\"by\":\"test\",\"epoch\":\"8\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-L\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"44..47\",\"by\":\"test\",\"epoch\":\"9\"}}]]",
+      "expected": "[\"fact\",[{\"cell\":\"B\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":40,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":100},\"origins\":[],\"rest\":[],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":100}},\"rest\":[],\"ownMarks\":[\"s-B\",\"j-B\",\"r-B\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"lo\":0,\"hi\":50},\"id\":\"s-B\",\"at\":5},{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":{\"lo\":0,\"hi\":100},\"widens\":\"local-opening\",\"at\":6,\"id\":\"j-B\"},{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"lo\":40,\"hi\":100},\"id\":\"r-B\",\"at\":7}],\"claims\":[]},{\"cell\":\"C\",\"state\":\"FREE\",\"parts\":{\"floor\":{\"lo\":44,\"hi\":47},\"ceiling\":{\"lo\":44,\"hi\":47},\"origins\":[{\"id\":\"c-C\",\"at\":8,\"origin\":\"ana\",\"span\":{\"lo\":42,\"hi\":48}},{\"id\":\"c-L\",\"at\":9,\"origin\":\"luis\",\"span\":{\"lo\":44,\"hi\":47}}],\"rest\":[\"B\"],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[\"B\"],\"ownMarks\":[],\"ownClaims\":[{\"id\":\"c-C\",\"origin\":\"ana\"},{\"id\":\"c-L\",\"origin\":\"luis\"}],\"marks\":[],\"claims\":[{\"id\":\"c-C\",\"at\":8,\"origin\":\"ana\",\"span\":{\"lo\":42,\"hi\":48}},{\"id\":\"c-L\",\"at\":9,\"origin\":\"luis\",\"span\":{\"lo\":44,\"hi\":47}}]},{\"cell\":\"G\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":40,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":50},\"origins\":[],\"rest\":[\"C\",\"B\"],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[\"C\",\"B\"],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]},{\"cell\":\"D\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":0,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":100},\"origins\":[],\"rest\":[],\"required\":{\"lo\":0,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":100}},\"rest\":[],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]}]]\n"
+    },
+    {
+      "id": "yes/incompatible-origins",
+      "covers": [
+        "rule/incompatible-origins"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"scope\":\"B\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-B\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"1\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"C\",\"restsOn\":\"B\",\"type\":\"cell\",\"id\":\"def-C\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"2\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"G\",\"restsOn\":\"C\",\"type\":\"cell\",\"id\":\"def-G\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"3\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"D\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-D\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"4\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"s-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"value\":\"0..50\",\"by\":\"test\",\"epoch\":\"5\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"j-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"local\",\"widens\":\"local-opening\",\"value\":\"0..100\",\"by\":\"test\",\"epoch\":\"6\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"r-B\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"40..*\",\"by\":\"test\",\"epoch\":\"7\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-C\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"42..48\",\"by\":\"test\",\"epoch\":\"8\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-L\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"44..47\",\"by\":\"test\",\"epoch\":\"9\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"disagreement\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"40..43\",\"by\":\"test\",\"epoch\":\"10\"}}]]",
+      "expected": "[\"fact\",[{\"cell\":\"B\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":40,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":100},\"origins\":[],\"rest\":[],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":100}},\"rest\":[],\"ownMarks\":[\"s-B\",\"j-B\",\"r-B\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"lo\":0,\"hi\":50},\"id\":\"s-B\",\"at\":5},{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":{\"lo\":0,\"hi\":100},\"widens\":\"local-opening\",\"at\":6,\"id\":\"j-B\"},{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"lo\":40,\"hi\":100},\"id\":\"r-B\",\"at\":7}],\"claims\":[]},{\"cell\":\"C\",\"state\":\"CONFLICT\",\"parts\":{\"floor\":{\"lo\":44,\"hi\":43},\"ceiling\":{\"lo\":44,\"hi\":43},\"origins\":[{\"id\":\"c-C\",\"at\":8,\"origin\":\"ana\",\"span\":{\"lo\":42,\"hi\":48}},{\"id\":\"c-L\",\"at\":9,\"origin\":\"luis\",\"span\":{\"lo\":44,\"hi\":47}},{\"id\":\"disagreement\",\"at\":10,\"origin\":\"ana\",\"span\":{\"lo\":40,\"hi\":43}}],\"rest\":[\"B\"],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[\"B\"],\"ownMarks\":[],\"ownClaims\":[{\"id\":\"c-C\",\"origin\":\"ana\"},{\"id\":\"c-L\",\"origin\":\"luis\"},{\"id\":\"disagreement\",\"origin\":\"ana\"}],\"marks\":[],\"claims\":[{\"id\":\"c-C\",\"at\":8,\"origin\":\"ana\",\"span\":{\"lo\":42,\"hi\":48}},{\"id\":\"c-L\",\"at\":9,\"origin\":\"luis\",\"span\":{\"lo\":44,\"hi\":47}},{\"id\":\"disagreement\",\"at\":10,\"origin\":\"ana\",\"span\":{\"lo\":40,\"hi\":43}}]},{\"cell\":\"G\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":40,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":50},\"origins\":[],\"rest\":[\"C\",\"B\"],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[\"C\",\"B\"],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]},{\"cell\":\"D\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":0,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":100},\"origins\":[],\"rest\":[],\"required\":{\"lo\":0,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":100}},\"rest\":[],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]}]]\n"
+    },
+    {
+      "id": "yes/withdrawn-claims",
+      "covers": [
+        "rule/withdrawn-claims"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"scope\":\"B\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-B\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"1\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"C\",\"restsOn\":\"B\",\"type\":\"cell\",\"id\":\"def-C\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"2\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"G\",\"restsOn\":\"C\",\"type\":\"cell\",\"id\":\"def-G\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"3\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"D\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-D\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"4\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"s-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"value\":\"0..50\",\"by\":\"test\",\"epoch\":\"5\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"j-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"local\",\"widens\":\"local-opening\",\"value\":\"0..100\",\"by\":\"test\",\"epoch\":\"6\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"r-B\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"40..*\",\"by\":\"test\",\"epoch\":\"7\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-C\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"42..48\",\"by\":\"test\",\"epoch\":\"8\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-L\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"44..47\",\"by\":\"test\",\"epoch\":\"9\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"disagreement\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"40..43\",\"by\":\"test\",\"epoch\":\"10\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-disagreement\",\"sign\":\"-1\",\"takes\":\"disagreement\",\"by\":\"test\",\"epoch\":\"11\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-C\",\"sign\":\"-1\",\"takes\":\"c-C\",\"by\":\"test\",\"epoch\":\"12\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-L\",\"sign\":\"-1\",\"takes\":\"c-L\",\"by\":\"test\",\"epoch\":\"13\"}}]]",
+      "expected": "[\"fact\",[{\"cell\":\"B\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":40,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":100},\"origins\":[],\"rest\":[],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":100}},\"rest\":[],\"ownMarks\":[\"s-B\",\"j-B\",\"r-B\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"lo\":0,\"hi\":50},\"id\":\"s-B\",\"at\":5},{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":{\"lo\":0,\"hi\":100},\"widens\":\"local-opening\",\"at\":6,\"id\":\"j-B\"},{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"lo\":40,\"hi\":100},\"id\":\"r-B\",\"at\":7}],\"claims\":[]},{\"cell\":\"C\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":40,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":50},\"origins\":[],\"rest\":[\"B\"],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[\"B\"],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]},{\"cell\":\"G\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":40,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":50},\"origins\":[],\"rest\":[\"C\",\"B\"],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[\"C\",\"B\"],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]},{\"cell\":\"D\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":0,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":100},\"origins\":[],\"rest\":[],\"required\":{\"lo\":0,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":100}},\"rest\":[],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]}]]\n"
+    },
+    {
+      "id": "yes/outside-ceiling",
+      "covers": [
+        "rule/outside-ceiling"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"scope\":\"B\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-B\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"1\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"C\",\"restsOn\":\"B\",\"type\":\"cell\",\"id\":\"def-C\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"2\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"G\",\"restsOn\":\"C\",\"type\":\"cell\",\"id\":\"def-G\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"3\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"D\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-D\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"4\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"s-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"value\":\"0..50\",\"by\":\"test\",\"epoch\":\"5\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"j-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"local\",\"widens\":\"local-opening\",\"value\":\"0..100\",\"by\":\"test\",\"epoch\":\"6\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"r-B\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"40..*\",\"by\":\"test\",\"epoch\":\"7\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-C\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"42..48\",\"by\":\"test\",\"epoch\":\"8\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-L\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"44..47\",\"by\":\"test\",\"epoch\":\"9\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"disagreement\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"40..43\",\"by\":\"test\",\"epoch\":\"10\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-disagreement\",\"sign\":\"-1\",\"takes\":\"disagreement\",\"by\":\"test\",\"epoch\":\"11\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-C\",\"sign\":\"-1\",\"takes\":\"c-C\",\"by\":\"test\",\"epoch\":\"12\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-L\",\"sign\":\"-1\",\"takes\":\"c-L\",\"by\":\"test\",\"epoch\":\"13\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-a\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"65..75\",\"by\":\"test\",\"epoch\":\"14\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-b\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"65..75\",\"by\":\"test\",\"epoch\":\"15\"}}]]",
+      "expected": "[\"fact\",[{\"cell\":\"B\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":40,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":100},\"origins\":[],\"rest\":[],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":100}},\"rest\":[],\"ownMarks\":[\"s-B\",\"j-B\",\"r-B\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"lo\":0,\"hi\":50},\"id\":\"s-B\",\"at\":5},{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":{\"lo\":0,\"hi\":100},\"widens\":\"local-opening\",\"at\":6,\"id\":\"j-B\"},{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"lo\":40,\"hi\":100},\"id\":\"r-B\",\"at\":7}],\"claims\":[]},{\"cell\":\"C\",\"state\":\"FORBIDDEN\",\"parts\":{\"floor\":{\"lo\":65,\"hi\":75},\"ceiling\":{\"lo\":65,\"hi\":50},\"origins\":[{\"id\":\"outside-a\",\"at\":14,\"origin\":\"ana\",\"span\":{\"lo\":65,\"hi\":75}},{\"id\":\"outside-b\",\"at\":15,\"origin\":\"luis\",\"span\":{\"lo\":65,\"hi\":75}}],\"rest\":[\"B\"],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[\"B\"],\"ownMarks\":[],\"ownClaims\":[{\"id\":\"outside-a\",\"origin\":\"ana\"},{\"id\":\"outside-b\",\"origin\":\"luis\"}],\"marks\":[],\"claims\":[{\"id\":\"outside-a\",\"at\":14,\"origin\":\"ana\",\"span\":{\"lo\":65,\"hi\":75}},{\"id\":\"outside-b\",\"at\":15,\"origin\":\"luis\",\"span\":{\"lo\":65,\"hi\":75}}]},{\"cell\":\"G\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":40,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":50},\"origins\":[],\"rest\":[\"C\",\"B\"],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[\"C\",\"B\"],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]},{\"cell\":\"D\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":0,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":100},\"origins\":[],\"rest\":[],\"required\":{\"lo\":0,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":100}},\"rest\":[],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]}]]\n"
+    },
+    {
+      "id": "yes/incompatible-bounds",
+      "covers": [
+        "rule/incompatible-bounds"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"scope\":\"B\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-B\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"1\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"C\",\"restsOn\":\"B\",\"type\":\"cell\",\"id\":\"def-C\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"2\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"G\",\"restsOn\":\"C\",\"type\":\"cell\",\"id\":\"def-G\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"3\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"D\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-D\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"4\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"s-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"value\":\"0..50\",\"by\":\"test\",\"epoch\":\"5\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"j-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"local\",\"widens\":\"local-opening\",\"value\":\"0..100\",\"by\":\"test\",\"epoch\":\"6\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"r-B\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"40..*\",\"by\":\"test\",\"epoch\":\"7\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-C\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"42..48\",\"by\":\"test\",\"epoch\":\"8\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-L\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"44..47\",\"by\":\"test\",\"epoch\":\"9\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"disagreement\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"40..43\",\"by\":\"test\",\"epoch\":\"10\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-disagreement\",\"sign\":\"-1\",\"takes\":\"disagreement\",\"by\":\"test\",\"epoch\":\"11\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-C\",\"sign\":\"-1\",\"takes\":\"c-C\",\"by\":\"test\",\"epoch\":\"12\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-L\",\"sign\":\"-1\",\"takes\":\"c-L\",\"by\":\"test\",\"epoch\":\"13\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-a\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"65..75\",\"by\":\"test\",\"epoch\":\"14\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-b\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"65..75\",\"by\":\"test\",\"epoch\":\"15\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"G\",\"id\":\"incompatible-floor\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"60..*\",\"by\":\"test\",\"epoch\":\"16\"}}]]",
+      "expected": "[\"fact\",[{\"cell\":\"B\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":40,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":100},\"origins\":[],\"rest\":[],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":100}},\"rest\":[],\"ownMarks\":[\"s-B\",\"j-B\",\"r-B\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"lo\":0,\"hi\":50},\"id\":\"s-B\",\"at\":5},{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":{\"lo\":0,\"hi\":100},\"widens\":\"local-opening\",\"at\":6,\"id\":\"j-B\"},{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"lo\":40,\"hi\":100},\"id\":\"r-B\",\"at\":7}],\"claims\":[]},{\"cell\":\"C\",\"state\":\"FORBIDDEN\",\"parts\":{\"floor\":{\"lo\":65,\"hi\":75},\"ceiling\":{\"lo\":65,\"hi\":50},\"origins\":[{\"id\":\"outside-a\",\"at\":14,\"origin\":\"ana\",\"span\":{\"lo\":65,\"hi\":75}},{\"id\":\"outside-b\",\"at\":15,\"origin\":\"luis\",\"span\":{\"lo\":65,\"hi\":75}}],\"rest\":[\"B\"],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[\"B\"],\"ownMarks\":[],\"ownClaims\":[{\"id\":\"outside-a\",\"origin\":\"ana\"},{\"id\":\"outside-b\",\"origin\":\"luis\"}],\"marks\":[],\"claims\":[{\"id\":\"outside-a\",\"at\":14,\"origin\":\"ana\",\"span\":{\"lo\":65,\"hi\":75}},{\"id\":\"outside-b\",\"at\":15,\"origin\":\"luis\",\"span\":{\"lo\":65,\"hi\":75}}]},{\"cell\":\"G\",\"state\":\"CONFLICT\",\"parts\":{\"floor\":{\"lo\":60,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":50},\"origins\":[],\"rest\":[\"C\",\"B\"],\"required\":{\"lo\":60,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[\"C\",\"B\"],\"ownMarks\":[\"incompatible-floor\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"lo\":60,\"hi\":100},\"id\":\"incompatible-floor\",\"at\":16}],\"claims\":[]},{\"cell\":\"D\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":0,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":100},\"origins\":[],\"rest\":[],\"required\":{\"lo\":0,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":100}},\"rest\":[],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]}]]\n"
+    },
+    {
+      "id": "yes/withdrawn-opening",
+      "covers": [
+        "rule/withdrawn-opening"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"scope\":\"B\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-B\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"1\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"C\",\"restsOn\":\"B\",\"type\":\"cell\",\"id\":\"def-C\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"2\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"G\",\"restsOn\":\"C\",\"type\":\"cell\",\"id\":\"def-G\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"3\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"D\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-D\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"4\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"s-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"value\":\"0..50\",\"by\":\"test\",\"epoch\":\"5\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"j-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"local\",\"widens\":\"local-opening\",\"value\":\"0..100\",\"by\":\"test\",\"epoch\":\"6\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"r-B\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"40..*\",\"by\":\"test\",\"epoch\":\"7\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-C\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"42..48\",\"by\":\"test\",\"epoch\":\"8\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-L\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"44..47\",\"by\":\"test\",\"epoch\":\"9\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"disagreement\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"40..43\",\"by\":\"test\",\"epoch\":\"10\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-disagreement\",\"sign\":\"-1\",\"takes\":\"disagreement\",\"by\":\"test\",\"epoch\":\"11\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-C\",\"sign\":\"-1\",\"takes\":\"c-C\",\"by\":\"test\",\"epoch\":\"12\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-L\",\"sign\":\"-1\",\"takes\":\"c-L\",\"by\":\"test\",\"epoch\":\"13\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-a\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"65..75\",\"by\":\"test\",\"epoch\":\"14\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-b\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"65..75\",\"by\":\"test\",\"epoch\":\"15\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"G\",\"id\":\"incompatible-floor\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"60..*\",\"by\":\"test\",\"epoch\":\"16\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"withdraw-j\",\"sign\":\"-1\",\"takes\":\"j-B\",\"by\":\"test\",\"epoch\":\"17\"}}]]",
+      "expected": "[\"fact\",[{\"cell\":\"B\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":40,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":50},\"origins\":[],\"rest\":[],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[],\"ownMarks\":[\"s-B\",\"r-B\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"lo\":0,\"hi\":50},\"id\":\"s-B\",\"at\":5},{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"lo\":40,\"hi\":100},\"id\":\"r-B\",\"at\":7}],\"claims\":[]},{\"cell\":\"C\",\"state\":\"FORBIDDEN\",\"parts\":{\"floor\":{\"lo\":65,\"hi\":75},\"ceiling\":{\"lo\":65,\"hi\":50},\"origins\":[{\"id\":\"outside-a\",\"at\":14,\"origin\":\"ana\",\"span\":{\"lo\":65,\"hi\":75}},{\"id\":\"outside-b\",\"at\":15,\"origin\":\"luis\",\"span\":{\"lo\":65,\"hi\":75}}],\"rest\":[\"B\"],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[\"B\"],\"ownMarks\":[],\"ownClaims\":[{\"id\":\"outside-a\",\"origin\":\"ana\"},{\"id\":\"outside-b\",\"origin\":\"luis\"}],\"marks\":[],\"claims\":[{\"id\":\"outside-a\",\"at\":14,\"origin\":\"ana\",\"span\":{\"lo\":65,\"hi\":75}},{\"id\":\"outside-b\",\"at\":15,\"origin\":\"luis\",\"span\":{\"lo\":65,\"hi\":75}}]},{\"cell\":\"G\",\"state\":\"CONFLICT\",\"parts\":{\"floor\":{\"lo\":60,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":50},\"origins\":[],\"rest\":[\"C\",\"B\"],\"required\":{\"lo\":60,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[\"C\",\"B\"],\"ownMarks\":[\"incompatible-floor\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"lo\":60,\"hi\":100},\"id\":\"incompatible-floor\",\"at\":16}],\"claims\":[]},{\"cell\":\"D\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":0,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":100},\"origins\":[],\"rest\":[],\"required\":{\"lo\":0,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":100}},\"rest\":[],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]}]]\n"
+    },
+    {
+      "id": "yes/invalid-withdrawal",
+      "covers": [
+        "refusal/engine/context"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"scope\":\"B\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-B\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"1\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"C\",\"restsOn\":\"B\",\"type\":\"cell\",\"id\":\"def-C\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"2\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"G\",\"restsOn\":\"C\",\"type\":\"cell\",\"id\":\"def-G\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"3\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"D\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-D\",\"form\":\"interval\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"topos\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"by\":\"test\",\"epoch\":\"4\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"s-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"value\":\"0..50\",\"by\":\"test\",\"epoch\":\"5\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"j-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"local\",\"widens\":\"local-opening\",\"value\":\"0..100\",\"by\":\"test\",\"epoch\":\"6\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"r-B\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"40..*\",\"by\":\"test\",\"epoch\":\"7\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-C\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"42..48\",\"by\":\"test\",\"epoch\":\"8\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-L\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"44..47\",\"by\":\"test\",\"epoch\":\"9\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"disagreement\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"40..43\",\"by\":\"test\",\"epoch\":\"10\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-disagreement\",\"sign\":\"-1\",\"takes\":\"disagreement\",\"by\":\"test\",\"epoch\":\"11\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-C\",\"sign\":\"-1\",\"takes\":\"c-C\",\"by\":\"test\",\"epoch\":\"12\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-L\",\"sign\":\"-1\",\"takes\":\"c-L\",\"by\":\"test\",\"epoch\":\"13\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-a\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"65..75\",\"by\":\"test\",\"epoch\":\"14\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-b\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"65..75\",\"by\":\"test\",\"epoch\":\"15\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"G\",\"id\":\"incompatible-floor\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"60..*\",\"by\":\"test\",\"epoch\":\"16\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"withdraw-j\",\"sign\":\"-1\",\"takes\":\"j-B\",\"by\":\"test\",\"epoch\":\"17\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"invalid-withdrawal\",\"sign\":\"-1\",\"takes\":\"not-present\",\"by\":\"test\",\"epoch\":\"18\"}}]]",
+      "expected": "[\"refuse\",\"engine/context\"]\n"
+    },
+    {
+      "id": "artifacts/compatible",
+      "covers": [
+        "rule/compatible"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"scope\":\"B\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-B\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"1\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"C\",\"restsOn\":\"B\",\"type\":\"cell\",\"id\":\"def-C\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"2\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"G\",\"restsOn\":\"C\",\"type\":\"cell\",\"id\":\"def-G\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"3\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"D\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-D\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"4\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"s-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"value\":\"lock|readme\",\"by\":\"test\",\"epoch\":\"5\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"j-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"local\",\"widens\":\"local-opening\",\"value\":\"lock|readme|source\",\"by\":\"test\",\"epoch\":\"6\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"r-B\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"lock\",\"by\":\"test\",\"epoch\":\"7\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-C\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"lock|readme\",\"by\":\"test\",\"epoch\":\"8\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-L\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"lock\",\"by\":\"test\",\"epoch\":\"9\"}}]]",
+      "expected": "[\"fact\",[{\"cell\":\"B\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":1},\"width\":3},\"ceiling\":{\"words\":{\"0\":7},\"width\":3},\"origins\":[],\"rest\":[],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":7},\"width\":3}},\"rest\":[],\"ownMarks\":[\"s-B\",\"j-B\",\"r-B\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":3},\"width\":3},\"id\":\"s-B\",\"at\":5},{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":{\"words\":{\"0\":7},\"width\":3},\"widens\":\"local-opening\",\"at\":6,\"id\":\"j-B\"},{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":1},\"width\":3},\"id\":\"r-B\",\"at\":7}],\"claims\":[]},{\"cell\":\"C\",\"state\":\"FREE\",\"parts\":{\"floor\":{\"words\":{\"0\":1},\"width\":3},\"ceiling\":{\"words\":{\"0\":1},\"width\":3},\"origins\":[{\"id\":\"c-C\",\"at\":8,\"origin\":\"ana\",\"span\":{\"words\":{\"0\":3},\"width\":3}},{\"id\":\"c-L\",\"at\":9,\"origin\":\"luis\",\"span\":{\"words\":{\"0\":1},\"width\":3}}],\"rest\":[\"B\"],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[\"B\"],\"ownMarks\":[],\"ownClaims\":[{\"id\":\"c-C\",\"origin\":\"ana\"},{\"id\":\"c-L\",\"origin\":\"luis\"}],\"marks\":[],\"claims\":[{\"id\":\"c-C\",\"at\":8,\"origin\":\"ana\",\"span\":{\"words\":{\"0\":3},\"width\":3}},{\"id\":\"c-L\",\"at\":9,\"origin\":\"luis\",\"span\":{\"words\":{\"0\":1},\"width\":3}}]},{\"cell\":\"G\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":1},\"width\":3},\"ceiling\":{\"words\":{\"0\":3},\"width\":3},\"origins\":[],\"rest\":[\"C\",\"B\"],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[\"C\",\"B\"],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]},{\"cell\":\"D\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":7},\"width\":3},\"ceiling\":{\"words\":{\"0\":7},\"width\":3},\"origins\":[],\"rest\":[],\"required\":{\"words\":{\"0\":7},\"width\":3},\"signed\":{\"words\":{\"0\":7},\"width\":3}},\"rest\":[],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]}]]\n"
+    },
+    {
+      "id": "artifacts/incompatible-origins",
+      "covers": [
+        "rule/incompatible-origins"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"scope\":\"B\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-B\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"1\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"C\",\"restsOn\":\"B\",\"type\":\"cell\",\"id\":\"def-C\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"2\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"G\",\"restsOn\":\"C\",\"type\":\"cell\",\"id\":\"def-G\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"3\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"D\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-D\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"4\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"s-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"value\":\"lock|readme\",\"by\":\"test\",\"epoch\":\"5\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"j-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"local\",\"widens\":\"local-opening\",\"value\":\"lock|readme|source\",\"by\":\"test\",\"epoch\":\"6\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"r-B\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"lock\",\"by\":\"test\",\"epoch\":\"7\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-C\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"lock|readme\",\"by\":\"test\",\"epoch\":\"8\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-L\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"lock\",\"by\":\"test\",\"epoch\":\"9\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"disagreement\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"readme\",\"by\":\"test\",\"epoch\":\"10\"}}]]",
+      "expected": "[\"fact\",[{\"cell\":\"B\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":1},\"width\":3},\"ceiling\":{\"words\":{\"0\":7},\"width\":3},\"origins\":[],\"rest\":[],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":7},\"width\":3}},\"rest\":[],\"ownMarks\":[\"s-B\",\"j-B\",\"r-B\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":3},\"width\":3},\"id\":\"s-B\",\"at\":5},{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":{\"words\":{\"0\":7},\"width\":3},\"widens\":\"local-opening\",\"at\":6,\"id\":\"j-B\"},{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":1},\"width\":3},\"id\":\"r-B\",\"at\":7}],\"claims\":[]},{\"cell\":\"C\",\"state\":\"CONFLICT\",\"parts\":{\"floor\":{\"words\":{\"0\":0},\"width\":3},\"ceiling\":{\"words\":{\"0\":0},\"width\":3},\"origins\":[{\"id\":\"c-C\",\"at\":8,\"origin\":\"ana\",\"span\":{\"words\":{\"0\":3},\"width\":3}},{\"id\":\"c-L\",\"at\":9,\"origin\":\"luis\",\"span\":{\"words\":{\"0\":1},\"width\":3}},{\"id\":\"disagreement\",\"at\":10,\"origin\":\"ana\",\"span\":{\"words\":{\"0\":2},\"width\":3}}],\"rest\":[\"B\"],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[\"B\"],\"ownMarks\":[],\"ownClaims\":[{\"id\":\"c-C\",\"origin\":\"ana\"},{\"id\":\"c-L\",\"origin\":\"luis\"},{\"id\":\"disagreement\",\"origin\":\"ana\"}],\"marks\":[],\"claims\":[{\"id\":\"c-C\",\"at\":8,\"origin\":\"ana\",\"span\":{\"words\":{\"0\":3},\"width\":3}},{\"id\":\"c-L\",\"at\":9,\"origin\":\"luis\",\"span\":{\"words\":{\"0\":1},\"width\":3}},{\"id\":\"disagreement\",\"at\":10,\"origin\":\"ana\",\"span\":{\"words\":{\"0\":2},\"width\":3}}]},{\"cell\":\"G\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":1},\"width\":3},\"ceiling\":{\"words\":{\"0\":3},\"width\":3},\"origins\":[],\"rest\":[\"C\",\"B\"],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[\"C\",\"B\"],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]},{\"cell\":\"D\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":7},\"width\":3},\"ceiling\":{\"words\":{\"0\":7},\"width\":3},\"origins\":[],\"rest\":[],\"required\":{\"words\":{\"0\":7},\"width\":3},\"signed\":{\"words\":{\"0\":7},\"width\":3}},\"rest\":[],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]}]]\n"
+    },
+    {
+      "id": "artifacts/withdrawn-claims",
+      "covers": [
+        "rule/withdrawn-claims"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"scope\":\"B\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-B\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"1\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"C\",\"restsOn\":\"B\",\"type\":\"cell\",\"id\":\"def-C\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"2\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"G\",\"restsOn\":\"C\",\"type\":\"cell\",\"id\":\"def-G\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"3\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"D\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-D\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"4\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"s-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"value\":\"lock|readme\",\"by\":\"test\",\"epoch\":\"5\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"j-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"local\",\"widens\":\"local-opening\",\"value\":\"lock|readme|source\",\"by\":\"test\",\"epoch\":\"6\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"r-B\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"lock\",\"by\":\"test\",\"epoch\":\"7\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-C\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"lock|readme\",\"by\":\"test\",\"epoch\":\"8\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-L\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"lock\",\"by\":\"test\",\"epoch\":\"9\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"disagreement\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"readme\",\"by\":\"test\",\"epoch\":\"10\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-disagreement\",\"sign\":\"-1\",\"takes\":\"disagreement\",\"by\":\"test\",\"epoch\":\"11\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-C\",\"sign\":\"-1\",\"takes\":\"c-C\",\"by\":\"test\",\"epoch\":\"12\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-L\",\"sign\":\"-1\",\"takes\":\"c-L\",\"by\":\"test\",\"epoch\":\"13\"}}]]",
+      "expected": "[\"fact\",[{\"cell\":\"B\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":1},\"width\":3},\"ceiling\":{\"words\":{\"0\":7},\"width\":3},\"origins\":[],\"rest\":[],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":7},\"width\":3}},\"rest\":[],\"ownMarks\":[\"s-B\",\"j-B\",\"r-B\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":3},\"width\":3},\"id\":\"s-B\",\"at\":5},{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":{\"words\":{\"0\":7},\"width\":3},\"widens\":\"local-opening\",\"at\":6,\"id\":\"j-B\"},{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":1},\"width\":3},\"id\":\"r-B\",\"at\":7}],\"claims\":[]},{\"cell\":\"C\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":1},\"width\":3},\"ceiling\":{\"words\":{\"0\":3},\"width\":3},\"origins\":[],\"rest\":[\"B\"],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[\"B\"],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]},{\"cell\":\"G\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":1},\"width\":3},\"ceiling\":{\"words\":{\"0\":3},\"width\":3},\"origins\":[],\"rest\":[\"C\",\"B\"],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[\"C\",\"B\"],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]},{\"cell\":\"D\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":7},\"width\":3},\"ceiling\":{\"words\":{\"0\":7},\"width\":3},\"origins\":[],\"rest\":[],\"required\":{\"words\":{\"0\":7},\"width\":3},\"signed\":{\"words\":{\"0\":7},\"width\":3}},\"rest\":[],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]}]]\n"
+    },
+    {
+      "id": "artifacts/outside-ceiling",
+      "covers": [
+        "rule/outside-ceiling"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"scope\":\"B\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-B\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"1\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"C\",\"restsOn\":\"B\",\"type\":\"cell\",\"id\":\"def-C\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"2\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"G\",\"restsOn\":\"C\",\"type\":\"cell\",\"id\":\"def-G\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"3\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"D\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-D\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"4\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"s-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"value\":\"lock|readme\",\"by\":\"test\",\"epoch\":\"5\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"j-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"local\",\"widens\":\"local-opening\",\"value\":\"lock|readme|source\",\"by\":\"test\",\"epoch\":\"6\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"r-B\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"lock\",\"by\":\"test\",\"epoch\":\"7\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-C\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"lock|readme\",\"by\":\"test\",\"epoch\":\"8\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-L\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"lock\",\"by\":\"test\",\"epoch\":\"9\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"disagreement\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"readme\",\"by\":\"test\",\"epoch\":\"10\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-disagreement\",\"sign\":\"-1\",\"takes\":\"disagreement\",\"by\":\"test\",\"epoch\":\"11\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-C\",\"sign\":\"-1\",\"takes\":\"c-C\",\"by\":\"test\",\"epoch\":\"12\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-L\",\"sign\":\"-1\",\"takes\":\"c-L\",\"by\":\"test\",\"epoch\":\"13\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-a\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"source\",\"by\":\"test\",\"epoch\":\"14\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-b\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"source\",\"by\":\"test\",\"epoch\":\"15\"}}]]",
+      "expected": "[\"fact\",[{\"cell\":\"B\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":1},\"width\":3},\"ceiling\":{\"words\":{\"0\":7},\"width\":3},\"origins\":[],\"rest\":[],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":7},\"width\":3}},\"rest\":[],\"ownMarks\":[\"s-B\",\"j-B\",\"r-B\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":3},\"width\":3},\"id\":\"s-B\",\"at\":5},{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":{\"words\":{\"0\":7},\"width\":3},\"widens\":\"local-opening\",\"at\":6,\"id\":\"j-B\"},{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":1},\"width\":3},\"id\":\"r-B\",\"at\":7}],\"claims\":[]},{\"cell\":\"C\",\"state\":\"FORBIDDEN\",\"parts\":{\"floor\":{\"words\":{\"0\":0},\"width\":3},\"ceiling\":{\"words\":{\"0\":0},\"width\":3},\"origins\":[{\"id\":\"outside-a\",\"at\":14,\"origin\":\"ana\",\"span\":{\"words\":{\"0\":4},\"width\":3}},{\"id\":\"outside-b\",\"at\":15,\"origin\":\"luis\",\"span\":{\"words\":{\"0\":4},\"width\":3}}],\"rest\":[\"B\"],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[\"B\"],\"ownMarks\":[],\"ownClaims\":[{\"id\":\"outside-a\",\"origin\":\"ana\"},{\"id\":\"outside-b\",\"origin\":\"luis\"}],\"marks\":[],\"claims\":[{\"id\":\"outside-a\",\"at\":14,\"origin\":\"ana\",\"span\":{\"words\":{\"0\":4},\"width\":3}},{\"id\":\"outside-b\",\"at\":15,\"origin\":\"luis\",\"span\":{\"words\":{\"0\":4},\"width\":3}}]},{\"cell\":\"G\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":1},\"width\":3},\"ceiling\":{\"words\":{\"0\":3},\"width\":3},\"origins\":[],\"rest\":[\"C\",\"B\"],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[\"C\",\"B\"],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]},{\"cell\":\"D\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":7},\"width\":3},\"ceiling\":{\"words\":{\"0\":7},\"width\":3},\"origins\":[],\"rest\":[],\"required\":{\"words\":{\"0\":7},\"width\":3},\"signed\":{\"words\":{\"0\":7},\"width\":3}},\"rest\":[],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]}]]\n"
+    },
+    {
+      "id": "artifacts/incompatible-bounds",
+      "covers": [
+        "rule/incompatible-bounds"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"scope\":\"B\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-B\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"1\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"C\",\"restsOn\":\"B\",\"type\":\"cell\",\"id\":\"def-C\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"2\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"G\",\"restsOn\":\"C\",\"type\":\"cell\",\"id\":\"def-G\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"3\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"D\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-D\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"4\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"s-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"value\":\"lock|readme\",\"by\":\"test\",\"epoch\":\"5\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"j-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"local\",\"widens\":\"local-opening\",\"value\":\"lock|readme|source\",\"by\":\"test\",\"epoch\":\"6\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"r-B\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"lock\",\"by\":\"test\",\"epoch\":\"7\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-C\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"lock|readme\",\"by\":\"test\",\"epoch\":\"8\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-L\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"lock\",\"by\":\"test\",\"epoch\":\"9\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"disagreement\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"readme\",\"by\":\"test\",\"epoch\":\"10\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-disagreement\",\"sign\":\"-1\",\"takes\":\"disagreement\",\"by\":\"test\",\"epoch\":\"11\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-C\",\"sign\":\"-1\",\"takes\":\"c-C\",\"by\":\"test\",\"epoch\":\"12\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-L\",\"sign\":\"-1\",\"takes\":\"c-L\",\"by\":\"test\",\"epoch\":\"13\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-a\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"source\",\"by\":\"test\",\"epoch\":\"14\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-b\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"source\",\"by\":\"test\",\"epoch\":\"15\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"G\",\"id\":\"incompatible-floor\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"source\",\"by\":\"test\",\"epoch\":\"16\"}}]]",
+      "expected": "[\"fact\",[{\"cell\":\"B\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":1},\"width\":3},\"ceiling\":{\"words\":{\"0\":7},\"width\":3},\"origins\":[],\"rest\":[],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":7},\"width\":3}},\"rest\":[],\"ownMarks\":[\"s-B\",\"j-B\",\"r-B\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":3},\"width\":3},\"id\":\"s-B\",\"at\":5},{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":{\"words\":{\"0\":7},\"width\":3},\"widens\":\"local-opening\",\"at\":6,\"id\":\"j-B\"},{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":1},\"width\":3},\"id\":\"r-B\",\"at\":7}],\"claims\":[]},{\"cell\":\"C\",\"state\":\"FORBIDDEN\",\"parts\":{\"floor\":{\"words\":{\"0\":0},\"width\":3},\"ceiling\":{\"words\":{\"0\":0},\"width\":3},\"origins\":[{\"id\":\"outside-a\",\"at\":14,\"origin\":\"ana\",\"span\":{\"words\":{\"0\":4},\"width\":3}},{\"id\":\"outside-b\",\"at\":15,\"origin\":\"luis\",\"span\":{\"words\":{\"0\":4},\"width\":3}}],\"rest\":[\"B\"],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[\"B\"],\"ownMarks\":[],\"ownClaims\":[{\"id\":\"outside-a\",\"origin\":\"ana\"},{\"id\":\"outside-b\",\"origin\":\"luis\"}],\"marks\":[],\"claims\":[{\"id\":\"outside-a\",\"at\":14,\"origin\":\"ana\",\"span\":{\"words\":{\"0\":4},\"width\":3}},{\"id\":\"outside-b\",\"at\":15,\"origin\":\"luis\",\"span\":{\"words\":{\"0\":4},\"width\":3}}]},{\"cell\":\"G\",\"state\":\"CONFLICT\",\"parts\":{\"floor\":{\"words\":{\"0\":0},\"width\":3},\"ceiling\":{\"words\":{\"0\":3},\"width\":3},\"origins\":[],\"rest\":[\"C\",\"B\"],\"required\":{\"words\":{\"0\":0},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[\"C\",\"B\"],\"ownMarks\":[\"incompatible-floor\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":4},\"width\":3},\"id\":\"incompatible-floor\",\"at\":16}],\"claims\":[]},{\"cell\":\"D\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":7},\"width\":3},\"ceiling\":{\"words\":{\"0\":7},\"width\":3},\"origins\":[],\"rest\":[],\"required\":{\"words\":{\"0\":7},\"width\":3},\"signed\":{\"words\":{\"0\":7},\"width\":3}},\"rest\":[],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]}]]\n"
+    },
+    {
+      "id": "artifacts/withdrawn-opening",
+      "covers": [
+        "rule/withdrawn-opening"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"scope\":\"B\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-B\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"1\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"C\",\"restsOn\":\"B\",\"type\":\"cell\",\"id\":\"def-C\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"2\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"G\",\"restsOn\":\"C\",\"type\":\"cell\",\"id\":\"def-G\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"3\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"D\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-D\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"4\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"s-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"value\":\"lock|readme\",\"by\":\"test\",\"epoch\":\"5\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"j-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"local\",\"widens\":\"local-opening\",\"value\":\"lock|readme|source\",\"by\":\"test\",\"epoch\":\"6\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"r-B\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"lock\",\"by\":\"test\",\"epoch\":\"7\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-C\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"lock|readme\",\"by\":\"test\",\"epoch\":\"8\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-L\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"lock\",\"by\":\"test\",\"epoch\":\"9\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"disagreement\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"readme\",\"by\":\"test\",\"epoch\":\"10\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-disagreement\",\"sign\":\"-1\",\"takes\":\"disagreement\",\"by\":\"test\",\"epoch\":\"11\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-C\",\"sign\":\"-1\",\"takes\":\"c-C\",\"by\":\"test\",\"epoch\":\"12\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-L\",\"sign\":\"-1\",\"takes\":\"c-L\",\"by\":\"test\",\"epoch\":\"13\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-a\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"source\",\"by\":\"test\",\"epoch\":\"14\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-b\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"source\",\"by\":\"test\",\"epoch\":\"15\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"G\",\"id\":\"incompatible-floor\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"source\",\"by\":\"test\",\"epoch\":\"16\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"withdraw-j\",\"sign\":\"-1\",\"takes\":\"j-B\",\"by\":\"test\",\"epoch\":\"17\"}}]]",
+      "expected": "[\"fact\",[{\"cell\":\"B\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":1},\"width\":3},\"ceiling\":{\"words\":{\"0\":3},\"width\":3},\"origins\":[],\"rest\":[],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[],\"ownMarks\":[\"s-B\",\"r-B\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":3},\"width\":3},\"id\":\"s-B\",\"at\":5},{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":1},\"width\":3},\"id\":\"r-B\",\"at\":7}],\"claims\":[]},{\"cell\":\"C\",\"state\":\"FORBIDDEN\",\"parts\":{\"floor\":{\"words\":{\"0\":0},\"width\":3},\"ceiling\":{\"words\":{\"0\":0},\"width\":3},\"origins\":[{\"id\":\"outside-a\",\"at\":14,\"origin\":\"ana\",\"span\":{\"words\":{\"0\":4},\"width\":3}},{\"id\":\"outside-b\",\"at\":15,\"origin\":\"luis\",\"span\":{\"words\":{\"0\":4},\"width\":3}}],\"rest\":[\"B\"],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[\"B\"],\"ownMarks\":[],\"ownClaims\":[{\"id\":\"outside-a\",\"origin\":\"ana\"},{\"id\":\"outside-b\",\"origin\":\"luis\"}],\"marks\":[],\"claims\":[{\"id\":\"outside-a\",\"at\":14,\"origin\":\"ana\",\"span\":{\"words\":{\"0\":4},\"width\":3}},{\"id\":\"outside-b\",\"at\":15,\"origin\":\"luis\",\"span\":{\"words\":{\"0\":4},\"width\":3}}]},{\"cell\":\"G\",\"state\":\"CONFLICT\",\"parts\":{\"floor\":{\"words\":{\"0\":0},\"width\":3},\"ceiling\":{\"words\":{\"0\":3},\"width\":3},\"origins\":[],\"rest\":[\"C\",\"B\"],\"required\":{\"words\":{\"0\":0},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[\"C\",\"B\"],\"ownMarks\":[\"incompatible-floor\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":4},\"width\":3},\"id\":\"incompatible-floor\",\"at\":16}],\"claims\":[]},{\"cell\":\"D\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":7},\"width\":3},\"ceiling\":{\"words\":{\"0\":7},\"width\":3},\"origins\":[],\"rest\":[],\"required\":{\"words\":{\"0\":7},\"width\":3},\"signed\":{\"words\":{\"0\":7},\"width\":3}},\"rest\":[],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]}]]\n"
+    },
+    {
+      "id": "artifacts/invalid-withdrawal",
+      "covers": [
+        "refusal/engine/context"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"scope\":\"B\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-B\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"1\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"C\",\"restsOn\":\"B\",\"type\":\"cell\",\"id\":\"def-C\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"2\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"G\",\"restsOn\":\"C\",\"type\":\"cell\",\"id\":\"def-G\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"3\"}},{\"record\":\"cell\",\"fields\":{\"scope\":\"D\",\"restsOn\":\"none\",\"type\":\"cell\",\"id\":\"def-D\",\"form\":\"alphabet\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"topos\":\"sha256:1111111111111111111111111111111111111111111111111111111111111111\",\"by\":\"test\",\"epoch\":\"4\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"s-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"value\":\"lock|readme\",\"by\":\"test\",\"epoch\":\"5\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"j-B\",\"sign\":\"+1\",\"pole\":\"ceiling\",\"reach\":\"local\",\"widens\":\"local-opening\",\"value\":\"lock|readme|source\",\"by\":\"test\",\"epoch\":\"6\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"r-B\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"lock\",\"by\":\"test\",\"epoch\":\"7\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-C\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"lock|readme\",\"by\":\"test\",\"epoch\":\"8\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"c-L\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"lock\",\"by\":\"test\",\"epoch\":\"9\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"disagreement\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"readme\",\"by\":\"test\",\"epoch\":\"10\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-disagreement\",\"sign\":\"-1\",\"takes\":\"disagreement\",\"by\":\"test\",\"epoch\":\"11\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-C\",\"sign\":\"-1\",\"takes\":\"c-C\",\"by\":\"test\",\"epoch\":\"12\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"withdraw-c-L\",\"sign\":\"-1\",\"takes\":\"c-L\",\"by\":\"test\",\"epoch\":\"13\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-a\",\"sign\":\"+1\",\"origin\":\"ana\",\"value\":\"source\",\"by\":\"test\",\"epoch\":\"14\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"outside-b\",\"sign\":\"+1\",\"origin\":\"luis\",\"value\":\"source\",\"by\":\"test\",\"epoch\":\"15\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"G\",\"id\":\"incompatible-floor\",\"sign\":\"+1\",\"pole\":\"floor\",\"reach\":\"travels\",\"value\":\"source\",\"by\":\"test\",\"epoch\":\"16\"}},{\"record\":\"mark\",\"fields\":{\"type\":\"mark\",\"scope\":\"B\",\"id\":\"withdraw-j\",\"sign\":\"-1\",\"takes\":\"j-B\",\"by\":\"test\",\"epoch\":\"17\"}},{\"record\":\"claim\",\"fields\":{\"type\":\"claim\",\"scope\":\"C\",\"id\":\"invalid-withdrawal\",\"sign\":\"-1\",\"takes\":\"not-present\",\"by\":\"test\",\"epoch\":\"18\"}}]]",
+      "expected": "[\"refuse\",\"engine/context\"]\n"
+    },
+    {
+      "id": "interval/four-states",
+      "covers": [
+        "rule/four-states"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"by\":\"device\",\"epoch\":\"2\",\"form\":\"interval\",\"id\":\"def-B\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"restsOn\":\"none\",\"scope\":\"B\",\"sig\":\"ed25519:sample:S4pe4frNPs+YLcSjedV+ywnQqhl5d6nNvK45sGYoP5NbPh9PjrBGsmNwjtPYvBjfdOTw3Gm5WxscGABD4ERYCA==\",\"topos\":\"sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e\",\"type\":\"cell\"}},{\"record\":\"cell\",\"fields\":{\"by\":\"device\",\"epoch\":\"2\",\"form\":\"interval\",\"id\":\"def-C\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"restsOn\":\"B\",\"scope\":\"C\",\"sig\":\"ed25519:sample:1PGeK6EErj1TRiINo16xKHzsdII5C2SMjgQmZdte4DRhG/XiUGeDCnQG+FxvenjlKRekFDjH8wQac1n3TAipBg==\",\"topos\":\"sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e\",\"type\":\"cell\"}},{\"record\":\"cell\",\"fields\":{\"by\":\"device\",\"epoch\":\"2\",\"form\":\"interval\",\"id\":\"def-G\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"restsOn\":\"C\",\"scope\":\"G\",\"sig\":\"ed25519:sample:8AbUdO/j1aISerPj1aISw5wYO6G4JqYarS5gvdFGq/rWYeTM7VU6ma2mH5awv+qIsfKwGXQlCpOrKdozk5ZRDQ==\",\"topos\":\"sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e\",\"type\":\"cell\"}},{\"record\":\"cell\",\"fields\":{\"by\":\"device\",\"epoch\":\"2\",\"form\":\"interval\",\"id\":\"def-D\",\"measure\":\"count\",\"params\":\"{\\\"lo\\\":0,\\\"hi\\\":100}\",\"restsOn\":\"none\",\"scope\":\"D\",\"sig\":\"ed25519:sample:qg28p5Dp3DM8UOmuGzfhR83ulLxfdb+lyf8EfopuFjLw9kxC5H2hQYdpCO2nOCDvOdQs4Aaun/7YoH4691w1DQ==\",\"topos\":\"sha256:13ee36d217833cb78bc180a62303e3335f4f1020d120914d1ef7d674ae38f67e\",\"type\":\"cell\"}},{\"record\":\"mark\",\"fields\":{\"by\":\"device\",\"epoch\":\"3\",\"id\":\"s-B\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"scope\":\"B\",\"sig\":\"ed25519:sample:Eqy4A0sjOIYRamaY4lQipl2LeXoaPPpeA/kXFT2XDGtpmEcCapQgiKCxQQZ96XTXyJZ4h0zrHBlhH/k39jjSDQ==\",\"sign\":\"+1\",\"type\":\"mark\",\"value\":\"0..50\"}},{\"record\":\"mark\",\"fields\":{\"by\":\"device\",\"epoch\":\"4\",\"id\":\"j-B\",\"pole\":\"ceiling\",\"reach\":\"local\",\"scope\":\"B\",\"sig\":\"ed25519:sample:Xrgp+1lAjFZZz5WyLbapwSq022EYZTNv/AqvFMrJXyMV1ZynR2ekgc6dXsSJAEnk5OovlnKMdUgXOV9mcyjZAw==\",\"sign\":\"+1\",\"type\":\"mark\",\"value\":\"0..100\",\"widens\":\"local-opening\"}},{\"record\":\"mark\",\"fields\":{\"by\":\"device\",\"epoch\":\"5\",\"id\":\"r-B\",\"pole\":\"floor\",\"reach\":\"travels\",\"scope\":\"B\",\"sig\":\"ed25519:sample:QXfjr1hLj5GG22msTYwKl2eCr6Gc3FjKGrz0al/3q/ihohucMcLvnjgxrQjWTm9uRgnWQ6jFp6aS0voiKnWNCQ==\",\"sign\":\"+1\",\"type\":\"mark\",\"value\":\"40..*\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"6\",\"id\":\"c-C\",\"origin\":\"ana\",\"scope\":\"C\",\"sig\":\"ed25519:sample:i8a6sDfUTtZV9AOSWKLLyZEyK0nuB2HlE2eKy7urthOFhHcGCTeRDJ9qR7xAHNhE8hhdrjU0cRHY6ZB2DUlFDA==\",\"sign\":\"+1\",\"type\":\"claim\",\"value\":\"42..48\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"7\",\"id\":\"c-L\",\"origin\":\"luis\",\"scope\":\"C\",\"sig\":\"ed25519:sample:di/u/2okecnNluEPXu7OLxTgr9jtEnld3xrd9vNKi08FKV5dZ7kPpXcNZ6bkTiQqg1nnaNZtrq4MNQaq8QsOBA==\",\"sign\":\"+1\",\"type\":\"claim\",\"value\":\"44..47\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"8\",\"id\":\"disagreement\",\"origin\":\"ana\",\"scope\":\"C\",\"sig\":\"ed25519:sample:yA6WrijIOJaLPoOgAYcljt+jfR925kUt66x7YgY9BnKnVFQNDsDJtI4S8ep47VH7mmVvFWqWceZJkDiRUwyFBQ==\",\"sign\":\"+1\",\"type\":\"claim\",\"value\":\"40..43\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"9\",\"id\":\"withdraw-disagreement\",\"scope\":\"C\",\"sig\":\"ed25519:sample:y690WuB+ezg20vZYOQhA51+6a1qMMwfMYBq/LucFXqt9OfWWlRiWMC5PsHpnoa7No5MqYBhmC6XG/X1NEafHDg==\",\"sign\":\"-1\",\"takes\":\"disagreement\",\"type\":\"claim\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"10\",\"id\":\"withdraw-c-C\",\"scope\":\"C\",\"sig\":\"ed25519:sample:8PwBEdkFOkmxM3+1PiEAoaFkYG5IRUyO5Q71AoVU59KEbZEx5M2fr2YfBxEwQOKVrN+xtWZVNNd7IQnrc1BECQ==\",\"sign\":\"-1\",\"takes\":\"c-C\",\"type\":\"claim\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"11\",\"id\":\"withdraw-c-L\",\"scope\":\"C\",\"sig\":\"ed25519:sample:b0wnuXEk7nodAK60lfkIj6Q0BIcj/BsvL+cBy7aIPrHSd7nYg+ffUXKhI2VEX/ZdmlbvnpeWoQ9ErbMgql0MAA==\",\"sign\":\"-1\",\"takes\":\"c-L\",\"type\":\"claim\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"12\",\"id\":\"outside-a\",\"origin\":\"ana\",\"scope\":\"C\",\"sig\":\"ed25519:sample:8ZuDtR3cUc0zT/PusdjfzloPe0kzOOJH82oh9Vz+HxHYVS6SsYvbDODgQ1IJbqCR11lovneStBJXFqy2Wo2CDg==\",\"sign\":\"+1\",\"type\":\"claim\",\"value\":\"65..75\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"13\",\"id\":\"outside-b\",\"origin\":\"luis\",\"scope\":\"C\",\"sig\":\"ed25519:sample:Rr2NU85dRzq0dMRe4Zh39b9+hRtlByVb/tnvRY6i1bX2XwgMg1PHQpzuc+HS+nRFun992acORtj8PSO3ErcxDA==\",\"sign\":\"+1\",\"type\":\"claim\",\"value\":\"65..75\"}},{\"record\":\"mark\",\"fields\":{\"by\":\"device\",\"epoch\":\"14\",\"id\":\"incompatible-floor\",\"pole\":\"floor\",\"reach\":\"travels\",\"scope\":\"G\",\"sig\":\"ed25519:sample:GGhYrAetkENKl9kPKQ9L4TU2z3Qq14wLvsmdW9R8d84JuTETJrJa6sDTC1/0+7nQKONNZs1OR3M/yXov1xfpBg==\",\"sign\":\"+1\",\"type\":\"mark\",\"value\":\"60..*\"}},{\"record\":\"mark\",\"fields\":{\"by\":\"device\",\"epoch\":\"15\",\"id\":\"withdraw-j\",\"scope\":\"B\",\"sig\":\"ed25519:sample:qPRwi9MVIM8DPtW0dU6v7hywI+Yi1/HhsgP0pmROwrD7J2L88W8EUisBUoTBgRaj7c/8pXkNGsUrk+UM1qphCQ==\",\"sign\":\"-1\",\"takes\":\"j-B\",\"type\":\"mark\"}}]]",
+      "expected": "[\"fact\",[{\"cell\":\"B\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":40,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":50},\"origins\":[],\"rest\":[],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[],\"ownMarks\":[\"s-B\",\"r-B\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"lo\":0,\"hi\":50},\"id\":\"s-B\",\"at\":3},{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"lo\":40,\"hi\":100},\"id\":\"r-B\",\"at\":5}],\"claims\":[]},{\"cell\":\"C\",\"state\":\"FORBIDDEN\",\"parts\":{\"floor\":{\"lo\":65,\"hi\":75},\"ceiling\":{\"lo\":65,\"hi\":50},\"origins\":[{\"id\":\"outside-a\",\"at\":12,\"origin\":\"ana\",\"span\":{\"lo\":65,\"hi\":75}},{\"id\":\"outside-b\",\"at\":13,\"origin\":\"luis\",\"span\":{\"lo\":65,\"hi\":75}}],\"rest\":[\"B\"],\"required\":{\"lo\":40,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[\"B\"],\"ownMarks\":[],\"ownClaims\":[{\"id\":\"outside-a\",\"origin\":\"ana\"},{\"id\":\"outside-b\",\"origin\":\"luis\"}],\"marks\":[],\"claims\":[{\"id\":\"outside-a\",\"at\":12,\"origin\":\"ana\",\"span\":{\"lo\":65,\"hi\":75}},{\"id\":\"outside-b\",\"at\":13,\"origin\":\"luis\",\"span\":{\"lo\":65,\"hi\":75}}]},{\"cell\":\"G\",\"state\":\"CONFLICT\",\"parts\":{\"floor\":{\"lo\":60,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":50},\"origins\":[],\"rest\":[\"C\",\"B\"],\"required\":{\"lo\":60,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":50}},\"rest\":[\"C\",\"B\"],\"ownMarks\":[\"incompatible-floor\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"lo\":60,\"hi\":100},\"id\":\"incompatible-floor\",\"at\":14}],\"claims\":[]},{\"cell\":\"D\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":0,\"hi\":100},\"ceiling\":{\"lo\":0,\"hi\":100},\"origins\":[],\"rest\":[],\"required\":{\"lo\":0,\"hi\":100},\"signed\":{\"lo\":0,\"hi\":100}},\"rest\":[],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]}]]\n"
+    },
+    {
+      "id": "alphabet/four-states",
+      "covers": [
+        "rule/four-states"
+      ],
+      "request": "[\"bound-object-request@1\",[{\"record\":\"cell\",\"fields\":{\"by\":\"device\",\"epoch\":\"2\",\"form\":\"alphabet\",\"id\":\"def-B\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"restsOn\":\"none\",\"scope\":\"B\",\"sig\":\"ed25519:sample:1Sbiy6HrZGDaN/0anPUcGy6IqqVLdCBnToo6S5kxDcSPwJGz+Tx+Z6JBs9/8ls/3TjgYjiG8lo3+aMF9Ql0aAg==\",\"topos\":\"sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28\",\"type\":\"cell\"}},{\"record\":\"cell\",\"fields\":{\"by\":\"device\",\"epoch\":\"2\",\"form\":\"alphabet\",\"id\":\"def-C\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"restsOn\":\"B\",\"scope\":\"C\",\"sig\":\"ed25519:sample:gjI3EwxEcdUuBnDq02kQ4gn47pYJniy62gCNZz8rzn+8lOw5rOikT7wfkmRII4RntojTTzIlN2DEY/8ty/XEBw==\",\"topos\":\"sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28\",\"type\":\"cell\"}},{\"record\":\"cell\",\"fields\":{\"by\":\"device\",\"epoch\":\"2\",\"form\":\"alphabet\",\"id\":\"def-G\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"restsOn\":\"C\",\"scope\":\"G\",\"sig\":\"ed25519:sample:EbSKgsbqCgH2yXxZVk++sxBRZjIeU5Q+V8uwiDfdenQ1diq7nn3NNupZQowNwbbijsTbreb9hMVkLPBcXKaLDQ==\",\"topos\":\"sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28\",\"type\":\"cell\"}},{\"record\":\"cell\",\"fields\":{\"by\":\"device\",\"epoch\":\"2\",\"form\":\"alphabet\",\"id\":\"def-D\",\"measure\":\"artifact\",\"params\":\"{\\\"tokens\\\":[\\\"lock\\\",\\\"readme\\\",\\\"source\\\"]}\",\"restsOn\":\"none\",\"scope\":\"D\",\"sig\":\"ed25519:sample:sk6645xwRNZM13ybqn13xojxFm86j+PzlwmNo5IIPX4b9oXoSjXl+wQMnwU5IXlY244HvT11jPVsHlCD/HwTAw==\",\"topos\":\"sha256:7ca38123f88692b8c38cb7673fc1885d3324bd1b8558113173b4add055b06d28\",\"type\":\"cell\"}},{\"record\":\"mark\",\"fields\":{\"by\":\"device\",\"epoch\":\"3\",\"id\":\"s-B\",\"pole\":\"ceiling\",\"reach\":\"travels\",\"scope\":\"B\",\"sig\":\"ed25519:sample:eZI4pHaa87UYMJbvnhy+0KAHsukqN+NyyjwprOA8JsVEIzGyYw0/E0d4BcJbuqjs6ciJCA7XdAUrhsMs5r8OCA==\",\"sign\":\"+1\",\"type\":\"mark\",\"value\":\"lock|readme\"}},{\"record\":\"mark\",\"fields\":{\"by\":\"device\",\"epoch\":\"4\",\"id\":\"j-B\",\"pole\":\"ceiling\",\"reach\":\"local\",\"scope\":\"B\",\"sig\":\"ed25519:sample:NF7LXLljUZfy5maTVs4tzIQi88KRDeoPSUzgmUKBflvtaQedsvSGpUFPl7fCOAqGcN1JquZmLy8xCR0SaI6nCw==\",\"sign\":\"+1\",\"type\":\"mark\",\"value\":\"lock|readme|source\",\"widens\":\"local-opening\"}},{\"record\":\"mark\",\"fields\":{\"by\":\"device\",\"epoch\":\"5\",\"id\":\"r-B\",\"pole\":\"floor\",\"reach\":\"travels\",\"scope\":\"B\",\"sig\":\"ed25519:sample:tyvpsBpbVNwcr9GDf8zSKT4NseVxOTVS9rI/1mm3yL0ApdgFBQpMJQcTuXKvOIwTEGNGzbyyQo152lYtGRPrCQ==\",\"sign\":\"+1\",\"type\":\"mark\",\"value\":\"lock\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"6\",\"id\":\"c-C\",\"origin\":\"ana\",\"scope\":\"C\",\"sig\":\"ed25519:sample:Pqk+dSjj+PM2t+PsMbup7jPLHYM3lM4sJwe9hWH8cYKU+0rpcCc+QRL1dCjYJD+yJjcspTFzsvif4hbKmwanCA==\",\"sign\":\"+1\",\"type\":\"claim\",\"value\":\"lock|readme\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"7\",\"id\":\"c-L\",\"origin\":\"luis\",\"scope\":\"C\",\"sig\":\"ed25519:sample:mldZsVhykAOWuPeoFJ0wXjKhU84LkPjt1UXcJxI3IKboG+WvahxmVasaGXHpo8310Be7gT/mbSB2qjbSu38UBg==\",\"sign\":\"+1\",\"type\":\"claim\",\"value\":\"lock\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"8\",\"id\":\"disagreement\",\"origin\":\"ana\",\"scope\":\"C\",\"sig\":\"ed25519:sample:1dup6T1QrnYskUP442+I3rPMqwBw/ZMq8sETMZHHln/AGLP9kt2j53mAgTBGq94uy1FBmo+/Zs5ArPWMYX6QCQ==\",\"sign\":\"+1\",\"type\":\"claim\",\"value\":\"readme\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"9\",\"id\":\"withdraw-disagreement\",\"scope\":\"C\",\"sig\":\"ed25519:sample:QqbbaLtGei1L90papzdmQPODN0741ajFXc7zOFpGJbGllFqpIDOR+fHd7dJBhuOXm683GJCO0mqGWiCsNYvKBQ==\",\"sign\":\"-1\",\"takes\":\"disagreement\",\"type\":\"claim\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"10\",\"id\":\"withdraw-c-C\",\"scope\":\"C\",\"sig\":\"ed25519:sample:QtRFXHw8+waSnnkQNgBWWmqfPMgxjeDD04pvZW89yfGYgsJBEd2YLNf5z6t3ks3AUeeWBbyjSvLLFTcr6VpMBQ==\",\"sign\":\"-1\",\"takes\":\"c-C\",\"type\":\"claim\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"11\",\"id\":\"withdraw-c-L\",\"scope\":\"C\",\"sig\":\"ed25519:sample:TV5/s+RtGsdFC6AAtpNEXIN+aLfelSFRBboChykb5/yFrhMggMUMuHx1rpa0nDJcMVPndnLc+0CfVF99r6r6AA==\",\"sign\":\"-1\",\"takes\":\"c-L\",\"type\":\"claim\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"12\",\"id\":\"outside-a\",\"origin\":\"ana\",\"scope\":\"C\",\"sig\":\"ed25519:sample:6G7GtdlxnkHeppzrkyMGRe5vhQyG2FmdFUnGkmI60vdQWJxVV21QM0Zui5+ZCDn8HLvxrOnzGj4kxB6bQ+aXBg==\",\"sign\":\"+1\",\"type\":\"claim\",\"value\":\"source\"}},{\"record\":\"claim\",\"fields\":{\"by\":\"device\",\"epoch\":\"13\",\"id\":\"outside-b\",\"origin\":\"luis\",\"scope\":\"C\",\"sig\":\"ed25519:sample:mUmGZCsCw9Vu+DdjVqtCgmTR+8m15ZbCVyfA4zHWG2CpRSHonCDK7wWlaSpIOBgkbNWUzV8lr61eNcJiiyxIBw==\",\"sign\":\"+1\",\"type\":\"claim\",\"value\":\"source\"}},{\"record\":\"mark\",\"fields\":{\"by\":\"device\",\"epoch\":\"14\",\"id\":\"incompatible-floor\",\"pole\":\"floor\",\"reach\":\"travels\",\"scope\":\"G\",\"sig\":\"ed25519:sample:fg1grFhXbGj7AxxkgDZbzd+6gPo3L6VQeYPBoXEV3Q3QY7lY3a2NGpeAz6BZZQSZF0EMRKaYlwP7YOD9Bwl3Bg==\",\"sign\":\"+1\",\"type\":\"mark\",\"value\":\"source\"}},{\"record\":\"mark\",\"fields\":{\"by\":\"device\",\"epoch\":\"15\",\"id\":\"withdraw-j\",\"scope\":\"B\",\"sig\":\"ed25519:sample:lbemLrA6hcjW5fZ5Nh2gn5Oy04NbzCjXAmAfDAuwKo2GWL/Jp6+g7Hmomcbh0SXnQYVeIAkMfoP8zkVfipmwAg==\",\"sign\":\"-1\",\"takes\":\"j-B\",\"type\":\"mark\"}}]]",
+      "expected": "[\"fact\",[{\"cell\":\"B\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":1},\"width\":3},\"ceiling\":{\"words\":{\"0\":3},\"width\":3},\"origins\":[],\"rest\":[],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[],\"ownMarks\":[\"s-B\",\"r-B\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":3},\"width\":3},\"id\":\"s-B\",\"at\":3},{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":1},\"width\":3},\"id\":\"r-B\",\"at\":5}],\"claims\":[]},{\"cell\":\"C\",\"state\":\"FORBIDDEN\",\"parts\":{\"floor\":{\"words\":{\"0\":0},\"width\":3},\"ceiling\":{\"words\":{\"0\":0},\"width\":3},\"origins\":[{\"id\":\"outside-a\",\"at\":12,\"origin\":\"ana\",\"span\":{\"words\":{\"0\":4},\"width\":3}},{\"id\":\"outside-b\",\"at\":13,\"origin\":\"luis\",\"span\":{\"words\":{\"0\":4},\"width\":3}}],\"rest\":[\"B\"],\"required\":{\"words\":{\"0\":1},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[\"B\"],\"ownMarks\":[],\"ownClaims\":[{\"id\":\"outside-a\",\"origin\":\"ana\"},{\"id\":\"outside-b\",\"origin\":\"luis\"}],\"marks\":[],\"claims\":[{\"id\":\"outside-a\",\"at\":12,\"origin\":\"ana\",\"span\":{\"words\":{\"0\":4},\"width\":3}},{\"id\":\"outside-b\",\"at\":13,\"origin\":\"luis\",\"span\":{\"words\":{\"0\":4},\"width\":3}}]},{\"cell\":\"G\",\"state\":\"CONFLICT\",\"parts\":{\"floor\":{\"words\":{\"0\":0},\"width\":3},\"ceiling\":{\"words\":{\"0\":3},\"width\":3},\"origins\":[],\"rest\":[\"C\",\"B\"],\"required\":{\"words\":{\"0\":0},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[\"C\",\"B\"],\"ownMarks\":[\"incompatible-floor\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"floor\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":4},\"width\":3},\"id\":\"incompatible-floor\",\"at\":14}],\"claims\":[]},{\"cell\":\"D\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":7},\"width\":3},\"ceiling\":{\"words\":{\"0\":7},\"width\":3},\"origins\":[],\"rest\":[],\"required\":{\"words\":{\"0\":7},\"width\":3},\"signed\":{\"words\":{\"0\":7},\"width\":3}},\"rest\":[],\"ownMarks\":[],\"ownClaims\":[],\"marks\":[],\"claims\":[]}]]\n"
+    },
+    {
+      "id": "unsupported-request",
+      "covers": [
+        "refusal/engine/input"
+      ],
+      "request": "[\"unsupported\",[]]",
+      "expected": "[\"refuse\",\"engine/input\"]\n"
+    }
+  ]
+}

package/docs/contracts/determinism.bound

@@ -0,0 +1,9 @@
+bound-lock/1 at=policy:bound/determinism by=target form=alphabet measure=profile role=writes scope=law/determinism value=deterministic-object-projection@1
+bound-lock/1 at=policy:bound/determinism by=target form=alphabet measure=inputs role=writes scope=law/determinism value=admitted-lines|effective-order|policy|selected-forms
+bound-lock/1 at=policy:bound/determinism by=target form=alphabet measure=assumptions role=writes scope=law/determinism value=deterministic-context-callbacks|standard-intrinsics|finite-admitted-history
+bound-lock/1 at=policy:bound/determinism by=target form=alphabet measure=semantic-exclusions role=writes scope=law/determinism value=wall-clock|randomness|locale|undeclared-environment
+bound-lock/1 at=policy:bound/determinism by=target form=alphabet measure=numeric-policy role=writes scope=law/determinism value=the-explicit-selected-form-policy
+bound-lock/1 at=policy:bound/determinism by=target form=alphabet measure=map-order role=writes scope=law/determinism value=lookup-by-declared-name|preserve-effective-record-order
+bound-lock/1 at=policy:bound/determinism by=target form=alphabet measure=receipts role=writes scope=law/determinism value=implementation|policy|transitive-inputs|environment
+bound-lock/1 at=policy:bound/determinism by=target form=alphabet measure=probes role=writes scope=law/determinism value=separate-operational-counter|not-semantic-input
+bound-lock/1 at=policy:bound/determinism by=target form=alphabet measure=claim-boundary role=writes scope=law/determinism value=reference-projection-only|no-universal-JavaScript-proof

package/docs/contracts/engine-object-projection.publication.json

@@ -4,7 +4,7 @@
     {
       "role": "contract",
       "path": "docs/contracts/engine.md",
-      "digest": "sha256:2d54ddc75386a0706a3bc500e36deedc85ca9e7dc965eff5c795f02b1a716078"
+      "digest": "sha256:7097713afcfb5859850d96b66aced8ea6ea09f738b34f79a87bb77938fa1c6e6"
     },
     {
       "role": "yes",

package/docs/contracts/engine.md

@@ -1,6 +1,6 @@
 # Pure object projection
 
-`@lapxo/bound/engine` exports `objectFold` and the existing `ObjectReading`, `ObjectRecord` and `ObjectContext` types. The CLI and receipt paths use that same implementation. Its Obligations 0.3.5 algebra is unchanged.
+`@lapxo/bound/engine` exports `objectFold` and the existing `ObjectReading`, `ObjectRecord` and `ObjectContext` types. The CLI and receipt paths use that same implementation. Its vendored runtime consumes Obligations 0.4.4. The 111-module selected dependency closure is byte-identical to the previously selected 0.4.3 closure; this equivalence covers consumed code, not every theorem or published contract in the two archives.
 
 The input is authenticated and context-admitted effective history with selected deterministic forms and parameters. This function does not admit records, verify signatures, resolve content, run commands, select clocks or write storage. Applications must perform preparation before projection.
 
@@ -37,3 +37,23 @@ The place declares five interval limits: `engine/wasm/memory`, `engine/wasm/stac
 Context initialization is measured before place execution. If observed initialized guest memory exceeds the declared memory budget, the operation refuses without running place code. Host initialization memory is outside that guest execution limit; the worker lifetime bounds the entire attempt. During execution the unchanged declared memory, stack and execution limits apply. SIGINT reaches the worker cancellation port; cancellation or failure emits no successful object result.
 
 For the opt-in `wasm@1` profile, the host verifies the selected context implementation before importing it. Every SHA-256 member declared by the context offer’s `restsOn` is checked by digest, and the existing `moduleClosure` validates the imported closure. Missing, altered, undeclared or unresolved imported members refuse before context code executes. This establishes content identity and import closure, not correctness, authority or sandbox confinement. Admission still precedes projection, and this check grants no permission to reuse a retained answer as current.
+
+## Deterministic byte projection
+
+`objectFoldBytes` consumes UTF-8 JSON `["bound-object-request@1", records]` and the receiver's selected `ObjectContext`. It validates that context with Topos and calls the same `objectFold`. Its successful output is `["fact", readings]` followed by one newline. It performs no clock, random, locale, filesystem, transport or environment lookup. The effective order and selected form implementations are inputs; an arbitrary transport permutation is not a new effective order. A callback supplied as a form implementation remains the receiver's responsibility. This contract does not declare arbitrary JavaScript programs deterministic.
+
+Numbers use the selected form's existing numeric policy. No integer-width conversion, rounding rule or meet is introduced. Map construction order for input-reference maps does not select a form or reorder admitted records. Wall-clock deadlines stop host work; they do not enter this semantic result. Runtime and other relevant host inputs still belong to a native reading receipt's environment.
+
+## External conformance
+
+`runConformance` accepts pinned suite bytes, receiver-selected contract and implementation identities, required rules and refusal codes, and a bounded byte evaluator. The suite cannot choose its verifier or declare its own coverage sufficient. A missing required rule or refusal rejects before evaluating the candidate. Every request, expected response and response digest is data; the protocol contains no Node paths. A false result is not a certificate, and a finite passing suite is not a proof of universal correctness.
+
+`@lapxo/bound/conformance` delivers the reference projection vectors. Their twelve conflict and withdrawal results retain the previously captured projection identities; four-state samples and named input/context refusals are additional vectors. This suite covers the declared pure projection profile. Passing it alone does not certify the native host, cryptographic admission, or every code in the complete refusal catalog. Those producer vectors remain required in the release acceptance record.
+
+## Signed computations
+
+`executeComputation` identifies the request before invoking the evaluator. It commits the contract, numeric policy, complete reading context, actual input bytes, implementation digest, result digest and receipt commitment. The digest names the implementation; it is not a signing key. The receiver supplies a signer and an independent signature-verification port. Evaluation, signature acquisition and verification have separate bounds.
+
+`verifyComputation` reconstructs these commitments from the receiver's expected context and actual input/result bytes, then verifies the signature with the receiver's port. No key, verifier or authority is accepted from a returned statement. Distinct implementation digests are distinct origins; redelivery adds no origin. Agreement is not proof of correctness or statistical independence. A disagreement can be compared only under the same declared question and comparison form; no automatic conflict algebra is invented here.
+
+Cancellation, failed evaluation, an invalid signer or an unverifiable signature produces no successful computation statement. The API signs an observation, not a Root admission or release approval. It does not persist a result automatically.

package/docs/contracts/native-host.md

@@ -0,0 +1,21 @@
+# Native in-process host
+
+The public `@lapxo/bound/host` entry offers authenticated Root and contextual standing reads, Root-lot and contextual-act admission, historical recovery, and explicit native instrument and receiver adapters. Node is required for this native host. The pure `/engine` and reference backends retain their separate contracts.
+
+## Classic Root lot
+
+`landRootLotInProcess(context, ports)` accepts LF-framed, canonical, unsigned target configuration records. The receiver supplies the admitted place, exact history snapshot, implementation runtime, reading identity, byte/record/time bounds, content port and canonical-line signer. The lot cannot choose those capabilities. It calls the same admission judges and atomic result implementation as the CLI; a signed line is not automatically an admitted line.
+
+The snapshot is checked before acquisition and before admission. Coverage is checked before invoking the signer. A change while signing refuses instead of rebasing. A fresh repeated held lot does not acquire another signature. `rootLotSnapshot` names complete admission history; it is not a signature or permission.
+
+## Effects and recovery
+
+Cancellation before visibility leaves no partial act. A publication error whose visibility is unknown returns `uncertain` with the native act identity. A failure after commit retains that identity and reports incomplete conformance, not rollback. `recoverRootActInProcess` authenticates the historical result without signing or reviving current grants. Root and contextual admission remain distinct operations; the latter consumes already signed contextual originals and acquires receiver receipts.
+
+The host selects context explicitly on every call. Calls do not interpret consumer argv or print to its console. Diagnostics are bounded returned data. Native storage shares the CLI exclusion protocol. Returned reading commitments are unsigned data and do not pay release demands.
+
+## Public quartet
+
+The two positive places are a seed accession library and a coastal tide survey. Each installs the public host boundary, bootstraps disposable fixture authority through the real CLI, admits a domain-specific Root lot, compares native result recovery and repeats the held lot without signing again. Negatives alter bytes, remove signer coverage, cancel before commit and offer a noncanonical lot; no negative may create a visible act. Test keys are created only for the disposable fixture, never shipped.
+
+The executable vector captures the instrument output. The quartet proves this declared public boundary; it does not certify all remaining host views, another machine, a release policy or an owner admission. Head, browser hosts, algebra, wire and ceilings are outside this change.

package/docs/contracts/native-host.publication.json

@@ -0,0 +1,25 @@
+{
+  "scope": "contract/published/native-host",
+  "members": [
+    {
+      "role": "contract",
+      "path": "docs/contracts/native-host.md",
+      "digest": "sha256:e7821cd2641caa4725aa20095027d903693756a8568a2163a79d7bb665b7643b"
+    },
+    {
+      "role": "yes",
+      "path": "samples/native-host/yes.json",
+      "digest": "sha256:6c02edaea00db315e20b15f96b281cf605db2c7499f3d1b9839096a704492c44"
+    },
+    {
+      "role": "vector",
+      "path": "vectors/native/native-host.vector.json",
+      "digest": "sha256:b62d77a3de11d960657fa9e7b58d4e88c68d0c389d683937bba4fa6c04a9d952"
+    },
+    {
+      "role": "no",
+      "path": "samples/native-host/no.json",
+      "digest": "sha256:27f323ca2a0d1547197e6beab3427bdcda45c0318fac52bc58b2b0164a2df38d"
+    }
+  ]
+}