@feltdb/core 0.8.3 → 0.8.5

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

@@ -0,0 +1,1916 @@
+{
+  "about": "Deterministic conformance corpus for the feltdb.state.conflict 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 envelopes are testable. State content is a string, and content that is not JSON classifies as JSON null rather than failing. Regenerate expected_output with FELTDB_STATE_CONFLICT_CONTRACT_BLESS=1 cargo test -p feltdb --test state_conflict_contract_conformance -- bless --ignored",
+  "cases": [
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":1}\",\"right\":\"{\\\"x\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":1}",
+        "right": "{\"x\":1}",
+        "version": 2
+      },
+      "name": "all_identical",
+      "why": "no side changed anything, so there are no paths at all"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"a\\\":{\\\"b\\\":[1,{\\\"c\\\":2}]}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"a\\\":{\\\"b\\\":[1,{\\\"c\\\":2}]}}\",\"right\":\"{\\\"a\\\":{\\\"b\\\":[1,{\\\"c\\\":2}]}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"a\":{\"b\":[1,{\"c\":2}]}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"a\":{\"b\":[1,{\"c\":2}]}}",
+        "right": "{\"a\":{\"b\":[1,{\"c\":2}]}}",
+        "version": 2
+      },
+      "name": "all_identical_nested",
+      "why": "structural equality, several levels down"
+    },
+    {
+      "canonical_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{}",
+        "contract": "feltdb.state.conflict",
+        "left": "{}",
+        "right": "{}",
+        "version": 2
+      },
+      "name": "all_empty",
+      "why": "three empty states"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":2}\",\"right\":\"{\\\"x\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":2}",
+        "right": "{\"x\":1}",
+        "version": 2
+      },
+      "name": "left_changed_right_unchanged",
+      "why": "a one-sided change is Independent"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":1}\",\"right\":\"{\\\"x\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":1}",
+        "right": "{\"x\":2}",
+        "version": 2
+      },
+      "name": "right_changed_left_unchanged",
+      "why": "the mirror, which records different values"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":2}\",\"right\":\"{\\\"x\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Convergent\",\"base_value\":1,\"left_value\":2,\"right_value\":2}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":2}",
+        "right": "{\"x\":2}",
+        "version": 2
+      },
+      "name": "both_changed_identically",
+      "why": "agreeing edits converge"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":2}\",\"right\":\"{\\\"x\\\":3}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":2,\"right_value\":3}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":2}",
+        "right": "{\"x\":3}",
+        "version": 2
+      },
+      "name": "both_changed_differently",
+      "why": "disagreeing edits conflict"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"a\\\":1,\\\"b\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"a\\\":2,\\\"b\\\":1}\",\"right\":\"{\\\"a\\\":1,\\\"b\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"a\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Key\":\"b\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"a\":1,\"b\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"a\":2,\"b\":1}",
+        "right": "{\"a\":1,\"b\":2}",
+        "version": 2
+      },
+      "name": "different_top_level_fields",
+      "why": "edits to unrelated members do not interact"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1,\\\"b\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{\\\"a\\\":2,\\\"b\\\":1}}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":1,\\\"b\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"b\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1,\"b\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{\"a\":2,\"b\":1}}",
+        "right": "{\"o\":{\"a\":1,\"b\":2}}",
+        "version": 2
+      },
+      "name": "different_nested_fields",
+      "why": "the same, one level down"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"l\\\":{\\\"x\\\":1},\\\"r\\\":{\\\"y\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"l\\\":{\\\"x\\\":2},\\\"r\\\":{\\\"y\\\":1}}\",\"right\":\"{\\\"l\\\":{\\\"x\\\":1},\\\"r\\\":{\\\"y\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"l\"},{\"Key\":\"x\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Key\":\"r\"},{\"Key\":\"y\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"l\":{\"x\":1},\"r\":{\"y\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"l\":{\"x\":2},\"r\":{\"y\":1}}",
+        "right": "{\"l\":{\"x\":1},\"r\":{\"y\":2}}",
+        "version": 2
+      },
+      "name": "different_sibling_subtrees",
+      "why": "edits in separate subtrees"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"a\\\":1,\\\"b\\\":1,\\\"c\\\":1,\\\"d\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"a\\\":2,\\\"b\\\":2,\\\"c\\\":1,\\\"d\\\":1}\",\"right\":\"{\\\"a\\\":1,\\\"b\\\":1,\\\"c\\\":2,\\\"d\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"a\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Key\":\"b\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Key\":\"c\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2},{\"path\":[{\"Key\":\"d\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"a\":1,\"b\":1,\"c\":1,\"d\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"a\":2,\"b\":2,\"c\":1,\"d\":1}",
+        "right": "{\"a\":1,\"b\":1,\"c\":2,\"d\":2}",
+        "version": 2
+      },
+      "name": "multiple_independent_changes",
+      "why": "several one-sided edits on each side"
+    },
+    {
+      "canonical_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"a\\\":1}\",\"right\":\"{\\\"b\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"a\"}],\"classification\":\"Independent\",\"base_value\":null,\"left_value\":1,\"right_value\":null},{\"path\":[{\"Key\":\"b\"}],\"classification\":\"Independent\",\"base_value\":null,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"a\":1}",
+        "right": "{\"b\":2}",
+        "version": 2
+      },
+      "name": "independent_addition_each_side",
+      "why": "each side adds a different member"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"a\\\":1,\\\"b\\\":2}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"b\\\":2}\",\"right\":\"{\\\"a\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"a\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":null},{\"path\":[{\"Key\":\"b\"}],\"classification\":\"Independent\",\"base_value\":2,\"left_value\":null,\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"a\":1,\"b\":2}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"b\":2}",
+        "right": "{\"a\":1}",
+        "version": 2
+      },
+      "name": "independent_removal_each_side",
+      "why": "each side removes a different member"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"drop\\\":2,\\\"keep\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"drop\\\":2,\\\"keep\\\":1,\\\"new\\\":3}\",\"right\":\"{\\\"keep\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"drop\"}],\"classification\":\"Independent\",\"base_value\":2,\"left_value\":null,\"right_value\":null},{\"path\":[{\"Key\":\"new\"}],\"classification\":\"Independent\",\"base_value\":null,\"left_value\":3,\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"drop\":2,\"keep\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"drop\":2,\"keep\":1,\"new\":3}",
+        "right": "{\"keep\":1}",
+        "version": 2
+      },
+      "name": "left_adds_right_removes_elsewhere",
+      "why": "an addition and a removal at unrelated paths"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":3}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":2,\"right_value\":3}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{\"a\":2}}",
+        "right": "{\"o\":{\"a\":3}}",
+        "version": 2
+      },
+      "name": "relation_same_disagreeing",
+      "why": "same path, different values: Conflict"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Convergent\",\"base_value\":1,\"left_value\":2,\"right_value\":2}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{\"a\":2}}",
+        "right": "{\"o\":{\"a\":2}}",
+        "version": 2
+      },
+      "name": "relation_same_agreeing",
+      "why": "same path, same value: Convergent"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":null,\"left_value\":1,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{\"a\":1}}",
+        "right": "{\"o\":{\"a\":2}}",
+        "version": 2
+      },
+      "name": "relation_same_added_disagreeing",
+      "why": "both add the same member differently"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Convergent\",\"base_value\":null,\"left_value\":1,\"right_value\":1}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{\"a\":1}}",
+        "right": "{\"o\":{\"a\":1}}",
+        "version": 2
+      },
+      "name": "relation_same_added_agreeing",
+      "why": "both add the same member identically"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{}}\",\"right\":\"{\\\"o\\\":{}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Convergent\",\"base_value\":1,\"left_value\":null,\"right_value\":null}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{}}",
+        "right": "{\"o\":{}}",
+        "version": 2
+      },
+      "name": "relation_same_removed_both",
+      "why": "both remove the same member"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{}}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{}}",
+        "right": "{\"o\":{\"a\":2}}",
+        "version": 2
+      },
+      "name": "relation_same_removed_vs_changed",
+      "why": "removal against modification at one path"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":7}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":7,\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":7}",
+        "right": "{\"o\":{\"a\":2}}",
+        "version": 2
+      },
+      "name": "relation_ancestor_replaced_scalar",
+      "why": "THE REPORTED DEFECT: left replaces the parent with a scalar while right edits the child"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":null,\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{}",
+        "right": "{\"o\":{\"a\":2}}",
+        "version": 2
+      },
+      "name": "relation_ancestor_removed",
+      "why": "left removes the parent while right edits the child"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":[1]}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":[1],\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":[1]}",
+        "right": "{\"o\":{\"a\":2}}",
+        "version": 2
+      },
+      "name": "relation_ancestor_replaced_array",
+      "why": "left turns the parent into an array while right edits the child"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":null}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":null,\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":null}",
+        "right": "{\"o\":{\"a\":2}}",
+        "version": 2
+      },
+      "name": "relation_ancestor_replaced_null",
+      "why": "left nulls the parent while right edits the child"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"m\\\":{\\\"a\\\":1}}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":\\\"flat\\\"}\",\"right\":\"{\\\"o\\\":{\\\"m\\\":{\\\"a\\\":2}}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"m\":{\"a\":1}},\"left_value\":\"flat\",\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"m\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"m\":{\"a\":1}}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":\"flat\"}",
+        "right": "{\"o\":{\"m\":{\"a\":2}}}",
+        "version": 2
+      },
+      "name": "relation_ancestor_two_levels",
+      "why": "left replaces a grandparent while right edits the grandchild"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[1]\",\"right\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[],\"classification\":\"Conflict\",\"base_value\":{\"o\":{\"a\":1}},\"left_value\":[1],\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "[1]",
+        "right": "{\"o\":{\"a\":2}}",
+        "version": 2
+      },
+      "name": "relation_ancestor_at_root",
+      "why": "left replaces the whole state while right edits a member"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1,\\\"b\\\":1,\\\"c\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":7}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":2,\\\"b\\\":2,\\\"c\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1,\"b\":1,\"c\":1},\"left_value\":7,\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"b\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"c\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1,\"b\":1,\"c\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":7}",
+        "right": "{\"o\":{\"a\":2,\"b\":2,\"c\":2}}",
+        "version": 2
+      },
+      "name": "relation_ancestor_over_several_descendants",
+      "why": "one parent replacement against several descendant edits"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"right\":\"{\\\"o\\\":7}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":null,\"right_value\":7},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":2,\"right_value\":null}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{\"a\":2}}",
+        "right": "{\"o\":7}",
+        "version": 2
+      },
+      "name": "relation_descendant_replaced_scalar",
+      "why": "the mirror of the reported defect"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"right\":\"{}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":null,\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":2,\"right_value\":null}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{\"a\":2}}",
+        "right": "{}",
+        "version": 2
+      },
+      "name": "relation_descendant_removed",
+      "why": "right removes the parent while left edits the child"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"m\\\":{\\\"a\\\":1}}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{\\\"m\\\":{\\\"a\\\":2}}}\",\"right\":\"{\\\"o\\\":\\\"flat\\\"}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"m\":{\"a\":1}},\"left_value\":null,\"right_value\":\"flat\"},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"m\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":2,\"right_value\":null}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"m\":{\"a\":1}}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{\"m\":{\"a\":2}}}",
+        "right": "{\"o\":\"flat\"}",
+        "version": 2
+      },
+      "name": "relation_descendant_two_levels",
+      "why": "right replaces a grandparent while left edits the grandchild"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1,\\\"b\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{\\\"a\\\":2,\\\"b\\\":1}}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":1,\\\"b\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"b\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1,\"b\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{\"a\":2,\"b\":1}}",
+        "right": "{\"o\":{\"a\":1,\"b\":2}}",
+        "version": 2
+      },
+      "name": "relation_disjoint_siblings",
+      "why": "sibling members do not overlap"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"a\\\":{\\\"b\\\":1,\\\"bc\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"a\\\":{\\\"b\\\":2,\\\"bc\\\":1}}\",\"right\":\"{\\\"a\\\":{\\\"b\\\":1,\\\"bc\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"a\"},{\"Key\":\"b\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Key\":\"a\"},{\"Key\":\"bc\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"a\":{\"b\":1,\"bc\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"a\":{\"b\":2,\"bc\":1}}",
+        "right": "{\"a\":{\"b\":1,\"bc\":2}}",
+        "version": 2
+      },
+      "name": "relation_disjoint_string_prefix",
+      "why": "a.b and a.bc are disjoint: components are compared whole, not as strings"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"a\\\":{\\\"x\\\":1,\\\"xyz\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"a\\\":{\\\"x\\\":2,\\\"xyz\\\":1}}\",\"right\":\"{\\\"a\\\":{\\\"x\\\":1,\\\"xyz\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"a\"},{\"Key\":\"x\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Key\":\"a\"},{\"Key\":\"xyz\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"a\":{\"x\":1,\"xyz\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"a\":{\"x\":2,\"xyz\":1}}",
+        "right": "{\"a\":{\"x\":1,\"xyz\":2}}",
+        "version": 2
+      },
+      "name": "relation_disjoint_longer_string_prefix",
+      "why": "the same, where one key is a strict string prefix of the other"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"a\\\":{\\\"0\\\":1},\\\"b\\\":[1]}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"a\\\":{\\\"0\\\":2},\\\"b\\\":[1]}\",\"right\":\"{\\\"a\\\":{\\\"0\\\":1},\\\"b\\\":[2]}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"a\"},{\"Key\":\"0\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Key\":\"b\"},{\"Index\":0}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"a\":{\"0\":1},\"b\":[1]}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"a\":{\"0\":2},\"b\":[1]}",
+        "right": "{\"a\":{\"0\":1},\"b\":[2]}",
+        "version": 2
+      },
+      "name": "relation_disjoint_key_against_index",
+      "why": "a Key component never matches an Index component"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"l\\\":{\\\"x\\\":1},\\\"r\\\":{\\\"y\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"l\\\":{\\\"x\\\":2},\\\"r\\\":{\\\"y\\\":1}}\",\"right\":\"{\\\"l\\\":{\\\"x\\\":1},\\\"r\\\":{\\\"y\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"l\"},{\"Key\":\"x\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Key\":\"r\"},{\"Key\":\"y\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"l\":{\"x\":1},\"r\":{\"y\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"l\":{\"x\":2},\"r\":{\"y\":1}}",
+        "right": "{\"l\":{\"x\":1},\"r\":{\"y\":2}}",
+        "version": 2
+      },
+      "name": "relation_disjoint_unrelated_subtrees",
+      "why": "changes in wholly separate subtrees"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"a\\\":{\\\"b\\\":{\\\"c\\\":{\\\"d\\\":{\\\"x\\\":1,\\\"y\\\":1}}}}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"a\\\":{\\\"b\\\":{\\\"c\\\":{\\\"d\\\":{\\\"x\\\":2,\\\"y\\\":1}}}}}\",\"right\":\"{\\\"a\\\":{\\\"b\\\":{\\\"c\\\":{\\\"d\\\":{\\\"x\\\":1,\\\"y\\\":2}}}}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"a\"},{\"Key\":\"b\"},{\"Key\":\"c\"},{\"Key\":\"d\"},{\"Key\":\"x\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Key\":\"a\"},{\"Key\":\"b\"},{\"Key\":\"c\"},{\"Key\":\"d\"},{\"Key\":\"y\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"a\":{\"b\":{\"c\":{\"d\":{\"x\":1,\"y\":1}}}}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"a\":{\"b\":{\"c\":{\"d\":{\"x\":2,\"y\":1}}}}}",
+        "right": "{\"a\":{\"b\":{\"c\":{\"d\":{\"x\":1,\"y\":2}}}}}",
+        "version": 2
+      },
+      "name": "relation_disjoint_deep_siblings",
+      "why": "sibling leaves five levels down"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"far\\\":1,\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"far\\\":1,\\\"o\\\":7}\",\"right\":\"{\\\"far\\\":2,\\\"o\\\":{\\\"a\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"far\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2},{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":7,\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"far\":1,\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"far\":1,\"o\":7}",
+        "right": "{\"far\":2,\"o\":{\"a\":2}}",
+        "version": 2
+      },
+      "name": "relation_overlap_alongside_independent",
+      "why": "an overlap in one subtree does not make an unrelated change conflict"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"far\\\":1,\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"far\\\":2,\\\"o\\\":7}\",\"right\":\"{\\\"far\\\":2,\\\"o\\\":{\\\"a\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"far\"}],\"classification\":\"Convergent\",\"base_value\":1,\"left_value\":2,\"right_value\":2},{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":7,\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"far\":1,\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"far\":2,\"o\":7}",
+        "right": "{\"far\":2,\"o\":{\"a\":2}}",
+        "version": 2
+      },
+      "name": "relation_overlap_alongside_convergent",
+      "why": "an overlap alongside an agreeing change elsewhere"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":\\\"s\\\"}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":\"s\",\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":\"s\"}",
+        "right": "{\"o\":{\"a\":2}}",
+        "version": 2
+      },
+      "name": "relation_parent_object_to_scalar",
+      "why": "object to scalar over a child edit"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":[]}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":[],\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":[]}",
+        "right": "{\"o\":{\"a\":2}}",
+        "version": 2
+      },
+      "name": "relation_parent_object_to_array",
+      "why": "object to array over a child edit"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":[1]}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{\\\"0\\\":1}}\",\"right\":\"{\\\"o\\\":[2]}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":[1],\"left_value\":{\"0\":1},\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Index\":0}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":[1]}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{\"0\":1}}",
+        "right": "{\"o\":[2]}",
+        "version": 2
+      },
+      "name": "relation_parent_array_to_object",
+      "why": "array to object over an element edit"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":[1]}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":\\\"s\\\"}\",\"right\":\"{\\\"o\\\":[2]}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":[1],\"left_value\":\"s\",\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Index\":0}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":[1]}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":\"s\"}",
+        "right": "{\"o\":[2]}",
+        "version": 2
+      },
+      "name": "relation_parent_array_to_scalar",
+      "why": "array to scalar over an element edit"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"right\":\"{\\\"o\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":{\"a\":1},\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{\"a\":1}}",
+        "right": "{\"o\":2}",
+        "version": 2
+      },
+      "name": "relation_parent_scalar_to_object",
+      "why": "a scalar base cannot have a descendant edit"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":[1]}\",\"right\":\"{\\\"o\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":[1],\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":[1]}",
+        "right": "{\"o\":2}",
+        "version": 2
+      },
+      "name": "relation_parent_scalar_to_array",
+      "why": "the same, becoming an array"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1,2,3]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[9,2,3]\",\"right\":\"[8,2,3]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":0}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":9,\"right_value\":8}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1,2,3]",
+        "contract": "feltdb.state.conflict",
+        "left": "[9,2,3]",
+        "right": "[8,2,3]",
+        "version": 2
+      },
+      "name": "relation_array_same_index",
+      "why": "the same index edited by both branches"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1,2,3]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[9,2,3]\",\"right\":\"[1,8,3]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":0}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":9,\"right_value\":null},{\"path\":[{\"Index\":1}],\"classification\":\"Independent\",\"base_value\":2,\"left_value\":null,\"right_value\":8}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1,2,3]",
+        "contract": "feltdb.state.conflict",
+        "left": "[9,2,3]",
+        "right": "[1,8,3]",
+        "version": 2
+      },
+      "name": "relation_array_different_indexes",
+      "why": "different indexes stay independent: under positional semantics both edits survive"
+    },
+    {
+      "canonical_input": "{\"base\":\"[{\\\"a\\\":1}]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[]\",\"right\":\"[{\\\"a\\\":2}]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":0}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":null,\"right_value\":null},{\"path\":[{\"Index\":0},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[{\"a\":1}]",
+        "contract": "feltdb.state.conflict",
+        "left": "[]",
+        "right": "[{\"a\":2}]",
+        "version": 2
+      },
+      "name": "relation_array_element_removed_vs_edited_inside",
+      "why": "removing an element while the other branch edits inside it is an overlap"
+    },
+    {
+      "canonical_input": "{\"base\":\"[{\\\"a\\\":1}]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[7]\",\"right\":\"[{\\\"a\\\":2}]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":0}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":7,\"right_value\":null},{\"path\":[{\"Index\":0},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[{\"a\":1}]",
+        "contract": "feltdb.state.conflict",
+        "left": "[7]",
+        "right": "[{\"a\":2}]",
+        "version": 2
+      },
+      "name": "relation_array_element_replaced_vs_edited_inside",
+      "why": "replacing an element with a scalar while the other branch edits inside it"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1,2]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[1,9]\",\"right\":\"[1,2,3]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":1}],\"classification\":\"Independent\",\"base_value\":2,\"left_value\":9,\"right_value\":null},{\"path\":[{\"Index\":2}],\"classification\":\"Independent\",\"base_value\":null,\"left_value\":null,\"right_value\":3}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1,2]",
+        "contract": "feltdb.state.conflict",
+        "left": "[1,9]",
+        "right": "[1,2,3]",
+        "version": 2
+      },
+      "name": "relation_array_append_vs_edit_elsewhere",
+      "why": "an append and an edit at a different index"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[1,2]\",\"right\":\"[1,2]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":1}],\"classification\":\"Convergent\",\"base_value\":null,\"left_value\":2,\"right_value\":2}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1]",
+        "contract": "feltdb.state.conflict",
+        "left": "[1,2]",
+        "right": "[1,2]",
+        "version": 2
+      },
+      "name": "relation_array_append_both_agreeing",
+      "why": "both branches append the same element"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[1,2]\",\"right\":\"[1,3]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":1}],\"classification\":\"Conflict\",\"base_value\":null,\"left_value\":2,\"right_value\":3}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1]",
+        "contract": "feltdb.state.conflict",
+        "left": "[1,2]",
+        "right": "[1,3]",
+        "version": 2
+      },
+      "name": "relation_array_append_both_disagreeing",
+      "why": "both branches append different elements"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1,2]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[0,1,2]\",\"right\":\"[1,9]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":0}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":0,\"right_value\":null},{\"path\":[{\"Index\":1}],\"classification\":\"Conflict\",\"base_value\":2,\"left_value\":1,\"right_value\":9},{\"path\":[{\"Index\":2}],\"classification\":\"Independent\",\"base_value\":null,\"left_value\":2,\"right_value\":null}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1,2]",
+        "contract": "feltdb.state.conflict",
+        "left": "[0,1,2]",
+        "right": "[1,9]",
+        "version": 2
+      },
+      "name": "relation_array_prepend_vs_index_edit",
+      "why": "a prepend is positional, so it touches the index the other branch edited"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1,2,3]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[1,2]\",\"right\":\"[1,9,3]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":1}],\"classification\":\"Independent\",\"base_value\":2,\"left_value\":null,\"right_value\":9},{\"path\":[{\"Index\":2}],\"classification\":\"Independent\",\"base_value\":3,\"left_value\":null,\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1,2,3]",
+        "contract": "feltdb.state.conflict",
+        "left": "[1,2]",
+        "right": "[1,9,3]",
+        "version": 2
+      },
+      "name": "relation_array_removal_vs_earlier_index_edit",
+      "why": "a tail removal and an edit at an untouched earlier index"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":[1,2]}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":\\\"flat\\\"}\",\"right\":\"{\\\"o\\\":[1,9]}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":[1,2],\"left_value\":\"flat\",\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Index\":1}],\"classification\":\"Conflict\",\"base_value\":2,\"left_value\":null,\"right_value\":9}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":[1,2]}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":\"flat\"}",
+        "right": "{\"o\":[1,9]}",
+        "version": 2
+      },
+      "name": "relation_array_whole_replacement_vs_index_edit",
+      "why": "replacing the array wholesale against editing one of its elements"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":[{\\\"a\\\":1}]}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":[7]}\",\"right\":\"{\\\"o\\\":[{\\\"a\\\":2}]}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"},{\"Index\":0}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":7,\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Index\":0},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":[{\"a\":1}]}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":[7]}",
+        "right": "{\"o\":[{\"a\":2}]}",
+        "version": 2
+      },
+      "name": "relation_array_nested_deeper",
+      "why": "an overlap two container levels down"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":2}\",\"right\":\"{\\\"x\\\":3}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":2,\"right_value\":3}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":2}",
+        "right": "{\"x\":3}",
+        "version": 2
+      },
+      "name": "same_path_different_values",
+      "why": "the canonical conflict"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":3}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":2,\"right_value\":3}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{\"a\":2}}",
+        "right": "{\"o\":{\"a\":3}}",
+        "version": 2
+      },
+      "name": "same_nested_path_different_values",
+      "why": "a conflict one level down"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":\\\"replaced\\\"}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":\"replaced\",\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":\"replaced\"}",
+        "right": "{\"o\":{\"a\":2}}",
+        "version": 2
+      },
+      "name": "parent_changed_vs_child_changed",
+      "why": "replacing a subtree while the other side edits inside it: an overlap, so a conflict"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{\\\"a\\\":2}}\",\"right\":\"{\\\"o\\\":\\\"replaced\\\"}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":null,\"right_value\":\"replaced\"},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":2,\"right_value\":null}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{\"a\":2}}",
+        "right": "{\"o\":\"replaced\"}",
+        "version": 2
+      },
+      "name": "child_changed_vs_parent_changed",
+      "why": "and the mirror conflicts too"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"m\\\":{\\\"a\\\":1}}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":\\\"flat\\\"}\",\"right\":\"{\\\"o\\\":{\\\"m\\\":{\\\"a\\\":2}}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"}],\"classification\":\"Conflict\",\"base_value\":{\"m\":{\"a\":1}},\"left_value\":\"flat\",\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"m\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"m\":{\"a\":1}}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":\"flat\"}",
+        "right": "{\"o\":{\"m\":{\"a\":2}}}",
+        "version": 2
+      },
+      "name": "grandparent_vs_grandchild",
+      "why": "the same overlap two levels apart"
+    },
+    {
+      "canonical_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":1}\",\"right\":\"{\\\"x\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":null,\"left_value\":1,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":1}",
+        "right": "{\"x\":2}",
+        "version": 2
+      },
+      "name": "addition_vs_addition_different",
+      "why": "both sides add the same member differently"
+    },
+    {
+      "canonical_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":1}\",\"right\":\"{\\\"x\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Convergent\",\"base_value\":null,\"left_value\":1,\"right_value\":1}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":1}",
+        "right": "{\"x\":1}",
+        "version": 2
+      },
+      "name": "addition_vs_addition_identical",
+      "why": "both sides add the same member identically"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{\\\"x\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{}",
+        "right": "{\"x\":2}",
+        "version": 2
+      },
+      "name": "removal_vs_modification",
+      "why": "differing kinds conflict even where a merge might reconcile"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":2}\",\"right\":\"{}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":2,\"right_value\":null}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":2}",
+        "right": "{}",
+        "version": 2
+      },
+      "name": "modification_vs_removal",
+      "why": "and its mirror"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Convergent\",\"base_value\":1,\"left_value\":null,\"right_value\":null}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{}",
+        "right": "{}",
+        "version": 2
+      },
+      "name": "removal_vs_removal",
+      "why": "both sides removing agree, because kind and new value both match"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":5}\",\"right\":\"{\\\"x\\\":{\\\"a\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":5,\"right_value\":null},{\"path\":[{\"Key\":\"x\"},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":5}",
+        "right": "{\"x\":{\"a\":2}}",
+        "version": 2
+      },
+      "name": "object_to_scalar_vs_scalar_change",
+      "why": "a type transition against an ordinary edit at the same path"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":{\\\"a\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":[]}\",\"right\":\"{\\\"x\\\":[1]}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":{\"a\":1},\"left_value\":[],\"right_value\":[1]}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":{\"a\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":[]}",
+        "right": "{\"x\":[1]}",
+        "version": 2
+      },
+      "name": "object_vs_array_at_same_path",
+      "why": "two different type transitions at one path"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":[1,2]}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":\\\"flat\\\"}\",\"right\":\"{\\\"x\\\":[1,3]}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":[1,2],\"left_value\":\"flat\",\"right_value\":null},{\"path\":[{\"Key\":\"x\"},{\"Index\":1}],\"classification\":\"Conflict\",\"base_value\":2,\"left_value\":null,\"right_value\":3}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":[1,2]}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":\"flat\"}",
+        "right": "{\"x\":[1,3]}",
+        "version": 2
+      },
+      "name": "array_to_scalar_vs_array_edit",
+      "why": "replacing an array against editing inside it, at one path"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":{\\\"a\\\":1}}\",\"right\":\"{\\\"x\\\":[1]}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":{\"a\":1},\"right_value\":[1]}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":{\"a\":1}}",
+        "right": "{\"x\":[1]}",
+        "version": 2
+      },
+      "name": "scalar_to_object_vs_scalar_to_array",
+      "why": "one path, two incompatible new shapes"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":{\\\"a\\\":1}}\",\"right\":\"{\\\"x\\\":{\\\"a\\\":1}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Convergent\",\"base_value\":1,\"left_value\":{\"a\":1},\"right_value\":{\"a\":1}}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":{\"a\":1}}",
+        "right": "{\"x\":{\"a\":1}}",
+        "version": 2
+      },
+      "name": "same_type_transition_both_sides",
+      "why": "identical type transitions converge"
+    },
+    {
+      "canonical_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":null}\",\"right\":\"{\\\"x\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":null,\"left_value\":null,\"right_value\":1}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":null}",
+        "right": "{\"x\":1}",
+        "version": 2
+      },
+      "name": "missing_vs_null",
+      "why": "adding a member as null against adding it as a value"
+    },
+    {
+      "canonical_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":1}\",\"right\":\"{}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Independent\",\"base_value\":null,\"left_value\":1,\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":1}",
+        "right": "{}",
+        "version": 2
+      },
+      "name": "missing_vs_value_one_side",
+      "why": "only one side adds"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":null}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":1}\",\"right\":\"{\\\"x\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":null,\"left_value\":1,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":null}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":1}",
+        "right": "{\"x\":2}",
+        "version": 2
+      },
+      "name": "null_vs_value",
+      "why": "both sides change away from null, differently"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":null}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":1}\",\"right\":\"{\\\"x\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Convergent\",\"base_value\":null,\"left_value\":1,\"right_value\":1}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":null}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":1}",
+        "right": "{\"x\":1}",
+        "version": 2
+      },
+      "name": "null_vs_value_agreeing",
+      "why": "both sides change away from null, identically"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":null}\",\"right\":\"{\\\"x\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":null}",
+        "right": "{\"x\":2}",
+        "version": 2
+      },
+      "name": "value_vs_null",
+      "why": "one side nulls the member, the other changes it"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":null}\",\"right\":\"{\\\"x\\\":null}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Convergent\",\"base_value\":1,\"left_value\":null,\"right_value\":null}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":null}",
+        "right": "{\"x\":null}",
+        "version": 2
+      },
+      "name": "value_to_null_both_sides",
+      "why": "both sides null the member"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{\\\"x\\\":null}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":null}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{}",
+        "right": "{\"x\":null}",
+        "version": 2
+      },
+      "name": "removal_vs_null_insertion",
+      "why": "removing against setting to null is a kind mismatch"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":null}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Convergent\",\"base_value\":null,\"left_value\":null,\"right_value\":null}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":null}",
+        "contract": "feltdb.state.conflict",
+        "left": "{}",
+        "right": "{}",
+        "version": 2
+      },
+      "name": "null_base_removed_both_sides",
+      "why": "removing a null member from both sides"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":null}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{\\\"x\\\":null}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Independent\",\"base_value\":null,\"left_value\":null,\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":null}",
+        "contract": "feltdb.state.conflict",
+        "left": "{}",
+        "right": "{\"x\":null}",
+        "version": 2
+      },
+      "name": "null_base_removed_one_side",
+      "why": "removing a null member from one side"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"o\\\":{\\\"a\\\":null,\\\"b\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"o\\\":{\\\"a\\\":1,\\\"b\\\":null}}\",\"right\":\"{\\\"o\\\":{\\\"a\\\":null}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"o\"},{\"Key\":\"a\"}],\"classification\":\"Independent\",\"base_value\":null,\"left_value\":1,\"right_value\":null},{\"path\":[{\"Key\":\"o\"},{\"Key\":\"b\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":null,\"right_value\":null}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"o\":{\"a\":null,\"b\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"o\":{\"a\":1,\"b\":null}}",
+        "right": "{\"o\":{\"a\":null}}",
+        "version": 2
+      },
+      "name": "nested_null_and_missing_together",
+      "why": "several null and absence transitions at once"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"n\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"n\\\":42}\",\"right\":\"{\\\"n\\\":42.0}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"n\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":42,\"right_value\":42.0}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"n\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"n\":42}",
+        "right": "{\"n\":42.0}",
+        "version": 2
+      },
+      "name": "integer_vs_float_same_magnitude",
+      "why": "42 and 42.0 are different values, so the sides conflict"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"n\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"n\\\":42}\",\"right\":\"{\\\"n\\\":42}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"n\"}],\"classification\":\"Convergent\",\"base_value\":1,\"left_value\":42,\"right_value\":42}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"n\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"n\":42}",
+        "right": "{\"n\":42}",
+        "version": 2
+      },
+      "name": "identical_integer_change",
+      "why": "the same integer on both sides converges"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"n\\\":1.0}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"n\\\":2.5}\",\"right\":\"{\\\"n\\\":2.5}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"n\"}],\"classification\":\"Convergent\",\"base_value\":1.0,\"left_value\":2.5,\"right_value\":2.5}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"n\":1.0}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"n\":2.5}",
+        "right": "{\"n\":2.5}",
+        "version": 2
+      },
+      "name": "identical_float_change",
+      "why": "the same float on both sides converges"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"n\\\":0}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"n\\\":1}\",\"right\":\"{\\\"n\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"n\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"n\":0}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"n\":1}",
+        "right": "{\"n\":2}",
+        "version": 2
+      },
+      "name": "numeric_replacement_conflict",
+      "why": "different numbers at one path"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"n\\\":0}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"n\\\":18446744073709551615}\",\"right\":\"{\\\"n\\\":-9223372036854775808}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"n\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":18446744073709551615,\"right_value\":-9223372036854775808}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"n\":0}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"n\":18446744073709551615}",
+        "right": "{\"n\":-9223372036854775808}",
+        "version": 2
+      },
+      "name": "large_values",
+      "why": "u64 and i64 extremes survive the round trip"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"n\\\":0.0}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"n\\\":3.141592653589793}\",\"right\":\"{\\\"n\\\":2.718281828459045}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"n\"}],\"classification\":\"Conflict\",\"base_value\":0.0,\"left_value\":3.141592653589793,\"right_value\":2.718281828459045}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"n\":0.0}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"n\":3.141592653589793}",
+        "right": "{\"n\":2.718281828459045}",
+        "version": 2
+      },
+      "name": "float_precision_conflict",
+      "why": "floats needing full precision are recorded exactly"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"n\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"n\\\":0}\",\"right\":\"{\\\"n\\\":0.0}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"n\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":0,\"right_value\":0.0}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"n\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"n\":0}",
+        "right": "{\"n\":0.0}",
+        "version": 2
+      },
+      "name": "zero_vs_float_zero",
+      "why": "0 and 0.0 are different values"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"n\\\":42}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"n\\\":42.0}\",\"right\":\"{\\\"n\\\":42}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"n\"}],\"classification\":\"Independent\",\"base_value\":42,\"left_value\":42.0,\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"n\":42}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"n\":42.0}",
+        "right": "{\"n\":42}",
+        "version": 2
+      },
+      "name": "branch_changes_only_the_numeric_variant",
+      "why": "42 to 42.0 is a change, so one branch moved and the other did not"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"n\\\":42}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"n\\\":42.0}\",\"right\":\"{\\\"n\\\":42.0}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"n\"}],\"classification\":\"Convergent\",\"base_value\":42,\"left_value\":42.0,\"right_value\":42.0}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"n\":42}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"n\":42.0}",
+        "right": "{\"n\":42.0}",
+        "version": 2
+      },
+      "name": "both_branches_change_only_the_numeric_variant",
+      "why": "both branches move 42 to 42.0, which is the same change on both sides"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"n\\\":0}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"n\\\":0.0}\",\"right\":\"{\\\"n\\\":0}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"n\"}],\"classification\":\"Independent\",\"base_value\":0,\"left_value\":0.0,\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"n\":0}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"n\":0.0}",
+        "right": "{\"n\":0}",
+        "version": 2
+      },
+      "name": "zero_variant_change_one_side",
+      "why": "0 to 0.0 is a change even though the magnitude is equal"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"n\\\":0}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"n\\\":\\\"1\\\"}\",\"right\":\"{\\\"n\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"n\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":\"1\",\"right_value\":1}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"n\":0}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"n\":\"1\"}",
+        "right": "{\"n\":1}",
+        "version": 2
+      },
+      "name": "numeric_string_vs_number",
+      "why": "\"1\" and 1 are a type transition on one side"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1,2]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[9,2]\",\"right\":\"[8,2]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":0}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":9,\"right_value\":8}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1,2]",
+        "contract": "feltdb.state.conflict",
+        "left": "[9,2]",
+        "right": "[8,2]",
+        "version": 2
+      },
+      "name": "array_same_index_both_sides",
+      "why": "the same position edited differently conflicts"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1,2]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[9,2]\",\"right\":\"[9,2]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":0}],\"classification\":\"Convergent\",\"base_value\":1,\"left_value\":9,\"right_value\":9}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1,2]",
+        "contract": "feltdb.state.conflict",
+        "left": "[9,2]",
+        "right": "[9,2]",
+        "version": 2
+      },
+      "name": "array_same_index_agreeing",
+      "why": "the same position edited identically converges"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1,2]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[9,2]\",\"right\":\"[1,8]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":0}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":9,\"right_value\":null},{\"path\":[{\"Index\":1}],\"classification\":\"Independent\",\"base_value\":2,\"left_value\":null,\"right_value\":8}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1,2]",
+        "contract": "feltdb.state.conflict",
+        "left": "[9,2]",
+        "right": "[1,8]",
+        "version": 2
+      },
+      "name": "array_different_indexes",
+      "why": "different positions are independent"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[1,2]\",\"right\":\"[1,2]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":1}],\"classification\":\"Convergent\",\"base_value\":null,\"left_value\":2,\"right_value\":2}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1]",
+        "contract": "feltdb.state.conflict",
+        "left": "[1,2]",
+        "right": "[1,2]",
+        "version": 2
+      },
+      "name": "array_append_both_sides_same",
+      "why": "both sides appending the same element converges"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[1,2]\",\"right\":\"[1,3]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":1}],\"classification\":\"Conflict\",\"base_value\":null,\"left_value\":2,\"right_value\":3}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1]",
+        "contract": "feltdb.state.conflict",
+        "left": "[1,2]",
+        "right": "[1,3]",
+        "version": 2
+      },
+      "name": "array_append_both_sides_different",
+      "why": "both sides appending different elements conflicts"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[1,2]\",\"right\":\"[1]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":1}],\"classification\":\"Independent\",\"base_value\":null,\"left_value\":2,\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1]",
+        "contract": "feltdb.state.conflict",
+        "left": "[1,2]",
+        "right": "[1]",
+        "version": 2
+      },
+      "name": "array_append_one_side",
+      "why": "only one side appends"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1,2]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[1]\",\"right\":\"[1,2]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":1}],\"classification\":\"Independent\",\"base_value\":2,\"left_value\":null,\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1,2]",
+        "contract": "feltdb.state.conflict",
+        "left": "[1]",
+        "right": "[1,2]",
+        "version": 2
+      },
+      "name": "array_removal_one_side",
+      "why": "only one side truncates"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1,2]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[1]\",\"right\":\"[1]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":1}],\"classification\":\"Convergent\",\"base_value\":2,\"left_value\":null,\"right_value\":null}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1,2]",
+        "contract": "feltdb.state.conflict",
+        "left": "[1]",
+        "right": "[1]",
+        "version": 2
+      },
+      "name": "array_removal_both_sides",
+      "why": "both sides truncating the same tail converges"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1,2]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[1]\",\"right\":\"[1,9]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":1}],\"classification\":\"Conflict\",\"base_value\":2,\"left_value\":null,\"right_value\":9}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1,2]",
+        "contract": "feltdb.state.conflict",
+        "left": "[1]",
+        "right": "[1,9]",
+        "version": 2
+      },
+      "name": "array_removal_vs_edit_at_index",
+      "why": "truncation against an edit at the dropped index"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1,2]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[0,1,2]\",\"right\":\"[1,2]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":0}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":0,\"right_value\":null},{\"path\":[{\"Index\":1}],\"classification\":\"Independent\",\"base_value\":2,\"left_value\":1,\"right_value\":null},{\"path\":[{\"Index\":2}],\"classification\":\"Independent\",\"base_value\":null,\"left_value\":2,\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1,2]",
+        "contract": "feltdb.state.conflict",
+        "left": "[0,1,2]",
+        "right": "[1,2]",
+        "version": 2
+      },
+      "name": "array_prepend_one_side",
+      "why": "a prepend is positional, so it touches every index"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1,2]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[0,1,2]\",\"right\":\"[9,1,2]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":0}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":0,\"right_value\":9},{\"path\":[{\"Index\":1}],\"classification\":\"Convergent\",\"base_value\":2,\"left_value\":1,\"right_value\":1},{\"path\":[{\"Index\":2}],\"classification\":\"Convergent\",\"base_value\":null,\"left_value\":2,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1,2]",
+        "contract": "feltdb.state.conflict",
+        "left": "[0,1,2]",
+        "right": "[9,1,2]",
+        "version": 2
+      },
+      "name": "array_prepend_both_sides_different",
+      "why": "two different prepends collide at every index"
+    },
+    {
+      "canonical_input": "{\"base\":\"[1,2]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[2,1]\",\"right\":\"[1,9]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":0}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Index\":1}],\"classification\":\"Conflict\",\"base_value\":2,\"left_value\":1,\"right_value\":9}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[1,2]",
+        "contract": "feltdb.state.conflict",
+        "left": "[2,1]",
+        "right": "[1,9]",
+        "version": 2
+      },
+      "name": "array_reorder_vs_edit",
+      "why": "a reorder against an in-place edit"
+    },
+    {
+      "canonical_input": "{\"base\":\"[{\\\"a\\\":1},{\\\"b\\\":1}]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[{\\\"a\\\":2},{\\\"b\\\":1}]\",\"right\":\"[{\\\"a\\\":1},{\\\"b\\\":2}]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":0},{\"Key\":\"a\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Index\":1},{\"Key\":\"b\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[{\"a\":1},{\"b\":1}]",
+        "contract": "feltdb.state.conflict",
+        "left": "[{\"a\":2},{\"b\":1}]",
+        "right": "[{\"a\":1},{\"b\":2}]",
+        "version": 2
+      },
+      "name": "array_nested_change_each_side",
+      "why": "edits inside different array elements"
+    },
+    {
+      "canonical_input": "{\"base\":\"[{\\\"a\\\":1}]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[{\\\"a\\\":2}]\",\"right\":\"[{\\\"a\\\":3}]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":0},{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":2,\"right_value\":3}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[{\"a\":1}]",
+        "contract": "feltdb.state.conflict",
+        "left": "[{\"a\":2}]",
+        "right": "[{\"a\":3}]",
+        "version": 2
+      },
+      "name": "array_nested_change_same_element",
+      "why": "edits inside the same array element, same member"
+    },
+    {
+      "canonical_input": "{\"base\":\"[[1]]\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[[2]]\",\"right\":\"[[3]]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Index\":0},{\"Index\":0}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":2,\"right_value\":3}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "[[1]]",
+        "contract": "feltdb.state.conflict",
+        "left": "[[2]]",
+        "right": "[[3]]",
+        "version": 2
+      },
+      "name": "array_of_arrays_conflict",
+      "why": "a conflict two array levels down"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"a\\\":{\\\"b\\\":{\\\"c\\\":{\\\"x\\\":1,\\\"y\\\":1}}}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"a\\\":{\\\"b\\\":{\\\"c\\\":{\\\"x\\\":2,\\\"y\\\":1}}}}\",\"right\":\"{\\\"a\\\":{\\\"b\\\":{\\\"c\\\":{\\\"x\\\":1,\\\"y\\\":2}}}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"a\"},{\"Key\":\"b\"},{\"Key\":\"c\"},{\"Key\":\"x\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Key\":\"a\"},{\"Key\":\"b\"},{\"Key\":\"c\"},{\"Key\":\"y\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"a\":{\"b\":{\"c\":{\"x\":1,\"y\":1}}}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"a\":{\"b\":{\"c\":{\"x\":2,\"y\":1}}}}",
+        "right": "{\"a\":{\"b\":{\"c\":{\"x\":1,\"y\":2}}}}",
+        "version": 2
+      },
+      "name": "deeply_nested_independent_edits",
+      "why": "edits ten levels down in different branches"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"a\\\":{\\\"b\\\":{\\\"c\\\":{\\\"d\\\":{\\\"e\\\":{\\\"f\\\":{\\\"g\\\":{\\\"h\\\":{\\\"i\\\":{\\\"j\\\":1}}}}}}}}}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"a\\\":{\\\"b\\\":{\\\"c\\\":{\\\"d\\\":{\\\"e\\\":{\\\"f\\\":{\\\"g\\\":{\\\"h\\\":{\\\"i\\\":{\\\"j\\\":2}}}}}}}}}}\",\"right\":\"{\\\"a\\\":{\\\"b\\\":{\\\"c\\\":{\\\"d\\\":{\\\"e\\\":{\\\"f\\\":{\\\"g\\\":{\\\"h\\\":{\\\"i\\\":{\\\"j\\\":3}}}}}}}}}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"a\"},{\"Key\":\"b\"},{\"Key\":\"c\"},{\"Key\":\"d\"},{\"Key\":\"e\"},{\"Key\":\"f\"},{\"Key\":\"g\"},{\"Key\":\"h\"},{\"Key\":\"i\"},{\"Key\":\"j\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":2,\"right_value\":3}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"a\":{\"b\":{\"c\":{\"d\":{\"e\":{\"f\":{\"g\":{\"h\":{\"i\":{\"j\":1}}}}}}}}}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"a\":{\"b\":{\"c\":{\"d\":{\"e\":{\"f\":{\"g\":{\"h\":{\"i\":{\"j\":2}}}}}}}}}}",
+        "right": "{\"a\":{\"b\":{\"c\":{\"d\":{\"e\":{\"f\":{\"g\":{\"h\":{\"i\":{\"j\":3}}}}}}}}}}",
+        "version": 2
+      },
+      "name": "deeply_nested_conflict",
+      "why": "one path, ten levels down, edited by both sides"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"k00\\\":0,\\\"k01\\\":0,\\\"k02\\\":0,\\\"k03\\\":0,\\\"k04\\\":0,\\\"k05\\\":0,\\\"k06\\\":0,\\\"k07\\\":0,\\\"k08\\\":0,\\\"k09\\\":0,\\\"k10\\\":0,\\\"k11\\\":0,\\\"k12\\\":0,\\\"k13\\\":0,\\\"k14\\\":0,\\\"k15\\\":0,\\\"k16\\\":0,\\\"k17\\\":0,\\\"k18\\\":0,\\\"k19\\\":0}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"k00\\\":1,\\\"k01\\\":1,\\\"k02\\\":1,\\\"k03\\\":1,\\\"k04\\\":1,\\\"k05\\\":1,\\\"k06\\\":1,\\\"k07\\\":1,\\\"k08\\\":1,\\\"k09\\\":1,\\\"k10\\\":1,\\\"k11\\\":1,\\\"k12\\\":1,\\\"k13\\\":1,\\\"k14\\\":1,\\\"k15\\\":1,\\\"k16\\\":1,\\\"k17\\\":1,\\\"k18\\\":1,\\\"k19\\\":1}\",\"right\":\"{\\\"k00\\\":2,\\\"k01\\\":2,\\\"k02\\\":2,\\\"k03\\\":2,\\\"k04\\\":2,\\\"k05\\\":2,\\\"k06\\\":2,\\\"k07\\\":2,\\\"k08\\\":2,\\\"k09\\\":2,\\\"k10\\\":2,\\\"k11\\\":2,\\\"k12\\\":2,\\\"k13\\\":2,\\\"k14\\\":2,\\\"k15\\\":2,\\\"k16\\\":2,\\\"k17\\\":2,\\\"k18\\\":2,\\\"k19\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"k00\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k01\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k02\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k03\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k04\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k05\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k06\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k07\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k08\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k09\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k10\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k11\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k12\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k13\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k14\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k15\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k16\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k17\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k18\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2},{\"path\":[{\"Key\":\"k19\"}],\"classification\":\"Conflict\",\"base_value\":0,\"left_value\":1,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"k00\":0,\"k01\":0,\"k02\":0,\"k03\":0,\"k04\":0,\"k05\":0,\"k06\":0,\"k07\":0,\"k08\":0,\"k09\":0,\"k10\":0,\"k11\":0,\"k12\":0,\"k13\":0,\"k14\":0,\"k15\":0,\"k16\":0,\"k17\":0,\"k18\":0,\"k19\":0}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"k00\":1,\"k01\":1,\"k02\":1,\"k03\":1,\"k04\":1,\"k05\":1,\"k06\":1,\"k07\":1,\"k08\":1,\"k09\":1,\"k10\":1,\"k11\":1,\"k12\":1,\"k13\":1,\"k14\":1,\"k15\":1,\"k16\":1,\"k17\":1,\"k18\":1,\"k19\":1}",
+        "right": "{\"k00\":2,\"k01\":2,\"k02\":2,\"k03\":2,\"k04\":2,\"k05\":2,\"k06\":2,\"k07\":2,\"k08\":2,\"k09\":2,\"k10\":2,\"k11\":2,\"k12\":2,\"k13\":2,\"k14\":2,\"k15\":2,\"k16\":2,\"k17\":2,\"k18\":2,\"k19\":2}",
+        "version": 2
+      },
+      "name": "many_simultaneous_conflicts",
+      "why": "a wide object where every member collides"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"conf\\\":1,\\\"conv\\\":1,\\\"ind\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"conf\\\":2,\\\"conv\\\":9,\\\"ind\\\":2}\",\"right\":\"{\\\"conf\\\":3,\\\"conv\\\":9,\\\"ind\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"conf\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":2,\"right_value\":3},{\"path\":[{\"Key\":\"conv\"}],\"classification\":\"Convergent\",\"base_value\":1,\"left_value\":9,\"right_value\":9},{\"path\":[{\"Key\":\"ind\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"conf\":1,\"conv\":1,\"ind\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"conf\":2,\"conv\":9,\"ind\":2}",
+        "right": "{\"conf\":3,\"conv\":9,\"ind\":1}",
+        "version": 2
+      },
+      "name": "mixed_severities_in_one_result",
+      "why": "independent, convergent and conflicting paths together, so overall takes the maximum"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"a\\\":1,\\\"b\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"a\\\":2,\\\"b\\\":2}\",\"right\":\"{\\\"a\\\":1,\\\"b\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"a\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Key\":\"b\"}],\"classification\":\"Convergent\",\"base_value\":1,\"left_value\":2,\"right_value\":2}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"a\":1,\"b\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"a\":2,\"b\":2}",
+        "right": "{\"a\":1,\"b\":2}",
+        "version": 2
+      },
+      "name": "convergent_and_independent_only",
+      "why": "no conflict, so overall falls to Convergent"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"p\\\":{\\\"x\\\":1},\\\"q\\\":{\\\"y\\\":1},\\\"r\\\":{\\\"z\\\":1}}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"p\\\":{\\\"x\\\":2},\\\"q\\\":{\\\"y\\\":1},\\\"r\\\":{\\\"z\\\":2}}\",\"right\":\"{\\\"p\\\":{\\\"x\\\":3},\\\"q\\\":{\\\"y\\\":2},\\\"r\\\":{\\\"z\\\":2}}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"p\"},{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":2,\"right_value\":3},{\"path\":[{\"Key\":\"q\"},{\"Key\":\"y\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2},{\"path\":[{\"Key\":\"r\"},{\"Key\":\"z\"}],\"classification\":\"Convergent\",\"base_value\":1,\"left_value\":2,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"p\":{\"x\":1},\"q\":{\"y\":1},\"r\":{\"z\":1}}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"p\":{\"x\":2},\"q\":{\"y\":1},\"r\":{\"z\":2}}",
+        "right": "{\"p\":{\"x\":3},\"q\":{\"y\":2},\"r\":{\"z\":2}}",
+        "version": 2
+      },
+      "name": "multiple_branches_of_the_tree",
+      "why": "several subtrees changed on both sides"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"café\\\":\\\"naïve\\\",\\\"☕\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"café\\\":\\\"naif\\\",\\\"☕\\\":1}\",\"right\":\"{\\\"café\\\":\\\"naïve\\\",\\\"☕\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"café\"}],\"classification\":\"Independent\",\"base_value\":\"naïve\",\"left_value\":\"naif\",\"right_value\":null},{\"path\":[{\"Key\":\"☕\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"café\":\"naïve\",\"☕\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"café\":\"naif\",\"☕\":1}",
+        "right": "{\"café\":\"naïve\",\"☕\":2}",
+        "version": 2
+      },
+      "name": "unicode_keys_and_values",
+      "why": "non-ASCII survives parsing, classification and re-encoding"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"\\\":1,\\\"0\\\":1,\\\"a.b\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"\\\":1,\\\"0\\\":1,\\\"a.b\\\":2}\",\"right\":\"{\\\"\\\":2,\\\"0\\\":2,\\\"a.b\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2},{\"path\":[{\"Key\":\"0\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2},{\"path\":[{\"Key\":\"a.b\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"\":1,\"0\":1,\"a.b\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"\":1,\"0\":1,\"a.b\":2}",
+        "right": "{\"\":2,\"0\":2,\"a.b\":1}",
+        "version": 2
+      },
+      "name": "unusual_object_keys",
+      "why": "keys that look like paths or indices stay opaque"
+    },
+    {
+      "canonical_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"a\\\":1}\",\"right\":\"{\\\"a\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"a\"}],\"classification\":\"Conflict\",\"base_value\":null,\"left_value\":1,\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"a\":1}",
+        "right": "{\"a\":2}",
+        "version": 2
+      },
+      "name": "empty_to_populated_both_sides",
+      "why": "both sides populate an empty base differently"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"a\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"a\"}],\"classification\":\"Convergent\",\"base_value\":1,\"left_value\":null,\"right_value\":null}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"a\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{}",
+        "right": "{}",
+        "version": 2
+      },
+      "name": "populated_to_empty_both_sides",
+      "why": "both sides empty a populated base"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"a\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{\\\"a\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"a\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"a\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{}",
+        "right": "{\"a\":1}",
+        "version": 2
+      },
+      "name": "populated_to_empty_one_side",
+      "why": "one side empties a populated base"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":{}}\",\"right\":\"{\\\"x\\\":[]}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":{},\"right_value\":[]}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":{}}",
+        "right": "{\"x\":[]}",
+        "version": 2
+      },
+      "name": "empty_object_vs_empty_array",
+      "why": "two different empty containers at one path"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":{}}\",\"right\":\"{\\\"x\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":{},\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":{}}",
+        "right": "{\"x\":2}",
+        "version": 2
+      },
+      "name": "empty_object_vs_scalar",
+      "why": "an empty object against a scalar at one path"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":[]}\",\"right\":\"{\\\"x\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":[],\"right_value\":2}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":[]}",
+        "right": "{\"x\":2}",
+        "version": 2
+      },
+      "name": "empty_array_vs_scalar",
+      "why": "an empty array against a scalar at one path"
+    },
+    {
+      "canonical_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"[]\",\"right\":\"{}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[],\"classification\":\"Independent\",\"base_value\":{},\"left_value\":[],\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{}",
+        "contract": "feltdb.state.conflict",
+        "left": "[]",
+        "right": "{}",
+        "version": 2
+      },
+      "name": "top_level_empty_to_array",
+      "why": "the states themselves change shape"
+    },
+    {
+      "canonical_input": "{\"base\":\"1\",\"contract\":\"feltdb.state.conflict\",\"left\":\"2\",\"right\":\"3\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":2,\"right_value\":3}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "1",
+        "contract": "feltdb.state.conflict",
+        "left": "2",
+        "right": "3",
+        "version": 2
+      },
+      "name": "top_level_scalar_states",
+      "why": "three scalar states"
+    },
+    {
+      "canonical_input": "{\"base\":\"null\",\"contract\":\"feltdb.state.conflict\",\"left\":\"null\",\"right\":\"null\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "null",
+        "contract": "feltdb.state.conflict",
+        "left": "null",
+        "right": "null",
+        "version": 2
+      },
+      "name": "top_level_null_states",
+      "why": "three null states"
+    },
+    {
+      "canonical_input": "{\"base\":\"null\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":1}\",\"right\":\"{\\\"x\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[],\"classification\":\"Conflict\",\"base_value\":null,\"left_value\":{\"x\":1},\"right_value\":{\"x\":2}}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "null",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":1}",
+        "right": "{\"x\":2}",
+        "version": 2
+      },
+      "name": "top_level_null_base",
+      "why": "a null base populated by both sides"
+    },
+    {
+      "canonical_input": "{\"base\":\"not json at all\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":1}\",\"right\":\"{\\\"x\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[],\"classification\":\"Convergent\",\"base_value\":null,\"left_value\":{\"x\":1},\"right_value\":{\"x\":1}}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "not json at all",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":1}",
+        "right": "{\"x\":1}",
+        "version": 2
+      },
+      "name": "unparseable_base",
+      "why": "unparseable base content classifies as JSON null"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"garbage\",\"right\":\"{\\\"x\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[],\"classification\":\"Independent\",\"base_value\":{\"x\":1},\"left_value\":null,\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "garbage",
+        "right": "{\"x\":1}",
+        "version": 2
+      },
+      "name": "unparseable_left",
+      "why": "unparseable left content classifies as JSON null"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":1}\",\"right\":\"]\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[],\"classification\":\"Independent\",\"base_value\":{\"x\":1},\"left_value\":null,\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":1}",
+        "right": "]",
+        "version": 2
+      },
+      "name": "unparseable_right",
+      "why": "unparseable right content classifies as JSON null"
+    },
+    {
+      "canonical_input": "{\"base\":\"a\",\"contract\":\"feltdb.state.conflict\",\"left\":\"b\",\"right\":\"c\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "a",
+        "contract": "feltdb.state.conflict",
+        "left": "b",
+        "right": "c",
+        "version": 2
+      },
+      "name": "unparseable_all_three",
+      "why": "three unparseable states are three JSON nulls, so nothing changed"
+    },
+    {
+      "canonical_input": "{\"base\":\"\",\"contract\":\"feltdb.state.conflict\",\"left\":\"\",\"right\":\"\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "",
+        "contract": "feltdb.state.conflict",
+        "left": "",
+        "right": "",
+        "version": 2
+      },
+      "name": "empty_content_strings",
+      "why": "empty content is not JSON either, so it is JSON null"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":1}\",\"right\":\"{\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[],\"classification\":\"Independent\",\"base_value\":null,\"left_value\":{\"x\":1},\"right_value\":null}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":1}",
+        "right": "{",
+        "version": 2
+      },
+      "name": "unparseable_base_only_left_changes",
+      "why": "an unparseable base with one side moving"
+    },
+    {
+      "canonical_input": "{\"base\":\"null\",\"contract\":\"feltdb.state.conflict\",\"left\":\"not json\",\"right\":\"{\\\"x\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[],\"classification\":\"Independent\",\"base_value\":null,\"left_value\":null,\"right_value\":{\"x\":1}}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "null",
+        "contract": "feltdb.state.conflict",
+        "left": "not json",
+        "right": "{\"x\":1}",
+        "version": 2
+      },
+      "name": "literal_null_content_vs_unparseable",
+      "why": "content that is literally null and content that fails to parse are indistinguishable"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":1}\",\"right\":\"{\\\"x\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[],\"classification\":\"Convergent\",\"base_value\":null,\"left_value\":{\"x\":1},\"right_value\":{\"x\":1}}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":1}",
+        "right": "{\"x\":1}",
+        "version": 2
+      },
+      "name": "truncated_json_content",
+      "why": "a truncated document does not parse and becomes null"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1} extra\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":1}\",\"right\":\"{\\\"x\\\":1}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[],\"classification\":\"Convergent\",\"base_value\":null,\"left_value\":{\"x\":1},\"right_value\":{\"x\":1}}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1} extra",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":1}",
+        "right": "{\"x\":1}",
+        "version": 2
+      },
+      "name": "trailing_content_in_state",
+      "why": "trailing bytes make the content unparseable"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"b\\\":1,\\\"a\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"a\\\":2,\\\"b\\\":1}\",\"right\":\"{\\\"a\\\":1,\\\"b\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"a\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":2,\"right_value\":null},{\"path\":[{\"Key\":\"b\"}],\"classification\":\"Independent\",\"base_value\":1,\"left_value\":null,\"right_value\":2}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"b\":1,\"a\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"a\":2,\"b\":1}",
+        "right": "{\"a\":1,\"b\":2}",
+        "version": 2
+      },
+      "name": "non_canonical_member_order_in_content",
+      "why": "content is parsed, so its member order does not reach the classification"
+    },
+    {
+      "canonical_input": "{\"base\":\"  {\\\"x\\\" : 1}  \",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":2}\",\"right\":\"{\\\"x\\\":2}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Convergent\",\"base_value\":1,\"left_value\":2,\"right_value\":2}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "  {\"x\" : 1}  ",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":2}",
+        "right": "{\"x\":2}",
+        "version": 2
+      },
+      "name": "whitespace_in_content",
+      "why": "insignificant whitespace inside content changes nothing"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"x\\\":1,\\\"x\\\":2}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"x\\\":2}\",\"right\":\"{\\\"x\\\":3}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"x\"}],\"classification\":\"Independent\",\"base_value\":2,\"left_value\":null,\"right_value\":3}],\"overall\":\"Independent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"x\":1,\"x\":2}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"x\":2}",
+        "right": "{\"x\":3}",
+        "version": 2
+      },
+      "name": "duplicate_member_in_content",
+      "why": "a repeated member inside content resolves last-wins"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"n\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"n\\\":1e2}\",\"right\":\"{\\\"n\\\":100.0}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"n\"}],\"classification\":\"Convergent\",\"base_value\":1,\"left_value\":100.0,\"right_value\":100.0}],\"overall\":\"Convergent\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"n\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"n\":1e2}",
+        "right": "{\"n\":100.0}",
+        "version": 2
+      },
+      "name": "non_canonical_number_in_content",
+      "why": "1e2 and 100.0 are the same float"
+    },
+    {
+      "canonical_input": "{\"base\":\"{\\\"n\\\":1}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{\\\"n\\\":-0}\",\"right\":\"{\\\"n\\\":0}\",\"version\":2}",
+      "expected_output": "{\"classification\":{\"path_conflicts\":[{\"path\":[{\"Key\":\"n\"}],\"classification\":\"Conflict\",\"base_value\":1,\"left_value\":-0.0,\"right_value\":0}],\"overall\":\"Conflict\"},\"contract\":\"feltdb.state.conflict\",\"version\":2}",
+      "input": {
+        "base": "{\"n\":1}",
+        "contract": "feltdb.state.conflict",
+        "left": "{\"n\":-0}",
+        "right": "{\"n\":0}",
+        "version": 2
+      },
+      "name": "negative_zero_in_content",
+      "why": "-0 is a float and never equals the integer 0"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":2}",
+      "name": "malformed_not_json",
+      "raw_input": "not json at all",
+      "why": "bytes that are not JSON at all"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":2}",
+      "name": "malformed_empty_input",
+      "raw_input": "",
+      "why": "zero bytes"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":2}",
+      "name": "malformed_truncated_envelope",
+      "raw_input": "{\"base\":",
+      "why": "an envelope that ends mid-value"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":2}",
+      "name": "malformed_trailing_content",
+      "raw_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{}\",\"version\":2} trailing",
+      "why": "a complete envelope followed by more bytes"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":2}",
+      "name": "malformed_top_level_array",
+      "raw_input": "[]",
+      "why": "the envelope must be an object"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":2}",
+      "name": "malformed_missing_base",
+      "raw_input": "{\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{}\",\"version\":2}",
+      "why": "a required member is absent"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":2}",
+      "name": "malformed_missing_left",
+      "raw_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"right\":\"{}\",\"version\":2}",
+      "why": "a required member is absent"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":2}",
+      "name": "malformed_missing_right",
+      "raw_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"version\":2}",
+      "why": "a required member is absent"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":2}",
+      "name": "malformed_unknown_envelope_member",
+      "raw_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"extra\":true,\"left\":\"{}\",\"right\":\"{}\",\"version\":2}",
+      "why": "the contract denies unknown members"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":2}",
+      "name": "malformed_duplicate_envelope_member",
+      "raw_input": "{\"base\":\"{}\",\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{}\",\"version\":2}",
+      "why": "a repeated envelope member is rejected"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":2}",
+      "name": "malformed_state_is_not_a_string",
+      "raw_input": "{\"base\":{\"x\":1},\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{}\",\"version\":2}",
+      "why": "state content is a string, not a parsed value"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":2}",
+      "name": "malformed_state_is_null",
+      "raw_input": "{\"base\":null,\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{}\",\"version\":2}",
+      "why": "state content is a string, and null is not one"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":2}",
+      "name": "malformed_version_is_float",
+      "raw_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{}\",\"version\":2.0}",
+      "why": "version is an integer"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":2}",
+      "name": "malformed_version_is_negative",
+      "raw_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{}\",\"version\":-1}",
+      "why": "version is unsigned"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_ID_MISMATCH\"},\"version\":2}",
+      "name": "contract_id_mismatch",
+      "raw_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.other\",\"left\":\"{}\",\"right\":\"{}\",\"version\":2}",
+      "why": "a well-formed input addressed to another contract"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_VERSION_UNSUPPORTED\"},\"version\":2}",
+      "name": "contract_version_unsupported",
+      "raw_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{}\",\"version\":3}",
+      "why": "a well-formed input at an unimplemented version"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_VERSION_UNSUPPORTED\"},\"version\":2}",
+      "name": "contract_version_one_is_no_longer_implemented",
+      "raw_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.conflict\",\"left\":\"{}\",\"right\":\"{}\",\"version\":1}",
+      "why": "version 1 collided on equal paths only; its semantics are gone, not silently reinterpreted"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":2}",
+      "name": "malformed_and_misaddressed",
+      "raw_input": "{\"base\":\"{}\",\"contract\":\"feltdb.state.other\",\"extra\":1,\"left\":\"{}\",\"right\":\"{}\",\"version\":2}",
+      "why": "shape is validated before identity, so this is an input error"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.state.conflict\",\"error\":{\"code\":\"CONTRACT_VERSION_UNSUPPORTED\"},\"version\":2}",
+      "name": "envelope_members_in_any_order",
+      "raw_input": "{\"version\":1,\"right\":\"{\\\"x\\\":3}\",\"left\":\"{\\\"x\\\":2}\",\"contract\":\"feltdb.state.conflict\",\"base\":\"{\\\"x\\\":1}\"}",
+      "why": "the envelope is an object, so its member order is not semantic"
+    }
+  ],
+  "contract": "feltdb.state.conflict",
+  "contract_version": 2,
+  "corpus_version": 1
+}