While you haven't exactly said it, it appears that part of your concern is about listing a starting player that isn't present when the game starts. That isn't a stated rule in NFHS softball, although the necessary number to match the lineup (9 or 10) must be present; you can't list the DP/FLEX with only 9 present.
It sounds to me like the coach followed all applicable rules correctly.
__________________
Steve
ASA/ISF/NCAA/NFHS/PGF
|