Worked on the xtdb/xtdb repository to align Allium specifications with their implementation, focusing on database design and query optimization. Enhanced the data model by introducing new entities such as Database, Block, Snapshot, and LogProcessor, and improved coherence across catalog components. Refined query execution by ensuring ScanOperatorAccess processes only live tries, optimizing garbage collection and compaction behavior. Enforced type and naming consistency throughout the codebase, supporting safer refactors and scalable maintenance. Leveraged skills in data structures and garbage collection using the Allium language to deliver clearer specifications and more reliable data access, contributing measurable improvements to system reliability and maintainability.