TY - RPRT TI - Grain Theory: Type-Level Granularity Correctness in Data Pipelines AU - Nikos Karayannidis PY - 2026 UR - https://arxiv.org/abs/2601.00995 ID - 2601.00995 ER -