reifydb-core 0.9.1

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

pub mod distinct;
pub mod expiry;
pub mod join;
pub mod ringbuffer;
pub mod root;
pub mod timer;
pub mod window;

use reifydb_codec::row::{operator::state::OperatorState, pod::EncodedPodRow};
#[cfg(test)]
use reifydb_value::util::hash::Hash128;

#[cfg(test)]
use crate::key::typed::{BoundedKey, DenseKey};
use crate::{
	key::{
		operator::{
			keyspace::{
				distinct::{DistinctEntry, DistinctLayout},
				expiry::{Expiry, ReapQueue, TumblingExpiry},
				join::{
					JoinExpiryDue, JoinLeft, JoinPin, JoinPublished, JoinRight, JoinRowExpiry,
					JoinRowExpiryState, JoinRowExpirySuffix, JoinRowMapping, JoinSchema,
					join_expiry_due_key,
				},
				ringbuffer::{
					PartitionedRingbufferEntry, PartitionedRingbufferExpiry,
					PartitionedRingbufferMeta, PartitionedRingbufferTtlArm, RingbufferEntry,
					RingbufferExpiry, RingbufferForward, RingbufferMeta, RingbufferTtlArm,
				},
				root::{
					CustomNotCached, GateVisibility, GroupRowMapping, GuestRowMapping, NodeCounter,
					SealLedger, SourceWatermark,
				},
				timer::{TimerIndex, TimerWheel},
				window::{
					Accumulator, Buffer, Count, Emit, EngineMeta, GuestAccumulator, GuestBuffer,
					GuestRunning, RollingMeta, RowIndex, Running, Session, WindowMeta,
				},
			},
			state::{GroupId, GroupStateKey, KeyspaceId, OperatorStateKey},
			traits::{Keyspace, group_scoped},
		},
		typed::layout::{KeyColumn, KeyLayout},
	},
	state::typed::SuffixBytes,
};

#[derive(Clone, Copy, Debug, PartialEq, Eq)]
pub struct KeyspaceSpec {
	pub name: &'static str,
	pub id: KeyspaceId,
	pub range_cached: bool,
	pub columns: &'static [KeyColumn],
	pub suffix: &'static [KeyColumn],
}

pub const fn columns_width(columns: &[KeyColumn]) -> usize {
	let mut width = 0;
	let mut index = 0;
	while index < columns.len() {
		width += columns[index].ty.width();
		index += 1;
	}
	width
}

impl KeyspaceSpec {
	pub const fn suffix_width(&self) -> usize {
		columns_width(self.suffix)
	}
}

struct GroupScoped;

impl KeyspaceVisitor for GroupScoped {
	type Output = bool;

	fn visit<K: Keyspace>(self) -> Self::Output {
		const { group_scoped::<K>() }
	}
}

/// The runtime form of `group_scoped`, for callers that hold an id rather than the type. `None` names
/// a keyspace the catalogue does not carry.
pub fn group_scoped_id(id: KeyspaceId) -> Option<bool> {
	dispatch(id, GroupScoped)
}

pub trait KeyspaceVisitor {
	type Output;

	fn visit<K: Keyspace>(self) -> Self::Output;
}

macro_rules! catalogue {
	($($keyspace:ty),* $(,)?) => {
		pub const KEYSPACES: &[KeyspaceSpec] = &[
			$(KeyspaceSpec {
				name: <$keyspace as Keyspace>::NAME,
				id: <$keyspace as Keyspace>::ID,
				range_cached: <$keyspace as Keyspace>::RANGE_CACHED,
				columns: <<$keyspace as Keyspace>::GroupedKey as KeyLayout>::COLUMNS,
				suffix: <<$keyspace as Keyspace>::Suffix as KeyLayout>::COLUMNS,
			}),*
		];

		pub const REGISTERED: [u64; 4] = {
			let mut bits = [0u64; 4];
			$({
				let id = <$keyspace as Keyspace>::ID.0;
				bits[(id >> 6) as usize] |= 1u64 << (id & 63);
			})*
			bits
		};

		pub fn suffix_width_of(id: KeyspaceId) -> Option<usize> {
			$(if id == <$keyspace as Keyspace>::ID {
				return Some(columns_width(<<$keyspace as Keyspace>::Suffix as KeyLayout>::COLUMNS));
			})*
			None
		}

		pub fn dispatch<V: KeyspaceVisitor>(id: KeyspaceId, visitor: V) -> Option<V::Output> {
			$(if id == <$keyspace as Keyspace>::ID {
				return Some(visitor.visit::<$keyspace>());
			})*
			None
		}

		#[cfg(test)]
		fn every_keyspace_round_trips() {
			$(round_trips::<$keyspace>();)*
		}

		#[cfg(test)]
		fn every_keyspace_carries_its_group() {
			$(carries_its_group::<$keyspace>();)*
		}

		#[cfg(test)]
		fn group_scoped_keyspaces() -> usize {
			let mut count = 0;
			$(if group_scoped::<$keyspace>() {
				count += 1;
			})*
			count
		}
	};
}

