The Ostendorf rules, which generalize Feynman rules for tau functions to Wightman functions, am discussed in the light of the consistency with the operator solution and the energy-positivity condition (or the spectral condition). For the exactly solvable model called the one-loop model, it is shown that the Ostendorf rules are strictly justified.