By: Lucien Huber <im@lcnbr.ch>
restore the FeynRules ghost vertex and check BRST quartet cuts The SM model paired UUV1 = P(3,2) with the FeynRules ghost-Goldstone (UUS1) particle lists. Those lists put the antighost field in slot 1, while P(3,2) assumes the ghost field there, so electroweak ghost loops that combine both vertex types broke the tree-level BRST quartet identity by 1.3-6.7%. Restore UUV1 = P(3,2) + P(3,3) (= -P(3,1)) in the four SM model files. Generator::interaction_numerator now instantiates Lorentz structures through the new LorentzStructure::reduced_by_momentum_conservation, so the rule is generated as -P(3,1). The model data keep the literal expression of the FeynRules SM UFO, and imported FeynRules models get the same short rule. Instantiated literally, the two-term form makes the RQFT three-loop ghost references d21 and d33 about 30 and 44 times slower on feynkit 58814885. Add massive_tau_covariant_cuts_satisfy_the_brst_quartet_identity; on feynkit 58814885 it fails with a W W residual of 50176/1890625. Re-derive the references that encoded P(3,2): the eight RQFT mirror pairs, the finalized g -> g ghost loop, the frozen ghost fixtures, the SM model fingerprint of addbar.dot and epemttbar.dot and the tt_higgs model snapshot. Drop the -3i model-reader check, which assumed the opposite slot dictionary, and document the dictionary in the SM conventions audit. nix-ci.nix: top-level enable = false during review. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>