@feltdb/core 0.8.3 → 0.8.5

package/dist/create/server-source/crates/feltdb/tests/fixtures/state_diff_contract_corpus.json

@@ -0,0 +1,1878 @@
+{
+  "about": "Deterministic conformance corpus for the feltdb.state.diff contract. Every case is executed by both the native and the WASM implementation and their canonical output bytes must be identical to each other and to expected_output. Cases with 'input' are canonically encoded by the harness and carry those bytes as canonical_input; cases with 'raw_input' are fed to the contract verbatim so that non-canonical and malformed encodings are testable. Regenerate expected_output with FELTDB_STATE_DIFF_CONTRACT_BLESS=1 cargo test -p feltdb --test state_diff_contract_conformance -- bless --ignored",
+  "cases": [
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":1},\"state_b\":{\"x\":1},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "x": 1
+        },
+        "state_b": {
+          "x": 1
+        },
+        "version": 1
+      },
+      "name": "identical_objects",
+      "why": "two equal states produce no change"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"a\":{\"b\":[1,{\"c\":2}]}},\"state_b\":{\"a\":{\"b\":[1,{\"c\":2}]}},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "a": {
+            "b": [
+              1,
+              {
+                "c": 2
+              }
+            ]
+          }
+        },
+        "state_b": {
+          "a": {
+            "b": [
+              1,
+              {
+                "c": 2
+              }
+            ]
+          }
+        },
+        "version": 1
+      },
+      "name": "identical_nested",
+      "why": "equality is structural"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{},\"state_b\":{},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {},
+        "state_b": {},
+        "version": 1
+      },
+      "name": "both_empty_objects",
+      "why": "an empty state against itself"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[],\"state_b\":[],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [],
+        "state_b": [],
+        "version": 1
+      },
+      "name": "both_empty_arrays",
+      "why": "an empty array against itself"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":null,\"state_b\":null,\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": null,
+        "state_b": null,
+        "version": 1
+      },
+      "name": "both_null",
+      "why": "null against null is the matched-null branch"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{},\"state_b\":{\"a\":1,\"b\":2},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"a\"}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":1},{\"path\":[{\"Key\":\"b\"}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {},
+        "state_b": {
+          "a": 1,
+          "b": 2
+        },
+        "version": 1
+      },
+      "name": "empty_to_populated_object",
+      "why": "every member of the new state is an addition"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"a\":1,\"b\":2},\"state_b\":{},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"a\"}],\"kind\":\"Removed\",\"old_value\":1,\"new_value\":null},{\"path\":[{\"Key\":\"b\"}],\"kind\":\"Removed\",\"old_value\":2,\"new_value\":null}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "a": 1,
+          "b": 2
+        },
+        "state_b": {},
+        "version": 1
+      },
+      "name": "populated_to_empty_object",
+      "why": "every member of the old state is a removal"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[],\"state_b\":[1,2],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":0}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":1},{\"path\":[{\"Index\":1}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [],
+        "state_b": [
+          1,
+          2
+        ],
+        "version": 1
+      },
+      "name": "empty_to_populated_array",
+      "why": "array growth from nothing"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[1,2],\"state_b\":[],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":0}],\"kind\":\"Removed\",\"old_value\":1,\"new_value\":null},{\"path\":[{\"Index\":1}],\"kind\":\"Removed\",\"old_value\":2,\"new_value\":null}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          1,
+          2
+        ],
+        "state_b": [],
+        "version": 1
+      },
+      "name": "populated_to_empty_array",
+      "why": "array shrinkage to nothing"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":1},\"state_b\":{\"x\":2},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "x": 1
+        },
+        "state_b": {
+          "x": 2
+        },
+        "version": 1
+      },
+      "name": "single_scalar_replacement",
+      "why": "the simplest change"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":1,\"state_b\":2,\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": 1,
+        "state_b": 2,
+        "version": 1
+      },
+      "name": "top_level_scalar_replacement",
+      "why": "a change at the empty path"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{},\"state_b\":[],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[],\"kind\":\"Changed\",\"old_value\":{},\"new_value\":[]}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {},
+        "state_b": [],
+        "version": 1
+      },
+      "name": "top_level_type_transition",
+      "why": "the states themselves change type"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":\"s\",\"state_b\":{\"x\":1},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[],\"kind\":\"Changed\",\"old_value\":\"s\",\"new_value\":{\"x\":1}}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": "s",
+        "state_b": {
+          "x": 1
+        },
+        "version": 1
+      },
+      "name": "top_level_scalar_to_object",
+      "why": "a scalar state becoming a structured one"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"a\":1},\"state_b\":{\"a\":1,\"b\":2},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"b\"}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "a": 1
+        },
+        "state_b": {
+          "a": 1,
+          "b": 2
+        },
+        "version": 1
+      },
+      "name": "object_addition",
+      "why": "a new member"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"a\":1,\"b\":2},\"state_b\":{\"a\":1},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"b\"}],\"kind\":\"Removed\",\"old_value\":2,\"new_value\":null}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "a": 1,
+          "b": 2
+        },
+        "state_b": {
+          "a": 1
+        },
+        "version": 1
+      },
+      "name": "object_removal",
+      "why": "a dropped member"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"a\":1},\"state_b\":{\"a\":2},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"a\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "a": 1
+        },
+        "state_b": {
+          "a": 2
+        },
+        "version": 1
+      },
+      "name": "object_replacement",
+      "why": "a changed member"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"o\":{\"a\":1}},\"state_b\":{\"o\":{\"a\":1,\"b\":2}},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"b\"}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "o": {
+            "a": 1
+          }
+        },
+        "state_b": {
+          "o": {
+            "a": 1,
+            "b": 2
+          }
+        },
+        "version": 1
+      },
+      "name": "nested_addition",
+      "why": "a new member one level down"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"o\":{\"a\":1,\"b\":2}},\"state_b\":{\"o\":{\"a\":1}},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"b\"}],\"kind\":\"Removed\",\"old_value\":2,\"new_value\":null}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "o": {
+            "a": 1,
+            "b": 2
+          }
+        },
+        "state_b": {
+          "o": {
+            "a": 1
+          }
+        },
+        "version": 1
+      },
+      "name": "nested_removal",
+      "why": "a dropped member one level down"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"o\":{\"a\":1}},\"state_b\":{\"o\":{\"a\":2}},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "o": {
+            "a": 1
+          }
+        },
+        "state_b": {
+          "o": {
+            "a": 2
+          }
+        },
+        "version": 1
+      },
+      "name": "nested_replacement",
+      "why": "a changed member one level down"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"a\":1,\"m\":1,\"z\":1},\"state_b\":{\"a\":2,\"m\":2,\"z\":2},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"a\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Key\":\"m\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Key\":\"z\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "a": 1,
+          "m": 1,
+          "z": 1
+        },
+        "state_b": {
+          "a": 2,
+          "m": 2,
+          "z": 2
+        },
+        "version": 1
+      },
+      "name": "multiple_independent_changes",
+      "why": "several changes are reported and ordered together"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"drop\":2,\"edit\":3,\"keep\":1},\"state_b\":{\"edit\":4,\"keep\":1,\"new\":5},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"drop\"}],\"kind\":\"Removed\",\"old_value\":2,\"new_value\":null},{\"path\":[{\"Key\":\"edit\"}],\"kind\":\"Changed\",\"old_value\":3,\"new_value\":4},{\"path\":[{\"Key\":\"new\"}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":5}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "drop": 2,
+          "edit": 3,
+          "keep": 1
+        },
+        "state_b": {
+          "edit": 4,
+          "keep": 1,
+          "new": 5
+        },
+        "version": 1
+      },
+      "name": "simultaneous_add_remove_change",
+      "why": "all three kinds in one diff"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"a\":{\"b\":{\"c\":{\"d\":{\"e\":{\"f\":{\"g\":{\"h\":{\"i\":{\"j\":1}}}}}}}}}},\"state_b\":{\"a\":{\"b\":{\"c\":{\"d\":{\"e\":{\"f\":{\"g\":{\"h\":{\"i\":{\"j\":2}}}}}}}}}},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"a\"},{\"Key\":\"b\"},{\"Key\":\"c\"},{\"Key\":\"d\"},{\"Key\":\"e\"},{\"Key\":\"f\"},{\"Key\":\"g\"},{\"Key\":\"h\"},{\"Key\":\"i\"},{\"Key\":\"j\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "a": {
+            "b": {
+              "c": {
+                "d": {
+                  "e": {
+                    "f": {
+                      "g": {
+                        "h": {
+                          "i": {
+                            "j": 1
+                          }
+                        }
+                      }
+                    }
+                  }
+                }
+              }
+            }
+          }
+        },
+        "state_b": {
+          "a": {
+            "b": {
+              "c": {
+                "d": {
+                  "e": {
+                    "f": {
+                      "g": {
+                        "h": {
+                          "i": {
+                            "j": 2
+                          }
+                        }
+                      }
+                    }
+                  }
+                }
+              }
+            }
+          }
+        },
+        "version": 1
+      },
+      "name": "deeply_nested_change",
+      "why": "a change at depth ten"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"o\":{\"a\":1,\"b\":{\"c\":2}}},\"state_b\":{\"o\":\"flat\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"o\"}],\"kind\":\"Changed\",\"old_value\":{\"a\":1,\"b\":{\"c\":2}},\"new_value\":\"flat\"}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "o": {
+            "a": 1,
+            "b": {
+              "c": 2
+            }
+          }
+        },
+        "state_b": {
+          "o": "flat"
+        },
+        "version": 1
+      },
+      "name": "whole_subtree_replaced",
+      "why": "a subtree replaced by a scalar is one change at its root"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{},\"state_b\":{\"o\":{\"a\":1,\"b\":{\"c\":[1,2]}}},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"o\"}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":{\"a\":1,\"b\":{\"c\":[1,2]}}}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {},
+        "state_b": {
+          "o": {
+            "a": 1,
+            "b": {
+              "c": [
+                1,
+                2
+              ]
+            }
+          }
+        },
+        "version": 1
+      },
+      "name": "whole_subtree_added",
+      "why": "an added subtree is one change carrying the whole value"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"l\":{\"x\":1},\"r\":{\"y\":1}},\"state_b\":{\"l\":{\"x\":2},\"r\":{\"y\":2}},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"l\"},{\"Key\":\"x\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Key\":\"r\"},{\"Key\":\"y\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "l": {
+            "x": 1
+          },
+          "r": {
+            "y": 1
+          }
+        },
+        "state_b": {
+          "l": {
+            "x": 2
+          },
+          "r": {
+            "y": 2
+          }
+        },
+        "version": 1
+      },
+      "name": "sibling_subtrees_change_independently",
+      "why": "changes at unrelated paths do not interact"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"\":2,\"0\":3,\"[0]\":4,\"a b\":6,\"a.b\":1,\"a/b\":5},\"state_b\":{\"\":9,\"0\":9,\"[0]\":9,\"a b\":9,\"a.b\":9,\"a/b\":9},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"\"}],\"kind\":\"Changed\",\"old_value\":2,\"new_value\":9},{\"path\":[{\"Key\":\"0\"}],\"kind\":\"Changed\",\"old_value\":3,\"new_value\":9},{\"path\":[{\"Key\":\"[0]\"}],\"kind\":\"Changed\",\"old_value\":4,\"new_value\":9},{\"path\":[{\"Key\":\"a b\"}],\"kind\":\"Changed\",\"old_value\":6,\"new_value\":9},{\"path\":[{\"Key\":\"a.b\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":9},{\"path\":[{\"Key\":\"a/b\"}],\"kind\":\"Changed\",\"old_value\":5,\"new_value\":9}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "": 2,
+          "0": 3,
+          "[0]": 4,
+          "a b": 6,
+          "a.b": 1,
+          "a/b": 5
+        },
+        "state_b": {
+          "": 9,
+          "0": 9,
+          "[0]": 9,
+          "a b": 9,
+          "a.b": 9,
+          "a/b": 9
+        },
+        "version": 1
+      },
+      "name": "unusual_object_keys",
+      "why": "keys that look like paths, indices and punctuation are opaque"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"10\":1,\"2\":1,\"A\":1,\"Z\":1,\"a\":1,\"b\":1},\"state_b\":{\"10\":2,\"2\":2,\"A\":2,\"Z\":2,\"a\":2,\"b\":2},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"10\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Key\":\"2\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Key\":\"A\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Key\":\"Z\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Key\":\"a\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Key\":\"b\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "10": 1,
+          "2": 1,
+          "A": 1,
+          "Z": 1,
+          "a": 1,
+          "b": 1
+        },
+        "state_b": {
+          "10": 2,
+          "2": 2,
+          "A": 2,
+          "Z": 2,
+          "a": 2,
+          "b": 2
+        },
+        "version": 1
+      },
+      "name": "key_ordering_is_byte_order",
+      "why": "result order follows byte order, not insertion order"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"café\":\"naïve\",\"☕\":\"🔥\"},\"state_b\":{\"café\":\"naif\",\"☕\":\"💧\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"café\"}],\"kind\":\"Changed\",\"old_value\":\"naïve\",\"new_value\":\"naif\"},{\"path\":[{\"Key\":\"☕\"}],\"kind\":\"Changed\",\"old_value\":\"🔥\",\"new_value\":\"💧\"}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "café": "naïve",
+          "☕": "🔥"
+        },
+        "state_b": {
+          "café": "naif",
+          "☕": "💧"
+        },
+        "version": 1
+      },
+      "name": "unicode_keys_and_values",
+      "why": "non-ASCII survives parsing, diffing and re-encoding"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"z\":1,\"é\":1,\"☕\":1},\"state_b\":{\"z\":2,\"é\":2,\"☕\":2},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"z\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Key\":\"é\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Key\":\"☕\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "z": 1,
+          "é": 1,
+          "☕": 1
+        },
+        "state_b": {
+          "z": 2,
+          "é": 2,
+          "☕": 2
+        },
+        "version": 1
+      },
+      "name": "unicode_key_ordering",
+      "why": "non-ASCII keys order by UTF-8 bytes"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"s\":\"\\\"\\\\\\n\\t\\b\\f\\u0001\"},\"state_b\":{\"s\":\"other\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"s\"}],\"kind\":\"Changed\",\"old_value\":\"\\\"\\\\\\n\\t\\b\\f\\u0001\",\"new_value\":\"other\"}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "s": "\"\\\n\t\b\f\u0001"
+        },
+        "state_b": {
+          "s": "other"
+        },
+        "version": 1
+      },
+      "name": "escaped_characters_in_values",
+      "why": "values needing escapes re-encode identically"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"s\":\"
\"},\"state_b\":{\"s\":\"other\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"s\"}],\"kind\":\"Changed\",\"old_value\":\"
\",\"new_value\":\"other\"}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "s": "
"
+        },
+        "state_b": {
+          "s": "other"
+        },
+        "version": 1
+      },
+      "name": "unescaped_characters_in_values",
+      "why": "DEL and U+2028 are emitted raw, as serde_json emits them"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"\\nk\":1,\"\\\"k\":1},\"state_b\":{\"\\nk\":2,\"\\\"k\":2},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"\\nk\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Key\":\"\\\"k\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "\nk": 1,
+          "\"k": 1
+        },
+        "state_b": {
+          "\nk": 2,
+          "\"k": 2
+        },
+        "version": 1
+      },
+      "name": "escaped_characters_in_keys",
+      "why": "keys needing escapes re-encode identically"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"k00\":0,\"k01\":1,\"k02\":2,\"k03\":3,\"k04\":4,\"k05\":5,\"k06\":6,\"k07\":7,\"k08\":8,\"k09\":9,\"k10\":10,\"k11\":11,\"k12\":12,\"k13\":13,\"k14\":14,\"k15\":15,\"k16\":16,\"k17\":17,\"k18\":18,\"k19\":19,\"k20\":20,\"k21\":21,\"k22\":22,\"k23\":23,\"k24\":24,\"k25\":25,\"k26\":26,\"k27\":27,\"k28\":28,\"k29\":29,\"k30\":30,\"k31\":31,\"k32\":32,\"k33\":33,\"k34\":34,\"k35\":35,\"k36\":36,\"k37\":37,\"k38\":38,\"k39\":39},\"state_b\":{\"k00\":100,\"k01\":1,\"k02\":2,\"k03\":103,\"k04\":4,\"k05\":5,\"k06\":106,\"k07\":7,\"k08\":8,\"k09\":109,\"k10\":10,\"k11\":11,\"k12\":112,\"k13\":13,\"k14\":14,\"k15\":115,\"k16\":16,\"k17\":17,\"k18\":118,\"k19\":19,\"k20\":20,\"k21\":121,\"k22\":22,\"k23\":23,\"k24\":124,\"k25\":25,\"k26\":26,\"k27\":127,\"k28\":28,\"k29\":29,\"k30\":130,\"k31\":31,\"k32\":32,\"k33\":133,\"k34\":34,\"k35\":35,\"k36\":136,\"k37\":37,\"k38\":38,\"k39\":139},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"k00\"}],\"kind\":\"Changed\",\"old_value\":0,\"new_value\":100},{\"path\":[{\"Key\":\"k03\"}],\"kind\":\"Changed\",\"old_value\":3,\"new_value\":103},{\"path\":[{\"Key\":\"k06\"}],\"kind\":\"Changed\",\"old_value\":6,\"new_value\":106},{\"path\":[{\"Key\":\"k09\"}],\"kind\":\"Changed\",\"old_value\":9,\"new_value\":109},{\"path\":[{\"Key\":\"k12\"}],\"kind\":\"Changed\",\"old_value\":12,\"new_value\":112},{\"path\":[{\"Key\":\"k15\"}],\"kind\":\"Changed\",\"old_value\":15,\"new_value\":115},{\"path\":[{\"Key\":\"k18\"}],\"kind\":\"Changed\",\"old_value\":18,\"new_value\":118},{\"path\":[{\"Key\":\"k21\"}],\"kind\":\"Changed\",\"old_value\":21,\"new_value\":121},{\"path\":[{\"Key\":\"k24\"}],\"kind\":\"Changed\",\"old_value\":24,\"new_value\":124},{\"path\":[{\"Key\":\"k27\"}],\"kind\":\"Changed\",\"old_value\":27,\"new_value\":127},{\"path\":[{\"Key\":\"k30\"}],\"kind\":\"Changed\",\"old_value\":30,\"new_value\":130},{\"path\":[{\"Key\":\"k33\"}],\"kind\":\"Changed\",\"old_value\":33,\"new_value\":133},{\"path\":[{\"Key\":\"k36\"}],\"kind\":\"Changed\",\"old_value\":36,\"new_value\":136},{\"path\":[{\"Key\":\"k39\"}],\"kind\":\"Changed\",\"old_value\":39,\"new_value\":139}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "k00": 0,
+          "k01": 1,
+          "k02": 2,
+          "k03": 3,
+          "k04": 4,
+          "k05": 5,
+          "k06": 6,
+          "k07": 7,
+          "k08": 8,
+          "k09": 9,
+          "k10": 10,
+          "k11": 11,
+          "k12": 12,
+          "k13": 13,
+          "k14": 14,
+          "k15": 15,
+          "k16": 16,
+          "k17": 17,
+          "k18": 18,
+          "k19": 19,
+          "k20": 20,
+          "k21": 21,
+          "k22": 22,
+          "k23": 23,
+          "k24": 24,
+          "k25": 25,
+          "k26": 26,
+          "k27": 27,
+          "k28": 28,
+          "k29": 29,
+          "k30": 30,
+          "k31": 31,
+          "k32": 32,
+          "k33": 33,
+          "k34": 34,
+          "k35": 35,
+          "k36": 36,
+          "k37": 37,
+          "k38": 38,
+          "k39": 39
+        },
+        "state_b": {
+          "k00": 100,
+          "k01": 1,
+          "k02": 2,
+          "k03": 103,
+          "k04": 4,
+          "k05": 5,
+          "k06": 106,
+          "k07": 7,
+          "k08": 8,
+          "k09": 109,
+          "k10": 10,
+          "k11": 11,
+          "k12": 112,
+          "k13": 13,
+          "k14": 14,
+          "k15": 115,
+          "k16": 16,
+          "k17": 17,
+          "k18": 118,
+          "k19": 19,
+          "k20": 20,
+          "k21": 121,
+          "k22": 22,
+          "k23": 23,
+          "k24": 124,
+          "k25": 25,
+          "k26": 26,
+          "k27": 127,
+          "k28": 28,
+          "k29": 29,
+          "k30": 130,
+          "k31": 31,
+          "k32": 32,
+          "k33": 133,
+          "k34": 34,
+          "k35": 35,
+          "k36": 136,
+          "k37": 37,
+          "k38": 38,
+          "k39": 139
+        },
+        "version": 1
+      },
+      "name": "many_members",
+      "why": "an object wide enough that ordering is load-bearing"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{},\"state_b\":{\"x\":1},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":1}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {},
+        "state_b": {
+          "x": 1
+        },
+        "version": 1
+      },
+      "name": "missing_to_value",
+      "why": "an absent member becoming present is Added"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":1},\"state_b\":{},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Removed\",\"old_value\":1,\"new_value\":null}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "x": 1
+        },
+        "state_b": {},
+        "version": 1
+      },
+      "name": "value_to_missing",
+      "why": "a present member becoming absent is Removed"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{},\"state_b\":{\"x\":null},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":null}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {},
+        "state_b": {
+          "x": null
+        },
+        "version": 1
+      },
+      "name": "missing_to_null",
+      "why": "absent to JSON null is Added carrying null"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":null},\"state_b\":{},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Removed\",\"old_value\":null,\"new_value\":null}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "x": null
+        },
+        "state_b": {},
+        "version": 1
+      },
+      "name": "null_to_missing",
+      "why": "JSON null to absent is Removed carrying null"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":null},\"state_b\":{\"x\":1},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Changed\",\"old_value\":null,\"new_value\":1}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "x": null
+        },
+        "state_b": {
+          "x": 1
+        },
+        "version": 1
+      },
+      "name": "null_to_value",
+      "why": "null to a value is Changed, not Added"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":1},\"state_b\":{\"x\":null},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":null}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "x": 1
+        },
+        "state_b": {
+          "x": null
+        },
+        "version": 1
+      },
+      "name": "value_to_null",
+      "why": "a value to null is Changed, not Removed"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":null},\"state_b\":{\"x\":null},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "x": null
+        },
+        "state_b": {
+          "x": null
+        },
+        "version": 1
+      },
+      "name": "null_to_null",
+      "why": "null against null reports nothing"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":null},\"state_b\":{\"x\":false},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Changed\",\"old_value\":null,\"new_value\":false}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "x": null
+        },
+        "state_b": {
+          "x": false
+        },
+        "version": 1
+      },
+      "name": "null_to_false",
+      "why": "null and false are different values"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":null},\"state_b\":{\"x\":{}},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Changed\",\"old_value\":null,\"new_value\":{}}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "x": null
+        },
+        "state_b": {
+          "x": {}
+        },
+        "version": 1
+      },
+      "name": "null_to_empty_object",
+      "why": "null to an empty object is a type transition"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"o\":{\"a\":null,\"b\":1,\"c\":null}},\"state_b\":{\"o\":{\"a\":1,\"b\":null,\"d\":null}},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"kind\":\"Changed\",\"old_value\":null,\"new_value\":1},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"b\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"c\"}],\"kind\":\"Removed\",\"old_value\":null,\"new_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"d\"}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":null}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "o": {
+            "a": null,
+            "b": 1,
+            "c": null
+          }
+        },
+        "state_b": {
+          "o": {
+            "a": 1,
+            "b": null,
+            "d": null
+          }
+        },
+        "version": 1
+      },
+      "name": "nested_null_transitions",
+      "why": "the null and missing cases together one level down"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[1],\"state_b\":[1,2],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":1}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          1
+        ],
+        "state_b": [
+          1,
+          2
+        ],
+        "version": 1
+      },
+      "name": "array_append_one",
+      "why": "a longer array adds at the new index"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[1],\"state_b\":[1,2,3,4],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":1}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":2},{\"path\":[{\"Index\":2}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":3},{\"path\":[{\"Index\":3}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":4}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          1
+        ],
+        "state_b": [
+          1,
+          2,
+          3,
+          4
+        ],
+        "version": 1
+      },
+      "name": "array_append_many",
+      "why": "several appended elements"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[1,2],\"state_b\":[1],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":1}],\"kind\":\"Removed\",\"old_value\":2,\"new_value\":null}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          1,
+          2
+        ],
+        "state_b": [
+          1
+        ],
+        "version": 1
+      },
+      "name": "array_remove_tail",
+      "why": "a shorter array removes at the dropped index"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[1,2,3,4],\"state_b\":[1],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":1}],\"kind\":\"Removed\",\"old_value\":2,\"new_value\":null},{\"path\":[{\"Index\":2}],\"kind\":\"Removed\",\"old_value\":3,\"new_value\":null},{\"path\":[{\"Index\":3}],\"kind\":\"Removed\",\"old_value\":4,\"new_value\":null}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          1,
+          2,
+          3,
+          4
+        ],
+        "state_b": [
+          1
+        ],
+        "version": 1
+      },
+      "name": "array_remove_many",
+      "why": "several removed elements"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[1,2,3],\"state_b\":[1,9,3],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":1}],\"kind\":\"Changed\",\"old_value\":2,\"new_value\":9}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          1,
+          2,
+          3
+        ],
+        "state_b": [
+          1,
+          9,
+          3
+        ],
+        "version": 1
+      },
+      "name": "array_index_replacement",
+      "why": "an element changed in place"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[1,2,3],\"state_b\":[9,2,8],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":0}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":9},{\"path\":[{\"Index\":2}],\"kind\":\"Changed\",\"old_value\":3,\"new_value\":8}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          1,
+          2,
+          3
+        ],
+        "state_b": [
+          9,
+          2,
+          8
+        ],
+        "version": 1
+      },
+      "name": "array_multiple_index_changes",
+      "why": "several elements changed in place"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[1,2],\"state_b\":[2,1],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":0}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Index\":1}],\"kind\":\"Changed\",\"old_value\":2,\"new_value\":1}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          1,
+          2
+        ],
+        "state_b": [
+          2,
+          1
+        ],
+        "version": 1
+      },
+      "name": "array_reorder_is_positional",
+      "why": "a reorder is reported per index, never as a move"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[1,2,3],\"state_b\":[3,1,2],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":0}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":3},{\"path\":[{\"Index\":1}],\"kind\":\"Changed\",\"old_value\":2,\"new_value\":1},{\"path\":[{\"Index\":2}],\"kind\":\"Changed\",\"old_value\":3,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          1,
+          2,
+          3
+        ],
+        "state_b": [
+          3,
+          1,
+          2
+        ],
+        "version": 1
+      },
+      "name": "array_reorder_three",
+      "why": "a rotation reports every position that differs"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[1,2],\"state_b\":[0,1,2],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":0}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":0},{\"path\":[{\"Index\":1}],\"kind\":\"Changed\",\"old_value\":2,\"new_value\":1},{\"path\":[{\"Index\":2}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          1,
+          2
+        ],
+        "state_b": [
+          0,
+          1,
+          2
+        ],
+        "version": 1
+      },
+      "name": "array_prepend_shifts_everything",
+      "why": "a prepend is positional, so every index changes"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[{\"a\":1}],\"state_b\":[{\"a\":2}],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":0},{\"Key\":\"a\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          {
+            "a": 1
+          }
+        ],
+        "state_b": [
+          {
+            "a": 2
+          }
+        ],
+        "version": 1
+      },
+      "name": "array_nested_change",
+      "why": "a change inside an array element"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[[1,2]],\"state_b\":[[1,3]],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":0},{\"Index\":1}],\"kind\":\"Changed\",\"old_value\":2,\"new_value\":3}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          [
+            1,
+            2
+          ]
+        ],
+        "state_b": [
+          [
+            1,
+            3
+          ]
+        ],
+        "version": 1
+      },
+      "name": "array_of_arrays",
+      "why": "nesting through two array levels"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[1,2],\"state_b\":[9,2,3],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":0}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":9},{\"path\":[{\"Index\":2}],\"kind\":\"Added\",\"old_value\":null,\"new_value\":3}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          1,
+          2
+        ],
+        "state_b": [
+          9,
+          2,
+          3
+        ],
+        "version": 1
+      },
+      "name": "array_grows_and_element_changes",
+      "why": "a positional change and an append together"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[1,2,3],\"state_b\":[9,2],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":0}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":9},{\"path\":[{\"Index\":2}],\"kind\":\"Removed\",\"old_value\":3,\"new_value\":null}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          1,
+          2,
+          3
+        ],
+        "state_b": [
+          9,
+          2
+        ],
+        "version": 1
+      },
+      "name": "array_shrinks_and_element_changes",
+      "why": "a positional change and a removal together"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":[1]},\"state_b\":{\"x\":{\"0\":1}},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Changed\",\"old_value\":[1],\"new_value\":{\"0\":1}}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "x": [
+            1
+          ]
+        },
+        "state_b": {
+          "x": {
+            "0": 1
+          }
+        },
+        "version": 1
+      },
+      "name": "array_to_object",
+      "why": "an array replaced by an object is one Changed"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":{\"0\":1}},\"state_b\":{\"x\":[1]},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Changed\",\"old_value\":{\"0\":1},\"new_value\":[1]}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "x": {
+            "0": 1
+          }
+        },
+        "state_b": {
+          "x": [
+            1
+          ]
+        },
+        "version": 1
+      },
+      "name": "object_to_array",
+      "why": "an object replaced by an array is one Changed"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":[1,2]},\"state_b\":{\"x\":1},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Changed\",\"old_value\":[1,2],\"new_value\":1}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "x": [
+            1,
+            2
+          ]
+        },
+        "state_b": {
+          "x": 1
+        },
+        "version": 1
+      },
+      "name": "array_to_scalar",
+      "why": "an array replaced by a scalar"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":1},\"state_b\":{\"x\":[1,2]},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":[1,2]}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "x": 1
+        },
+        "state_b": {
+          "x": [
+            1,
+            2
+          ]
+        },
+        "version": 1
+      },
+      "name": "scalar_to_array",
+      "why": "a scalar replaced by an array"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":[]},\"state_b\":{\"x\":{}},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Changed\",\"old_value\":[],\"new_value\":{}}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "x": []
+        },
+        "state_b": {
+          "x": {}
+        },
+        "version": 1
+      },
+      "name": "empty_array_to_empty_object",
+      "why": "two empty containers of different type"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[null,1],\"state_b\":[1,null],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":0}],\"kind\":\"Changed\",\"old_value\":null,\"new_value\":1},{\"path\":[{\"Index\":1}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":null}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          null,
+          1
+        ],
+        "state_b": [
+          1,
+          null
+        ],
+        "version": 1
+      },
+      "name": "array_element_null_handling",
+      "why": "null elements are values, not absences"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":[{\"a\":[{\"b\":1}]}],\"state_b\":[{\"a\":[{\"b\":2}]}],\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Index\":0},{\"Key\":\"a\"},{\"Index\":0},{\"Key\":\"b\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": [
+          {
+            "a": [
+              {
+                "b": 1
+              }
+            ]
+          }
+        ],
+        "state_b": [
+          {
+            "a": [
+              {
+                "b": 2
+              }
+            ]
+          }
+        ],
+        "version": 1
+      },
+      "name": "nested_array_in_object_in_array",
+      "why": "alternating container types"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":1},\"state_b\":{\"n\":2},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "n": 1
+        },
+        "state_b": {
+          "n": 2
+        },
+        "version": 1
+      },
+      "name": "integer_change",
+      "why": "integers compare by value"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":42},\"state_b\":{\"n\":42.0},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":42,\"new_value\":42.0}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "n": 42
+        },
+        "state_b": {
+          "n": 42.0
+        },
+        "version": 1
+      },
+      "name": "integer_to_float_is_a_change",
+      "why": "42 and 42.0 are different values"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":42.0},\"state_b\":{\"n\":42},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":42.0,\"new_value\":42}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "n": 42.0
+        },
+        "state_b": {
+          "n": 42
+        },
+        "version": 1
+      },
+      "name": "float_to_integer_is_a_change",
+      "why": "and the comparison is symmetric"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":0.125},\"state_b\":{\"n\":0.25},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":0.125,\"new_value\":0.25}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "n": 0.125
+        },
+        "state_b": {
+          "n": 0.25
+        },
+        "version": 1
+      },
+      "name": "float_change",
+      "why": "floats compare by value"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":3.141592653589793},\"state_b\":{\"n\":3.141592653589793},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "n": 3.141592653589793
+        },
+        "state_b": {
+          "n": 3.141592653589793
+        },
+        "version": 1
+      },
+      "name": "float_unchanged",
+      "why": "an equal float reports nothing"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":0},\"state_b\":{\"n\":1},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":0,\"new_value\":1}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "n": 0
+        },
+        "state_b": {
+          "n": 1
+        },
+        "version": 1
+      },
+      "name": "zero_to_positive",
+      "why": "zero is an ordinary value"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":-7},\"state_b\":{\"n\":-8},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":-7,\"new_value\":-8}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "n": -7
+        },
+        "state_b": {
+          "n": -8
+        },
+        "version": 1
+      },
+      "name": "negative_integers",
+      "why": "negative integers are their own variant"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":18446744073709551615},\"state_b\":{\"n\":18446744073709551614},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":18446744073709551615,\"new_value\":18446744073709551614}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "n": 18446744073709551615
+        },
+        "state_b": {
+          "n": 18446744073709551614
+        },
+        "version": 1
+      },
+      "name": "large_unsigned",
+      "why": "a u64 near the top of the range survives the round trip"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":-9223372036854775808},\"state_b\":{\"n\":-9223372036854775807},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":-9223372036854775808,\"new_value\":-9223372036854775807}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "n": -9223372036854775808
+        },
+        "state_b": {
+          "n": -9223372036854775807
+        },
+        "version": 1
+      },
+      "name": "smallest_signed",
+      "why": "i64::MIN survives the round trip"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":3.141592653589793},\"state_b\":{\"n\":2.718281828459045},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":3.141592653589793,\"new_value\":2.718281828459045}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "n": 3.141592653589793
+        },
+        "state_b": {
+          "n": 2.718281828459045
+        },
+        "version": 1
+      },
+      "name": "float_precision",
+      "why": "floats needing full precision re-encode identically"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"a\":100000000000000.0,\"b\":1000000000000000.0,\"c\":1e+16,\"d\":0.0001,\"e\":0.00001,\"f\":1e-6},\"state_b\":{\"a\":200000000000000.0,\"b\":2000000000000000.0,\"c\":2e+16,\"d\":0.0002,\"e\":0.00002,\"f\":2e-6},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"a\"}],\"kind\":\"Changed\",\"old_value\":100000000000000.0,\"new_value\":200000000000000.0},{\"path\":[{\"Key\":\"b\"}],\"kind\":\"Changed\",\"old_value\":1000000000000000.0,\"new_value\":2000000000000000.0},{\"path\":[{\"Key\":\"c\"}],\"kind\":\"Changed\",\"old_value\":1e+16,\"new_value\":2e+16},{\"path\":[{\"Key\":\"d\"}],\"kind\":\"Changed\",\"old_value\":0.0001,\"new_value\":0.0002},{\"path\":[{\"Key\":\"e\"}],\"kind\":\"Changed\",\"old_value\":0.00001,\"new_value\":0.00002},{\"path\":[{\"Key\":\"f\"}],\"kind\":\"Changed\",\"old_value\":1e-6,\"new_value\":2e-6}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "a": 100000000000000.0,
+          "b": 1000000000000000.0,
+          "c": 1e+16,
+          "d": 0.0001,
+          "e": 0.00001,
+          "f": 1e-6
+        },
+        "state_b": {
+          "a": 200000000000000.0,
+          "b": 2000000000000000.0,
+          "c": 2e+16,
+          "d": 0.0002,
+          "e": 0.00002,
+          "f": 2e-6
+        },
+        "version": 1
+      },
+      "name": "float_fixed_scientific_boundary",
+      "why": "every value on both sides of the boundary is emitted, not just compared"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"hi\":1500000000000000.0,\"lo\":0.000015},\"state_b\":{\"hi\":2500000000000000.0,\"lo\":0.000025},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"hi\"}],\"kind\":\"Changed\",\"old_value\":1500000000000000.0,\"new_value\":2500000000000000.0},{\"path\":[{\"Key\":\"lo\"}],\"kind\":\"Changed\",\"old_value\":0.000015,\"new_value\":0.000025}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "hi": 1500000000000000.0,
+          "lo": 0.000015
+        },
+        "state_b": {
+          "hi": 2500000000000000.0,
+          "lo": 0.000025
+        },
+        "version": 1
+      },
+      "name": "float_boundary_exponents_as_changed_values",
+      "why": "the exponents where ryu switches notation appear as emitted old and new values"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"max\":1.7976931348623157e+308,\"min\":5e-324},\"state_b\":{\"max\":1.7976931348623157e+308,\"min\":1e-323},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"min\"}],\"kind\":\"Changed\",\"old_value\":5e-324,\"new_value\":1e-323}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "max": 1.7976931348623157e+308,
+          "min": 5e-324
+        },
+        "state_b": {
+          "max": 1.7976931348623157e+308,
+          "min": 1e-323
+        },
+        "version": 1
+      },
+      "name": "float_extremes",
+      "why": "the extremes of the double range"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"a\":810553441865041.2,\"b\":-878105248543.0312},\"state_b\":{\"a\":810553441865041.2,\"b\":-280974579863322.12},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"b\"}],\"kind\":\"Changed\",\"old_value\":-878105248543.0312,\"new_value\":-280974579863322.12}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "a": 810553441865041.2,
+          "b": -878105248543.0312
+        },
+        "state_b": {
+          "a": 810553441865041.2,
+          "b": -280974579863322.12
+        },
+        "version": 1
+      },
+      "name": "float_tie_break_values",
+      "why": "values where two shortest representations differ in the last digit"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":\"1\"},\"state_b\":{\"n\":1},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":\"1\",\"new_value\":1}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "n": "1"
+        },
+        "state_b": {
+          "n": 1
+        },
+        "version": 1
+      },
+      "name": "numeric_string_is_not_a_number",
+      "why": "a quoted digit and a number are a type transition"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":true},\"state_b\":{\"n\":1},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":true,\"new_value\":1}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "n": true
+        },
+        "state_b": {
+          "n": 1
+        },
+        "version": 1
+      },
+      "name": "bool_is_not_a_number",
+      "why": "true and 1 are a type transition"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"o\":{\"k0\":0,\"k1\":1,\"k10\":10,\"k11\":11,\"k2\":2,\"k3\":3,\"k4\":4,\"k5\":5,\"k6\":6,\"k7\":7,\"k8\":8,\"k9\":9}},\"state_b\":{\"o\":{\"k0\":0,\"k1\":2,\"k10\":20,\"k11\":22,\"k2\":4,\"k3\":6,\"k4\":8,\"k5\":10,\"k6\":12,\"k7\":14,\"k8\":16,\"k9\":18}},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"k1\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"k10\"}],\"kind\":\"Changed\",\"old_value\":10,\"new_value\":20},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"k11\"}],\"kind\":\"Changed\",\"old_value\":11,\"new_value\":22},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"k2\"}],\"kind\":\"Changed\",\"old_value\":2,\"new_value\":4},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"k3\"}],\"kind\":\"Changed\",\"old_value\":3,\"new_value\":6},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"k4\"}],\"kind\":\"Changed\",\"old_value\":4,\"new_value\":8},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"k5\"}],\"kind\":\"Changed\",\"old_value\":5,\"new_value\":10},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"k6\"}],\"kind\":\"Changed\",\"old_value\":6,\"new_value\":12},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"k7\"}],\"kind\":\"Changed\",\"old_value\":7,\"new_value\":14},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"k8\"}],\"kind\":\"Changed\",\"old_value\":8,\"new_value\":16},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"k9\"}],\"kind\":\"Changed\",\"old_value\":9,\"new_value\":18}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "o": {
+            "k0": 0,
+            "k1": 1,
+            "k10": 10,
+            "k11": 11,
+            "k2": 2,
+            "k3": 3,
+            "k4": 4,
+            "k5": 5,
+            "k6": 6,
+            "k7": 7,
+            "k8": 8,
+            "k9": 9
+          }
+        },
+        "state_b": {
+          "o": {
+            "k0": 0,
+            "k1": 2,
+            "k10": 20,
+            "k11": 22,
+            "k2": 4,
+            "k3": 6,
+            "k4": 8,
+            "k5": 10,
+            "k6": 12,
+            "k7": 14,
+            "k8": 16,
+            "k9": 18
+          }
+        },
+        "version": 1
+      },
+      "name": "repeated_nested_modifications",
+      "why": "many changes under one subtree"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"o\":{\"a\":1},\"o2\":1},\"state_b\":{\"o\":{\"a\":2},\"o2\":2},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Key\":\"o2\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "o": {
+            "a": 1
+          },
+          "o2": 1
+        },
+        "state_b": {
+          "o": {
+            "a": 2
+          },
+          "o2": 2
+        },
+        "version": 1
+      },
+      "name": "changes_at_related_paths",
+      "why": "a member and its sibling subtree both change"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"arr\":[1],\"key\":1},\"state_b\":{\"arr\":[2],\"key\":2},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"arr\"},{\"Index\":0}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Key\":\"key\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "arr": [
+            1
+          ],
+          "key": 1
+        },
+        "state_b": {
+          "arr": [
+            2
+          ],
+          "key": 2
+        },
+        "version": 1
+      },
+      "name": "key_sorts_before_index_at_same_depth",
+      "why": "a Key path component orders before an Index one"
+    },
+    {
+      "canonical_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"a\":[{\"b\":[{\"c\":1}]}]},\"state_b\":{\"a\":[{\"b\":[{\"c\":2}]}]},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"a\"},{\"Index\":0},{\"Key\":\"b\"},{\"Index\":0},{\"Key\":\"c\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "input": {
+        "contract": "feltdb.state.diff",
+        "state_a": {
+          "a": [
+            {
+              "b": [
+                {
+                  "c": 1
+                }
+              ]
+            }
+          ]
+        },
+        "state_b": {
+          "a": [
+            {
+              "b": [
+                {
+                  "c": 2
+                }
+              ]
+            }
+          ]
+        },
+        "version": 1
+      },
+      "name": "mixed_container_shapes_at_depth",
+      "why": "objects and arrays interleaved five deep"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"a\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2},{\"path\":[{\"Key\":\"z\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "name": "unsorted_input_keys_are_normalised",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"z\":1,\"a\":1},\"state_b\":{\"z\":2,\"a\":2},\"version\":1}",
+      "why": "canonical member order is how FeltDB emits input, not a parsing requirement"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "name": "whitespace_around_document",
+      "raw_input": "  {\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":1},\"state_b\":{\"x\":2},\"version\":1}  ",
+      "why": "insignificant whitespace does not change the result"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"x\"}],\"kind\":\"Changed\",\"old_value\":1,\"new_value\":2}],\"is_read_only\":false},\"version\":1}",
+      "name": "envelope_members_in_any_order",
+      "raw_input": "{\"version\":1,\"state_b\":{\"x\":2},\"state_a\":{\"x\":1},\"contract\":\"feltdb.state.diff\"}",
+      "why": "the envelope is an object, so its member order is not semantic"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[],\"is_read_only\":false},\"version\":1}",
+      "name": "duplicate_member_inside_state_resolves_last_wins",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":1,\"x\":2},\"state_b\":{\"x\":2},\"version\":1}",
+      "why": "a repeated member inside a state collapses to its last value, as a map-backed decoder does"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[],\"is_read_only\":false},\"version\":1}",
+      "name": "non_canonical_number_is_normalised",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":1e2},\"state_b\":{\"n\":100.0},\"version\":1}",
+      "why": "1e2 and 100.0 are the same float, so both sides normalise to the same encoding"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":100.0,\"new_value\":100}],\"is_read_only\":false},\"version\":1}",
+      "name": "non_canonical_number_against_integer",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":1e2},\"state_b\":{\"n\":100},\"version\":1}",
+      "why": "1e2 is a float and 100 is an integer, so they are a change"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":-0.0,\"new_value\":0}],\"is_read_only\":false},\"version\":1}",
+      "name": "negative_zero_int_against_zero",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":-0},\"state_b\":{\"n\":0},\"version\":1}",
+      "why": "-0 is a float and never equals the integer 0"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[],\"is_read_only\":false},\"version\":1}",
+      "name": "negative_zero_float_against_zero_float",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":-0.0},\"state_b\":{\"n\":0.0},\"version\":1}",
+      "why": "float equality is IEEE equality, under which -0.0 equals 0.0"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":-0.0,\"new_value\":1}],\"is_read_only\":false},\"version\":1}",
+      "name": "negative_zero_is_re_encoded_with_its_sign",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":-0},\"state_b\":{\"n\":1},\"version\":1}",
+      "why": "-0 re-encodes as -0.0, keeping the sign an integer cannot hold"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[],\"is_read_only\":false},\"version\":1}",
+      "name": "escaped_unicode_equals_literal_unicode",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"s\":\"caf\\u00e9\"},\"state_b\":{\"s\":\"café\"},\"version\":1}",
+      "why": "a \\u escape and literal UTF-8 decode to the same string, so no change is reported"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[],\"is_read_only\":false},\"version\":1}",
+      "name": "surrogate_pair_escape_decodes",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"s\":\"\\ud83d\\udd25\"},\"state_b\":{\"s\":\"🔥\"},\"version\":1}",
+      "why": "an astral character written as a surrogate pair equals the literal one"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":1.8446744073709552e+19,\"new_value\":18446744073709551615}],\"is_read_only\":false},\"version\":1}",
+      "name": "integer_beyond_u64_becomes_a_float",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":18446744073709551616},\"state_b\":{\"n\":18446744073709551615},\"version\":1}",
+      "why": "an integer literal too large for u64 decodes as a float"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"diff\":{\"changes\":[{\"path\":[{\"Key\":\"n\"}],\"kind\":\"Changed\",\"old_value\":-9.223372036854776e+18,\"new_value\":-9223372036854775808}],\"is_read_only\":false},\"version\":1}",
+      "name": "negative_integer_beyond_i64_becomes_a_float",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":-9223372036854775809},\"state_b\":{\"n\":-9223372036854775808},\"version\":1}",
+      "why": "a negative literal too small for i64 decodes as a float"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_not_json",
+      "raw_input": "not json at all",
+      "why": "bytes that are not JSON at all"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_empty_input",
+      "raw_input": "",
+      "why": "zero bytes"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_truncated_object",
+      "raw_input": "{\"state_a\":",
+      "why": "a document that ends mid-value"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_trailing_content",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":1},\"state_b\":{\"x\":2},\"version\":1} trailing",
+      "why": "a complete document followed by more bytes"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_trailing_comma",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":1,},\"state_b\":{\"x\":2},\"version\":1}",
+      "why": "a trailing comma is not JSON"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_single_quotes",
+      "raw_input": "{'contract':'feltdb.state.diff'}",
+      "why": "single-quoted strings are not JSON"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_top_level_array",
+      "raw_input": "[]",
+      "why": "the envelope must be an object"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_top_level_string",
+      "raw_input": "\"feltdb.state.diff\"",
+      "why": "the envelope must be an object"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_missing_state_a",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_b\":{\"x\":2},\"version\":1}",
+      "why": "a required member is absent"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_missing_state_b",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":1},\"version\":1}",
+      "why": "a required member is absent"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_missing_contract",
+      "raw_input": "{\"state_a\":{\"x\":1},\"state_b\":{\"x\":2},\"version\":1}",
+      "why": "a required member is absent"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_unknown_envelope_member",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"extra\":true,\"state_a\":{\"x\":1},\"state_b\":{\"x\":2},\"version\":1}",
+      "why": "the contract denies unknown members"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_duplicate_envelope_member",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":1},\"state_a\":{\"x\":1},\"state_b\":{\"x\":2},\"version\":1}",
+      "why": "a repeated envelope member is rejected"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_version_is_float",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":1},\"state_b\":{\"x\":2},\"version\":1.0}",
+      "why": "version is an integer"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_version_is_negative",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":1},\"state_b\":{\"x\":2},\"version\":-1}",
+      "why": "version is unsigned"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_contract_is_not_string",
+      "raw_input": "{\"contract\":7,\"state_a\":{\"x\":1},\"state_b\":{\"x\":2},\"version\":1}",
+      "why": "contract identity is a string"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_leading_zero_number",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":01},\"state_b\":{\"n\":1},\"version\":1}",
+      "why": "01 is not a JSON number"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_nan_literal",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":NaN},\"state_b\":{\"n\":1},\"version\":1}",
+      "why": "NaN is not a JSON value"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_infinity_literal",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"n\":Infinity},\"state_b\":{\"n\":1},\"version\":1}",
+      "why": "Infinity is not a JSON value"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_raw_control_character_in_string",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"s\":\"a\nb\"},\"state_b\":{\"s\":\"x\"},\"version\":1}",
+      "why": "an unescaped control character is not legal in a JSON string"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_lone_surrogate_escape",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"s\":\"\\ud83d\"},\"state_b\":{\"s\":\"x\"},\"version\":1}",
+      "why": "an unpaired surrogate does not name a character"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_bare_key",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{n:1},\"state_b\":{\"n\":1},\"version\":1}",
+      "why": "object keys must be quoted"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_ID_MISMATCH\"},\"version\":1}",
+      "name": "contract_id_mismatch",
+      "raw_input": "{\"contract\":\"feltdb.state.other\",\"state_a\":{\"x\":1},\"state_b\":{\"x\":2},\"version\":1}",
+      "why": "a well-formed input addressed to another contract"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_VERSION_UNSUPPORTED\"},\"version\":1}",
+      "name": "contract_version_unsupported",
+      "raw_input": "{\"contract\":\"feltdb.state.diff\",\"state_a\":{\"x\":1},\"state_b\":{\"x\":2},\"version\":2}",
+      "why": "a well-formed input at an unimplemented version"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.diff\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_and_misaddressed",
+      "raw_input": "{\"contract\":\"feltdb.state.other\",\"extra\":1,\"state_a\":{\"x\":1},\"state_b\":{\"x\":2},\"version\":1}",
+      "why": "shape is validated before identity, so this is an input error"
+    }
+  ],
+  "contract": "feltdb.state.diff",
+  "contract_version": 1,
+  "corpus_version": 1
+}