\begin{table}[t]\centering\small
\caption{Synthetic suite v1: splits fixed before sampling. $n$ = items after cross-split exact-duplicate removal;
``dropped'' = duplicates removed. Test splits are locked until pre-registration is frozen.}
\label{tab:families}
\begin{tabular}{llllrr}\toprule
Split & Families & Templates & Depths & $n$ & dropped\\\midrule
train & arith, bind, fsm, excl, sched & 0,1,2 & 1,2,3,4 & 23,005 & 995\\
calib & arith, bind, fsm, excl, sched & 0,1,2 & 1,2,3,4 & 1,690 & 110\\
dev\_iid & arith, bind, fsm, excl, sched & 0,1,2 & 1,2,3,4 & 3,344 & 256\\
dev\_template & arith, bind, fsm, excl, sched & 3,4 & 1,2,3,4 & 2,373 & 27\\
dev\_depth & arith, bind, fsm, excl, sched & 0,1,2 & 5,6 & 1,800 & 0\\
dev\_compose & compose & 0,1,2 & 3,4,5 & 540 & 0\\
test\_iid & arith, bind, fsm, excl, sched & 0,1,2 & 1,2,3,4 & 3,316 & 284\\
test\_template & arith, bind, fsm, excl, sched & 3,4 & 1,2,3,4 & 2,328 & 72\\
test\_depth & arith, bind, fsm, excl, sched & 0,1,2 & 5,6 & 1,800 & 0\\
test\_compose & compose & 0,1,2 & 3,4,5 & 540 & 0\\
ctrl\_train & arith, bind, fsm, excl, sched & 0,1,2 & 1,2,3,4 & 11,030 & 970\\
\bottomrule\end{tabular}\end{table}