catalogue!(
	Accumulator,
	Buffer,
	Running,
	Count,
	Session,
	RollingMeta,
	EngineMeta,
	Emit,
	RowIndex,
	WindowMeta,
	GuestAccumulator,
	GuestBuffer,
	GuestRunning,
	JoinLeft,
	JoinRight,
	JoinPublished,
	JoinPin,
	JoinSchema,
	JoinRowExpiry,
	JoinExpiryDue,
	JoinRowMapping,
	RingbufferForward,
	RingbufferEntry,
	RingbufferExpiry,
	RingbufferTtlArm,
	RingbufferMeta,
	PartitionedRingbufferEntry,
	PartitionedRingbufferExpiry,
	PartitionedRingbufferTtlArm,
	PartitionedRingbufferMeta,
	TimerWheel,
	TimerIndex,
	Expiry,
	TumblingExpiry,
	ReapQueue,
	DistinctEntry,
	DistinctLayout,
	SourceWatermark,
	SealLedger,
	NodeCounter,
	GateVisibility,
	GroupRowMapping,
	GuestRowMapping,
	CustomNotCached,
);

#[derive(Clone, Debug)]
pub enum RootSibling {
	Derived(GroupStateKey),
	OwnerCleared,
	None,
}

pub fn root_sibling(group: GroupId, keyspace: KeyspaceId, suffix: &[u8], row: &EncodedPodRow) -> RootSibling {
	match keyspace {
		KeyspaceId::JOIN_ROW_EXPIRY => join_row_expiry_sibling(group, suffix, row),

		KeyspaceId::ACCUMULATOR
		| KeyspaceId::BUFFER
		| KeyspaceId::RUNNING
		| KeyspaceId::COUNT
		| KeyspaceId::SESSION
		| KeyspaceId::ROLLING_META
		| KeyspaceId::ENGINE_META
		| KeyspaceId::EMIT
		| KeyspaceId::ROW_INDEX
		| KeyspaceId::WINDOW_META
		| KeyspaceId::GUEST_ACCUMULATOR
		| KeyspaceId::GUEST_BUFFER
		| KeyspaceId::GUEST_RUNNING
		| KeyspaceId::JOIN_LEFT
		| KeyspaceId::JOIN_RIGHT => RootSibling::OwnerCleared,

		KeyspaceId::JOIN_PUBLISHED
		| KeyspaceId::JOIN_PIN
		| KeyspaceId::JOIN_SCHEMA
		| KeyspaceId::JOIN_EXPIRY_DUE
		| KeyspaceId::JOIN_ROW_MAPPING
		| KeyspaceId::DISTINCT_ENTRY
		| KeyspaceId::DISTINCT_LAYOUT
		| KeyspaceId::ROLLING_EXPIRY
		| KeyspaceId::TUMBLING_EXPIRY
		| KeyspaceId::REAP_QUEUE
		| KeyspaceId::SOURCE_WATERMARK
		| KeyspaceId::SEAL_LEDGER
		| KeyspaceId::NODE_COUNTER
		| KeyspaceId::GATE_VISIBILITY
		| KeyspaceId::GROUP_ROW_MAPPING
		| KeyspaceId::GUEST_ROW_MAPPING
		| KeyspaceId::CUSTOM_NOT_CACHED
		| KeyspaceId::RINGBUFFER_FORWARD
		| KeyspaceId::RINGBUFFER_ENTRY
		| KeyspaceId::RINGBUFFER_EXPIRY
		| KeyspaceId::RINGBUFFER_TTL_ARM
		| KeyspaceId::RINGBUFFER_META
		| KeyspaceId::PARTITIONED_RINGBUFFER_ENTRY
		| KeyspaceId::PARTITIONED_RINGBUFFER_EXPIRY
		| KeyspaceId::PARTITIONED_RINGBUFFER_TTL_ARM
		| KeyspaceId::PARTITIONED_RINGBUFFER_META
		| KeyspaceId::TIMER_WHEEL
		| KeyspaceId::TIMER_INDEX => RootSibling::None,

		other => panic!(
			"keyspace {} answers nothing about root siblings; a keyspace that reaches a group sweep \
			 unclassified would leave whatever it points at outside the group orphaned behind a group \
			 id nothing can resolve again",
			other.name()
		),
	}
}

