Validate FeynRules .fr model files for physical consistency using Mathematica via Magnus cloud. Triggers when the user wants to check a .fr model file for Hermiticity, diagonal mass/quadratic terms, and kinetic term normalization.
This skill validates FeynRules .fr model files for physical consistency by running four standard checks in both Feynman and Unitary gauge (8 checks total) using remote Mathematica execution via the Magnus cloud platform.
Validation is a critical step between writing a .fr model and generating a UFO model — it catches errors in the Lagrangian before they propagate to event generation.
Ensure the .fr file is complete and saved to disk. Know the exact Lagrangian symbol name (e.g., LSnew, Lag, LBSM).
Execute the validate-feynrules blueprint using magnus run (see magnus skill):
magnus run validate-feynrules -- --model path/to/model.fr --lagrangian LSnew
Parameters:
| Parameter | Required | Description |
|---|---|---|
--model | Yes | Path to the .fr model file |
--lagrangian | Yes | Exact Lagrangian variable name defined in the .fr file |
The .fr file is automatically uploaded via the FileSecret mechanism.
The blueprint returns a JSON result (check with magnus job result <job-id>) containing:
success (bool): True iff all 4 Unitary gauge checks pass. Feynman gauge results are informational only.verdict (str): Intelligent human-readable summary explaining the outcome — covers Goldstone mixing, field mixing, etc.feynman_gauge / unitary_gauge: Per-gauge results with 4 checks each:
hermiticitydiagonal_quadratic_termsdiagonal_mass_termskinetic_term_normalisationmodel_loading: Whether the model loaded successfullyIf validation fails:
verdict field for guidance on what to fix.fr file to correct the issuesThe validator auto-detects whether a model is:
M$GaugeGroups — loaded directlyM$GaugeGroups — the built-in SM.fr is loaded first automatically