core/tb: Implement TS checking rules