fn join_row_expiry_sibling(group: GroupId, suffix: &[u8], row: &EncodedPodRow) -> RootSibling {
	let Some(suffix) = JoinRowExpirySuffix::from_suffix_bytes(suffix) else {
		panic!("a join row expiry key carries a suffix that keyspace cannot decode");
	};
	let at = match JoinRowExpiryState::decode_state(row) {
		Ok(state) => state.at,
		Err(err) => {
			panic!("a join row expiry row will not decode, so its due index key cannot be derived: {err}")
		}
	};
	RootSibling::Derived(join_expiry_due_key(at, group, suffix.side.0, suffix.row.0))
}

pub fn root_sibling_of(key: &GroupStateKey, row: &EncodedPodRow) -> Option<RootSibling> {
	let (group, keyspace, suffix) = OperatorStateKey::decode_inner(key.as_encoded().as_bytes())?;
	Some(root_sibling(group, keyspace, suffix, row))
}

#[cfg(test)]
fn round_trips<K: Keyspace>() {
	// low() is every column at the start of its own order, so a join that hardcoded a column to its
	// minimum would round trip against low() alone; stepping the suffix first is what makes the
	// probe able to fail
	let mut suffix = <K::Suffix as BoundedKey>::low();
	for step in 0..4 {
		let key = K::join(GroupId::hashed(Hash128(9)), suffix.clone());
		let (group, split) = K::split(&key);
		assert_eq!(split, suffix, "{}: step {step}: a suffix must survive join then split", K::NAME);
		assert_eq!(
			K::join(group, split.clone()),
			key,
			"{}: step {step}: split then join must return the same key",
			K::NAME
		);
		let (again_group, again_split) = K::split(&K::join(group, split.clone()));
		assert_eq!(
			(again_group, again_split),
			(group, split),
			"{}: step {step}: a second round trip must not drift, or the container's identity is \
			 lost on every rewrite",
			K::NAME
		);
		match suffix.successor() {
			Some(next) => suffix = next,
			None => break,
		}
	}
}

#[cfg(test)]
fn carries_its_group<K: Keyspace>() {
	// a keyspace whose typed layout drops the group answers every group's read with one shared row: the
	// sqlite primary key loses the column, so writes from different groups overwrite each other and reads
	// come back stamped GroupId::ROOT. The suffix round trip alone cannot see it, because a join that
	// hardcodes ROOT still returns the suffix it was handed. A keyspace is group-scoped exactly when its
	// key is its suffix behind a leading group column; one whose key adds nothing to its suffix carries
	// the group as payload at most, is ROOT-only by construction, and must collapse every group to ROOT.
	let inside_one_group = group_scoped::<K>();
	let mut suffix = <K::Suffix as BoundedKey>::low();
	for step in 0..4 {
		for group in [
			GroupId::ROOT,
			GroupId::hashed(Hash128(1)),
			GroupId::hashed(Hash128(9)),
			GroupId::hashed(Hash128(u128::MAX)),
		] {
			let (back, _) = K::split(&K::join(group, suffix.clone()));
			if inside_one_group {
				assert_eq!(
					back,
					group,
					"{}: step {step}: a group must survive join then split",
					K::NAME
				);
			} else {
				assert_eq!(
					back,
					GroupId::ROOT,
					"{}: step {step}: a keyspace with no group column must collapse every group to \
					 ROOT, or its writers believe a group is kept that the key cannot hold",
					K::NAME
				);
			}
		}
		if inside_one_group {
			let distinct = K::join(GroupId::hashed(Hash128(1)), suffix.clone());
			let other = K::join(GroupId::hashed(Hash128(9)), suffix.clone());
			assert_ne!(
				distinct.to_suffix_bytes(),
				other.to_suffix_bytes(),
				"{}: step {step}: two groups holding the same suffix must not encode to one primary key",
				K::NAME
			);
		}
		match suffix.successor() {
			Some(next) => suffix = next,
			None => break,
		}
	}
}

#[cfg(test)]
mod tests {
	use std::collections::HashSet;

	use reifydb_codec::row::operator::state::OperatorState;
	use reifydb_value::{
		util::hash::Hash128,
		value::{datetime::DateTime, row_number::RowNumber},
	};

	use super::{
		KEYSPACES, RootSibling, every_keyspace_carries_its_group, every_keyspace_round_trips,
		group_scoped_keyspaces, root_sibling,
	};
	use crate::{
		key::{
			operator::{
				keyspace::join::{JoinRowExpiryState, JoinRowExpirySuffix},
				state::{GroupId, KeyspaceId},
			},
			typed::direction::Asc,
		},
		state::typed::SuffixBytes,
	};

