They are listed with a base seniority # on the category summary, as well as counted in the vacancy bulletins (max/mins for category)

But, as you said, they don't fly the line so they are probably not counted in monthly staffing numbers, such as Gline.

I assume (possibly foolishly) that the company has accounted for bumping a certain amt of line and/or training pilots to fit their future block hours per cat and base?