{ "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 }