Synthetic lookup-table dataset for the GRPO Tool Saturation experiment. 10k keys k in [0, 9999] with r = k mod 3 feature. Tools map/table have opaque, partially overlapping correct-domains: map correct for r in {0, 2}, table correct for r in {1, 2}. f(k) = SHA256(str(k))[:6]; wrong-hash returns are g_map(k), g_table(k). SFT demos use overlap_skew_map=0.6 on r=2; token-level shuffle across r-classes with fixed seed.