	fn catalogue() -> Vec<(&'static str, KeyspaceId, bool)> {
		KEYSPACES.iter().map(|spec| (spec.name, spec.id, spec.range_cached)).collect()
	}

	#[test]
	fn every_registered_keyspace_answers_what_it_implies_outside_its_group() {
		// A keyspace that never answers reaches a group sweep unclassified and orphans whatever it points at
		// outside the group.
		let suffix = JoinRowExpirySuffix {
			side: Asc(0),
			row: Asc(RowNumber(1)),
		}
		.to_suffix_bytes();
		let row = JoinRowExpiryState {
			at: DateTime::default(),
		}
		.encode_state()
		.unwrap();
		let mut derived = Vec::new();
		for spec in KEYSPACES {
			if let RootSibling::Derived(_) =
				root_sibling(GroupId::hashed(Hash128(7)), spec.id, &suffix, &row)
			{
				derived.push(spec.name);
			}
		}
		assert_eq!(
			derived,
			vec!["JOIN_ROW_EXPIRY"],
			"only a keyspace whose ROOT key is a function of its own key and row may be reaped by \
			 construction; any other name here claims a derivation it does not have"
		);
	}

	#[test]
	fn every_keyspace_names_and_tiers_itself_the_way_its_id_does() {
		// the impl writes NAME and RANGE_CACHED down by hand and KeyspaceId answers them separately, so this is
		// the only place the two lists are forced to agree; a keyspace that quietly changed tiers on one
		// side would otherwise be cached by the store and uncached by the catalogue
		for (name, id, range_cached) in catalogue() {
			assert_eq!(name, id.name(), "{name} and its id disagree on the name");
			assert_eq!(range_cached, id.caches_ranges(), "{name} and its id disagree on the range tier");
		}
	}

	#[test]
	fn no_two_keyspaces_claim_the_same_id() {
		// two keyspaces on one id is exactly the bug R20, R22 and R25 exist to undo, and it is invisible
		// at runtime: the second one's rows simply decode as the first one's shape
		let mut seen = HashSet::new();
		for (name, id, _) in catalogue() {
			assert!(seen.insert(id), "{name} reuses an id another keyspace already claims");
		}
		assert_eq!(seen.len(), 44, "the catalogue is forty four keyspaces");
	}

	#[test]
	fn join_and_split_are_inverse_for_every_keyspace() {
		// R15: the range tier stores only the suffix and rebuilds the key from its partition identity, so
		// a lossy split silently drops a key column on every read back
		every_keyspace_round_trips();
	}

	#[test]
	fn a_group_survives_join_and_split_for_every_keyspace() {
		// the group is the only thing separating one operator group's rows from another's; a keyspace that
		// declares the column but hardcodes GroupId::ROOT in split collapses them all onto one primary key,
		// so a sweep of group A reaps rows belonging to B and the rows A really holds are never named. The
		// converse half holds ROOT-only keyspaces to ROOT, so a writer cannot pass a group the key drops
		every_keyspace_carries_its_group();
	}

	#[test]
	fn exactly_twenty_four_of_the_forty_four_keyspaces_are_group_scoped() {
		// a dropped group column silently reclassifies a keyspace and the sweep follows it
		assert_eq!(
			KEYSPACES.len(),
			44,
			"a keyspace was added or removed without revisiting the group scope split"
		);
		assert_eq!(
			group_scoped_keyspaces(),
			24,
			"a keyspace changed group scope; confirm its key layout meant to"
		);
	}

	#[test]
	fn the_catalogue_covers_every_id_the_substrate_declares() {
		// A declared id with no keyspace has no typed key, so its writers fall back to raw suffix bytes
		// nothing round-trips and the range tier rebuilds a key it cannot decode. There is no reflection
		// over associated constants, so counting the declarations in the source is the only way to notice
		// an id nobody gave a keyspace; 0xFE was the last one and S10 retired it.
		let source = include_str!("../state.rs");
		let body = source
			.split("impl KeyspaceId {")
			.nth(1)
			.expect("the KeyspaceId impl block is where the constants are declared");
		let declared = body
			.split("\n}\n")
			.next()
			.expect("the impl block is closed")
			.lines()
			.filter(|line| {
				let line = line.trim_start();
				line.starts_with("pub const") && line.contains("Self(")
			})
			.count();
		assert_eq!(
			catalogue().len(),
			declared,
			"the substrate declares {declared} keyspace ids and the catalogue types {}",
			catalogue().len()
		);
	}
}