Module testing

Structs§

OperatorClassKey: Core scalar ordering used to prove that an operator-class key encoder preserves the semantic relation declared by its external input type.

check_bitmap_operator_class: Bitmap keys may coalesce byte representation only when the external values are semantically equal; otherwise exact lookup and uniqueness would diverge.
check_btree_operator_class: Verify the full B-tree law: the physical key is an exact order embedding of the external type’s equality and total-order callbacks for its corpus.
check_hash_operator_class: Hash classes never select a hash algorithm or physical token. Their law is exactly the external type equality/hash-component contract.
check_operator_class_strategies: Compare every strategy function with the equality/ordering callbacks of the external input type over the same bounded corpus.
check_type
decode_candidate_spans
fuzz_malformed_external_bytes
golden_vectors
invoke_batch
invoke_planner
invoke_scalar
planner_recheck_policy
validate_descriptor_graph