reifydb-codec 0.8.1

Unified encoding and decoding for all ReifyDB values, frames, rows, keys, and boundaries
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

// SPDX-License-Identifier: Apache-2.0
// Copyright (c) 2026 ReifyDB

//! Guards the FFI ABI against tag drift: reifydb-abi must stay dependency-free, so its
//! ColumnTypeCode enum carries its own discriminants. This test pins every discriminant to the
//! unified ValueKind byte. If it fails, the two tables diverged and every FFI plugin would decode
//! garbage silently; renumber ColumnTypeCode, never work around it.

use reifydb_abi::data::column::ColumnTypeCode;
use reifydb_codec::tag::ValueKind;

#[test]
fn column_type_code_discriminants_match_value_kind_bytes() {
	let pairs = [
		(ColumnTypeCode::Undefined, ValueKind::None),
		(ColumnTypeCode::Bool, ValueKind::Boolean),
		(ColumnTypeCode::Float4, ValueKind::Float4),
		(ColumnTypeCode::Float8, ValueKind::Float8),
		(ColumnTypeCode::Int1, ValueKind::Int1),
		(ColumnTypeCode::Int2, ValueKind::Int2),
		(ColumnTypeCode::Int4, ValueKind::Int4),
		(ColumnTypeCode::Int8, ValueKind::Int8),
		(ColumnTypeCode::Int16, ValueKind::Int16),
		(ColumnTypeCode::Utf8, ValueKind::Utf8),
		(ColumnTypeCode::Uint1, ValueKind::Uint1),
		(ColumnTypeCode::Uint2, ValueKind::Uint2),
		(ColumnTypeCode::Uint4, ValueKind::Uint4),
		(ColumnTypeCode::Uint8, ValueKind::Uint8),
		(ColumnTypeCode::Uint16, ValueKind::Uint16),
		(ColumnTypeCode::Date, ValueKind::Date),
		(ColumnTypeCode::DateTime, ValueKind::DateTime),
		(ColumnTypeCode::Time, ValueKind::Time),
		(ColumnTypeCode::Duration, ValueKind::Duration),
		(ColumnTypeCode::IdentityId, ValueKind::IdentityId),
		(ColumnTypeCode::Uuid4, ValueKind::Uuid4),
		(ColumnTypeCode::Uuid7, ValueKind::Uuid7),
		(ColumnTypeCode::Blob, ValueKind::Blob),
		(ColumnTypeCode::Int, ValueKind::Int),
		(ColumnTypeCode::Uint, ValueKind::Uint),
		(ColumnTypeCode::Decimal, ValueKind::Decimal),
		(ColumnTypeCode::Any, ValueKind::Any),
		(ColumnTypeCode::DictionaryId, ValueKind::DictionaryId),
	];
	for (code, kind) in pairs {
		assert_eq!(
			code as u8,
			kind.byte(),
			"ColumnTypeCode::{code:?} must carry the unified tag byte of ValueKind::{kind:?}"
		);
	}
}