Resolution of Open Problem O3: Proof of the Slavnov–taylor Identity Under the Reynolds Projector | Synapse