@feltdb/core 0.8.4 → 0.8.6

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

@@ -0,0 +1,1862 @@
+{
+  "about": "Deterministic conformance corpus for the feltdb.trigger.match 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; cases with 'raw_input' are fed to the contract verbatim so that malformed and non-canonical encodings are testable. Regenerate expected_output with FELTDB_TRIGGER_CONTRACT_BLESS=1 cargo test -p feltdb --test trigger_contract_conformance -- bless --ignored",
+  "cases": [
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "status": "paid"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "collection_matches",
+      "why": "the change is in the trigger's source collection"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"customers\",\"value\":{\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"collection_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "customers",
+          "value": {
+            "status": "paid"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "collection_differs",
+      "why": "a change in another collection is not this trigger's"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"Orders\",\"value\":{\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"collection_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "Orders",
+          "value": {
+            "status": "paid"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "collection_differs_by_case",
+      "why": "collection comparison is exact, not case-folded"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"order\",\"value\":{\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"collection_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "order",
+          "value": {
+            "status": "paid"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "collection_differs_by_prefix",
+      "why": "a prefix of the source collection is not the source collection"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"update\",\"collection\":\"orders\",\"value\":{\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"update\",\"enabled\":true,\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "update",
+          "collection": "orders",
+          "value": {
+            "status": "paid"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "update",
+          "enabled": true,
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "change_kind_update_matches",
+      "why": "an update trigger accepts an update"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"delete\",\"collection\":\"orders\"},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"delete\",\"enabled\":true,\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "delete",
+          "collection": "orders"
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "delete",
+          "enabled": true,
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "change_kind_delete_matches",
+      "why": "a delete trigger accepts a delete with no value"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"update\",\"enabled\":true,\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"change_kind_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "status": "paid"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "update",
+          "enabled": true,
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "change_kind_insert_against_update_trigger",
+      "why": "an insert is not an update"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"delete\",\"collection\":\"orders\"},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"change_kind_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "delete",
+          "collection": "orders"
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "change_kind_delete_against_insert_trigger",
+      "why": "a delete is not an insert"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":false,\"predicate\":{\"equals\":\"paid\",\"field\":\"status\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"trigger_disabled\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "status": "paid"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": false,
+          "predicate": {
+            "equals": "paid",
+            "field": "status"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "disabled_trigger_rejects_matching_change",
+      "why": "a disabled trigger never matches, even when everything else agrees"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"customers\",\"value\":{\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":false,\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"trigger_disabled\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "customers",
+          "value": {
+            "status": "paid"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": false,
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "disabled_trigger_outranks_collection_mismatch",
+      "why": "disabled is checked before collection, so the reason is stable"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"anything\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "status": "anything"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "predicate_absent_matches_any_value",
+      "why": "no predicate means collection and kind decide alone"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"delete\",\"collection\":\"orders\"},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"delete\",\"enabled\":true,\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "delete",
+          "collection": "orders"
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "delete",
+          "enabled": true,
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "predicate_absent_matches_absent_value",
+      "why": "no predicate means a valueless change still matches"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"paid\",\"field\":\"status\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "status": "paid"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "paid",
+            "field": "status"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "predicate_matches_string",
+      "why": "the field resolves and equals the expected value"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"draft\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"paid\",\"field\":\"status\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "status": "draft"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "paid",
+            "field": "status"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "predicate_value_mismatch",
+      "why": "the field resolves to a different value"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"state\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"paid\",\"field\":\"status\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_field_absent\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "state": "paid"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "paid",
+            "field": "status"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "predicate_field_absent",
+      "why": "the field path does not resolve"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"delete\",\"collection\":\"orders\"},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"delete\",\"enabled\":true,\"predicate\":{\"equals\":\"paid\",\"field\":\"status\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"change_value_absent\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "delete",
+          "collection": "orders"
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "delete",
+          "enabled": true,
+          "predicate": {
+            "equals": "paid",
+            "field": "status"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "predicate_against_absent_value",
+      "why": "a predicate cannot be evaluated against a change that carried no record"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":{\"status\":\"paid\"},\"field\":\"\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "status": "paid"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": {
+              "status": "paid"
+            },
+            "field": ""
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "predicate_empty_field_path_selects_whole_value",
+      "why": "an empty path compares the whole record"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":{\"status\":\"draft\"},\"field\":\"\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "status": "paid"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": {
+              "status": "draft"
+            },
+            "field": ""
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "predicate_empty_field_path_mismatch",
+      "why": "an empty path comparing an unequal record"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":\"paid\"},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"paid\",\"field\":\"status\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_field_absent\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": "paid"
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "paid",
+            "field": "status"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "predicate_field_on_scalar_value",
+      "why": "a scalar record has no members to address"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"a.b\":1}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":1,\"field\":\"a.b\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_field_absent\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "a.b": 1
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": 1,
+            "field": "a.b"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "predicate_dotted_key_is_a_path_not_a_key",
+      "why": "a literal dotted key is not addressable, because the path splits first"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":null},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":null,\"field\":\"\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": null
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": null,
+            "field": ""
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "value_null_present_with_whole_record_predicate",
+      "why": "a record that is JSON null is present and comparable"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"delete\",\"collection\":\"orders\"},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"delete\",\"enabled\":true,\"predicate\":{\"equals\":null,\"field\":\"\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"change_value_absent\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "delete",
+          "collection": "orders"
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "delete",
+          "enabled": true,
+          "predicate": {
+            "equals": null,
+            "field": ""
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "value_absent_with_whole_record_predicate",
+      "why": "an absent record is not JSON null, so the same predicate rejects"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"cancelled_at\":null}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":null,\"field\":\"cancelled_at\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "cancelled_at": null
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": null,
+            "field": "cancelled_at"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "predicate_matches_null_field",
+      "why": "a field whose value is null equals a null expectation"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"cancelled_at\":null}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"never\",\"field\":\"cancelled_at\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "cancelled_at": null
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "never",
+            "field": "cancelled_at"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "null_field_is_not_a_missing_field",
+      "why": "a present null field resolves; it is not the absent case"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":null,\"field\":\"cancelled_at\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_field_absent\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "status": "paid"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": null,
+            "field": "cancelled_at"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "missing_field_does_not_equal_null",
+      "why": "an absent field never equals null"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"flag\":null}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":false,\"field\":\"flag\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "flag": null
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": false,
+            "field": "flag"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "null_is_not_false",
+      "why": "JSON null and false are different values"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"customer\":{\"billing\":{\"country\":\"NL\"}}}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"NL\",\"field\":\"customer.billing.country\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "customer": {
+              "billing": {
+                "country": "NL"
+              }
+            }
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "NL",
+            "field": "customer.billing.country"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "nested_path_matches",
+      "why": "a dotted path descends through nested objects"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"customer\":{\"billing\":{\"country\":\"BE\"}}}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"NL\",\"field\":\"customer.billing.country\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "customer": {
+              "billing": {
+                "country": "BE"
+              }
+            }
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "NL",
+            "field": "customer.billing.country"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "nested_path_mismatch",
+      "why": "a nested path that resolves to another value"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"customer\":{\"shipping\":{\"country\":\"NL\"}}}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"NL\",\"field\":\"customer.billing.country\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_field_absent\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "customer": {
+              "shipping": {
+                "country": "NL"
+              }
+            }
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "NL",
+            "field": "customer.billing.country"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "nested_path_stops_at_missing_segment",
+      "why": "an intermediate segment that does not exist stops the walk"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"customer\":{\"alpha\":2,\"zeta\":1}}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":{\"alpha\":2,\"zeta\":1},\"field\":\"customer\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "customer": {
+              "alpha": 2,
+              "zeta": 1
+            }
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": {
+              "alpha": 2,
+              "zeta": 1
+            },
+            "field": "customer"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "nested_object_equality_ignores_key_order",
+      "why": "objects compare as maps, so the encoded key order cannot decide"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"customer\":{\"alpha\":2,\"zeta\":1}}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":{\"alpha\":2},\"field\":\"customer\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "customer": {
+              "alpha": 2,
+              "zeta": 1
+            }
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": {
+              "alpha": 2
+            },
+            "field": "customer"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "nested_object_equality_rejects_extra_key",
+      "why": "an object with an extra member is a different object"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"a\":{\"b\":{\"c\":{\"d\":{\"e\":{\"f\":{\"g\":{\"h\":{\"i\":{\"j\":\"deep\"}}}}}}}}}}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"deep\",\"field\":\"a.b.c.d.e.f.g.h.i.j\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "a": {
+              "b": {
+                "c": {
+                  "d": {
+                    "e": {
+                      "f": {
+                        "g": {
+                          "h": {
+                            "i": {
+                              "j": "deep"
+                            }
+                          }
+                        }
+                      }
+                    }
+                  }
+                }
+              }
+            }
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "deep",
+            "field": "a.b.c.d.e.f.g.h.i.j"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "deeply_nested_value",
+      "why": "nesting well inside the shared recursion bound"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"tags\":[\"a\",\"b\",\"c\"]}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":[\"a\",\"b\",\"c\"],\"field\":\"tags\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "tags": [
+              "a",
+              "b",
+              "c"
+            ]
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": [
+              "a",
+              "b",
+              "c"
+            ],
+            "field": "tags"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "array_equality_matches",
+      "why": "arrays compare elementwise and in order"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"tags\":[\"c\",\"b\",\"a\"]}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":[\"a\",\"b\",\"c\"],\"field\":\"tags\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "tags": [
+              "c",
+              "b",
+              "a"
+            ]
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": [
+              "a",
+              "b",
+              "c"
+            ],
+            "field": "tags"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "array_order_is_significant",
+      "why": "the same members in another order are a different array"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"tags\":[\"a\",\"b\"]}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":[\"a\",\"b\",\"c\"],\"field\":\"tags\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "tags": [
+              "a",
+              "b"
+            ]
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": [
+              "a",
+              "b",
+              "c"
+            ],
+            "field": "tags"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "array_length_is_significant",
+      "why": "a prefix is not the array"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"tags\":[\"a\",\"b\"]}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"a\",\"field\":\"tags.0\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_field_absent\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "tags": [
+              "a",
+              "b"
+            ]
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "a",
+            "field": "tags.0"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "array_elements_are_not_addressable",
+      "why": "a numeric path segment does not index an array"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"lines\":[{\"qty\":2,\"sku\":\"x\"},{\"qty\":1,\"sku\":\"y\"}]}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":[{\"qty\":2,\"sku\":\"x\"},{\"qty\":1,\"sku\":\"y\"}],\"field\":\"lines\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "lines": [
+              {
+                "qty": 2,
+                "sku": "x"
+              },
+              {
+                "qty": 1,
+                "sku": "y"
+              }
+            ]
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": [
+              {
+                "qty": 2,
+                "sku": "x"
+              },
+              {
+                "qty": 1,
+                "sku": "y"
+              }
+            ],
+            "field": "lines"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "array_of_objects_equality",
+      "why": "nested structure inside array elements participates"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"tags\":[]}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":[],\"field\":\"tags\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "tags": []
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": [],
+            "field": "tags"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "empty_array_matches_empty_array",
+      "why": "an empty array is a value"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"tags\":[]}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":{},\"field\":\"tags\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "tags": []
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": {},
+            "field": "tags"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "empty_array_is_not_empty_object",
+      "why": "an empty array and an empty object are different values"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"total\":42}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":42,\"field\":\"total\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "total": 42
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": 42,
+            "field": "total"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "integer_equality_matches",
+      "why": "integers compare by value"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"total\":42}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":42.0,\"field\":\"total\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "total": 42
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": 42.0,
+            "field": "total"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "integer_and_float_are_different_values",
+      "why": "42 is not 42.0 under JSON value equality"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"total\":42.0}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":42,\"field\":\"total\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "total": 42.0
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": 42,
+            "field": "total"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "float_and_integer_are_different_values",
+      "why": "and the comparison is symmetric"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"rate\":0.125}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":0.125,\"field\":\"rate\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "rate": 0.125
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": 0.125,
+            "field": "rate"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "float_equality_matches",
+      "why": "floats compare by value"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"delta\":-7}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":-7,\"field\":\"delta\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "delta": -7
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": -7,
+            "field": "delta"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "negative_integer_matches",
+      "why": "negative integers are their own variant"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "name": "negative_zero_is_not_integer_zero",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"delta\":-0}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":0,\"field\":\"delta\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "why": "the literal -0 carries a sign no integer can hold, so it decodes as a float and never equals the integer 0"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"counter\":18446744073709551615}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":18446744073709551615,\"field\":\"counter\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "counter": 18446744073709551615
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": 18446744073709551615,
+            "field": "counter"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "large_unsigned_integer_matches",
+      "why": "a u64 near the top of the range stays an integer"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"floor\":-9223372036854775808}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":-9223372036854775808,\"field\":\"floor\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "floor": -9223372036854775808
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": -9223372036854775808,
+            "field": "floor"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "smallest_signed_integer_matches",
+      "why": "i64::MIN stays an integer"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"total\":0}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":0,\"field\":\"total\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "total": 0
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": 0,
+            "field": "total"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "zero_matches_zero",
+      "why": "zero is an ordinary value"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"flag\":0}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":false,\"field\":\"flag\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "flag": 0
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": false,
+            "field": "flag"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "zero_is_not_false",
+      "why": "a number and a boolean are different values"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"total\":\"42\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":42,\"field\":\"total\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "total": "42"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": 42,
+            "field": "total"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "numeric_string_is_not_a_number",
+      "why": "\"42\" is not 42"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"\",\"value\":{\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "",
+          "value": {
+            "status": "paid"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "source_collection": ""
+        },
+        "version": 1
+      },
+      "name": "empty_collection_names_match",
+      "why": "an empty collection name is compared like any other"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"\",\"value\":{\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"collection_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "",
+          "value": {
+            "status": "paid"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "empty_collection_against_named_trigger",
+      "why": "an empty collection name is not a wildcard"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":{},\"field\":\"\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {}
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": {},
+            "field": ""
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "empty_object_record",
+      "why": "a record with no members"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"\",\"field\":\"status\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "status": ""
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "",
+            "field": "status"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "empty_string_field_value",
+      "why": "an empty string is a value, not an absence"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"paid\",\"field\":\"status\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "status": ""
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "paid",
+            "field": "status"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "empty_string_is_not_missing",
+      "why": "an empty string does not satisfy a non-empty expectation"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"\":{\"status\":\"paid\"}}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"paid\",\"field\":\".status\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "": {
+              "status": "paid"
+            }
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "paid",
+            "field": ".status"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "empty_key_segment_in_path",
+      "why": "a leading dot addresses a member whose name is the empty string"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"naïve\":\"café ☕\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"café ☕\",\"field\":\"naïve\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "naïve": "café ☕"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "café ☕",
+            "field": "naïve"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "unicode_field_and_value",
+      "why": "non-ASCII keys and values survive canonical encoding on both sides"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"note\":\"line\\nbreak\\ttab\\\"quote\\\\slash\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"line\\nbreak\\ttab\\\"quote\\\\slash\",\"field\":\"note\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "note": "line\nbreak\ttab\"quote\\slash"
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "line\nbreak\ttab\"quote\\slash",
+            "field": "note"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "escaped_control_characters_in_value",
+      "why": "a value containing characters the encoder must escape"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"paid\",\"total\":42}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"paid\",\"field\":\"status\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "status": "paid",
+            "total": 42
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "paid",
+            "field": "status"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "fanout_first_trigger_matches",
+      "why": "one change against the first of several triggers"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"paid\",\"total\":42}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":42,\"field\":\"total\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "status": "paid",
+            "total": 42
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": 42,
+            "field": "total"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "fanout_second_trigger_matches",
+      "why": "the same change against a second, differently-predicated trigger"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"paid\",\"total\":42}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"shipped\",\"field\":\"status\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "status": "paid",
+            "total": 42
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": true,
+          "predicate": {
+            "equals": "shipped",
+            "field": "status"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "fanout_third_trigger_rejects",
+      "why": "the same change against a third trigger that does not match"
+    },
+    {
+      "canonical_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"paid\",\"total\":42}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":false,\"predicate\":{\"equals\":\"paid\",\"field\":\"status\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"trigger_disabled\"},\"version\":1}",
+      "input": {
+        "change": {
+          "change_kind": "insert",
+          "collection": "orders",
+          "value": {
+            "status": "paid",
+            "total": 42
+          }
+        },
+        "contract": "feltdb.trigger.match",
+        "trigger": {
+          "change_kind": "insert",
+          "enabled": false,
+          "predicate": {
+            "equals": "paid",
+            "field": "status"
+          },
+          "source_collection": "orders"
+        },
+        "version": 1
+      },
+      "name": "fanout_fourth_trigger_disabled",
+      "why": "the same change against a disabled trigger"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_not_json",
+      "raw_input": "not json at all",
+      "why": "bytes that are not JSON at all"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_empty_input",
+      "raw_input": "",
+      "why": "zero bytes"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_truncated_object",
+      "raw_input": "{\"change\":",
+      "why": "a JSON document that ends mid-value"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_trailing_content",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\"},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":1} trailing",
+      "why": "a complete document followed by more bytes"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_trailing_comma",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\",},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":1}",
+      "why": "a trailing comma is not JSON"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_single_quotes",
+      "raw_input": "{'contract':'feltdb.trigger.match'}",
+      "why": "single-quoted strings are not JSON"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_top_level_array",
+      "raw_input": "[]",
+      "why": "the input must be an object"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_top_level_string",
+      "raw_input": "\"feltdb.trigger.match\"",
+      "why": "the input must be an object"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_missing_change",
+      "raw_input": "{\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":1}",
+      "why": "a required member is absent"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_missing_trigger",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\"},\"contract\":\"feltdb.trigger.match\",\"version\":1}",
+      "why": "a required member is absent"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_unknown_top_level_field",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\"},\"contract\":\"feltdb.trigger.match\",\"extra\":true,\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":1}",
+      "why": "the contract denies unknown members"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_unknown_trigger_field",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\"},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\",\"target_capability\":\"identity\"},\"version\":1}",
+      "why": "the contract denies unknown members in nested objects"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_duplicate_field",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\"},\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\"},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":1}",
+      "why": "a repeated contract member is rejected"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_change_kind_value",
+      "raw_input": "{\"change\":{\"change_kind\":\"upsert\",\"collection\":\"o\"},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":1}",
+      "why": "change_kind is a closed set"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_enabled_is_not_bool",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\"},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":1,\"source_collection\":\"o\"},\"version\":1}",
+      "why": "enabled must be a boolean, not a truthy value"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_collection_is_not_string",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":7},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":1}",
+      "why": "collection must be a string"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_predicate_missing_field",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\"},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"x\"},\"source_collection\":\"o\"},\"version\":1}",
+      "why": "a predicate needs both members"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_version_is_float",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\"},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":1.0}",
+      "why": "version is an integer"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_version_is_negative",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\"},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":-1}",
+      "why": "version is unsigned"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_ID_MISMATCH\"},\"version\":1}",
+      "name": "contract_id_mismatch",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\"},\"contract\":\"feltdb.trigger.other\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":1}",
+      "why": "a well-formed input addressed to another contract"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_VERSION_UNSUPPORTED\"},\"version\":1}",
+      "name": "contract_version_unsupported",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\"},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":2}",
+      "why": "a well-formed input at a version this implementation does not implement"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_and_misaddressed",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\"},\"contract\":\"feltdb.trigger.other\",\"extra\":1,\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":1}",
+      "why": "shape is validated before identity, so this is an input error"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "name": "null_predicate_is_no_predicate",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\",\"value\":{\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":null,\"source_collection\":\"o\"},\"version\":1}",
+      "why": "an explicit null predicate is the absent predicate"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "name": "whitespace_around_document",
+      "raw_input": "  {\"change\" : {\"change_kind\":\"insert\",\"collection\":\"o\"} , \"contract\":\"feltdb.trigger.match\", \"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"}, \"version\":1}  ",
+      "why": "insignificant whitespace does not change the decision"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "name": "unsorted_input_keys_are_still_valid_input",
+      "raw_input": "{\"version\":1,\"trigger\":{\"source_collection\":\"o\",\"enabled\":true,\"change_kind\":\"insert\"},\"contract\":\"feltdb.trigger.match\",\"change\":{\"collection\":\"o\",\"change_kind\":\"insert\"}}",
+      "why": "canonical ordering is how FeltDB emits input, not a parsing requirement"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "name": "unsorted_nested_keys_still_compare_equal",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"customer\":{\"zeta\":1,\"alpha\":2}}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":{\"alpha\":2,\"zeta\":1},\"field\":\"customer\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "why": "object equality is by member, so a record encoded with unsorted keys still equals a sorted expectation"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "name": "duplicate_key_inside_record_resolves_last_wins",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"status\":\"draft\",\"status\":\"paid\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"paid\",\"field\":\"status\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "why": "a repeated member inside an opaque record collapses to its last value, as a map-backed decoder does"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "name": "escaped_unicode_equals_literal_unicode",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"note\":\"caf\\u00e9\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"café\",\"field\":\"note\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "why": "\\u escapes and literal UTF-8 decode to the same string, so the encoding of the input cannot decide"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "name": "surrogate_pair_escape_decodes",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"note\":\"\\ud83d\\udd25\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":\"🔥\",\"field\":\"note\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "why": "an astral character written as a surrogate pair equals the same character written literally"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "name": "exponent_notation_is_a_float",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"total\":1e2}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":100,\"field\":\"total\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "why": "1e2 is a float and 100 is an integer, so they are different values"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "name": "exponent_notation_equals_decimal_float",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"total\":1e2}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":100.0,\"field\":\"total\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "why": "1e2 and 100.0 are the same float"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "name": "integer_beyond_u64_becomes_a_float",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"counter\":18446744073709551616}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":18446744073709551615,\"field\":\"counter\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "why": "an integer literal too large for u64 is a float on both sides, so it cannot equal an integer"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "name": "high_precision_float_round_trips",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"rate\":3.141592653589793}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":3.141592653589793,\"field\":\"rate\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "why": "a float needing full precision decodes identically on both sides"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_leading_zero_number",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\",\"value\":{\"total\":01}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":1}",
+      "why": "01 is not a JSON number"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_nan_literal",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\",\"value\":{\"total\":NaN}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":1}",
+      "why": "NaN is not a JSON value, and a contract that accepted it would admit a value with no equality"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_raw_control_character_in_string",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\",\"value\":{\"note\":\"a\nb\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":1}",
+      "why": "an unescaped control character is not legal inside a JSON string"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"error\":{\"code\":\"CONTRACT_INPUT_INVALID\"},\"version\":1}",
+      "name": "malformed_lone_surrogate_escape",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"o\",\"value\":{\"note\":\"\\ud83d\"}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"source_collection\":\"o\"},\"version\":1}",
+      "why": "an unpaired surrogate does not name a character"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "name": "negative_zero_equals_negative_zero",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"delta\":-0}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":-0.0,\"field\":\"delta\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "why": "-0 and -0.0 decode to the same float"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":true,\"reason\":\"matched\"},\"version\":1}",
+      "name": "negative_zero_float_equals_positive_zero_float",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"delta\":-0.0}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":0.0,\"field\":\"delta\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "why": "float equality is IEEE equality, under which -0.0 and 0.0 are equal"
+    },
+    {
+      "expected_output": "{\"contract\":\"feltdb.trigger.match\",\"outcome\":{\"matched\":false,\"reason\":\"predicate_value_mismatch\"},\"version\":1}",
+      "name": "negative_integer_beyond_i64_becomes_a_float",
+      "raw_input": "{\"change\":{\"change_kind\":\"insert\",\"collection\":\"orders\",\"value\":{\"floor\":-9223372036854775809}},\"contract\":\"feltdb.trigger.match\",\"trigger\":{\"change_kind\":\"insert\",\"enabled\":true,\"predicate\":{\"equals\":-9223372036854775808,\"field\":\"floor\"},\"source_collection\":\"orders\"},\"version\":1}",
+      "why": "a negative integer literal too small for i64 decodes as a float"
+    }
+  ],
+  "contract": "feltdb.trigger.match",
+  "contract_version": 1,
+  "corpus_version": 1
+}