fn check_token_complete( t: &[(u8, u16, u8, u8)], max_tc: u8, label: &str, ) -> bool
coeff_token テーブルに有効な (tc, t1) 組が漏れなく 1 回ずつあるか検査。 max_tc までの全組（tc=0:(0,0)、tc>=1: t1=0..min(tc,3)）を期待。