HEPhaestus

Numerically evaluate a FormCalc-reduced one-loop amplitude with LoopTools 2.16 (Passarino-Veltman integrals via the Wolfram/LoopTools MathLink) and emit a scattering/v1 JSON (σ_SI, σ_SD) for direct detection. Unblocks the 2HDM+a loop-only DD path. Self-heals via _shared/installs/looptools preflight.

Reduce a FeynArts amplitude list with FormCalc 9.10. Produces amp_reduced.m and amp_reduced.meta.json sidecar conforming to amp_reduced.meta/v1. Self-heals via _shared/installs/formcalc preflight.

Generate Feynman diagrams and amplitudes using FeynArts 3.11. Supports built-in models (SM, SMQCD, THDM, MSSM) and SARAH-generated models. Outputs FeynAmpList.m, diagrams.pdf, topologies.json, and metadata sidecar.

Compute direct-detection likelihoods and 90%-CL exclusion verdicts using DDCalc 2.2.0. Leaf consumer of scattering/v1 JSON from /micromegas or /formcalc.

MadDM — dark matter relic density, direct detection cross-sections, indirect detection rates, parameter scans with experimental limit comparison

Run HiggsBounds-5 + HiggsSignals-2 constraint checks on a model SLHA file. Computes hb_allowed (per-channel AND), hs_consistent (Δχ² < 6.18), p-values, and per-channel CSV. Supports single-point and scan-directory modes.

Constraint-first workflow for the Singlet-Doublet fermion DM model (arXiv:2506.19062 §II). Interviews the user for constraints (relic, direct detection, indirect detection), shows the prereq chain with a time estimate, gates for confirmation, then drives /sarah-build → /spheno-build → /madgraph → /maddm for the ready subset. Invoke when the user picks Singlet-Doublet from /demo or says "run singlet-doublet".

Given a validated ModelSpec YAML, render SARAH .m files from templates and invoke SARAH headlessly to produce UFO and/or SPheno source output.

Compile a model-specific SPheno binary from SARAH output and run spectrum / RGE calculations.

Detects when a BSM ModelSpec structurally requires the analytic-backend escape hatch (dsu3-002 pattern), enforces the user-sign-off gate, and renders the mandatory disclosure banner upstream of /dark-matter-constraints.

Meta-skill — given a BSM model and a DM question (relic density, direct detection, indirect detection, or all), routes to the right underlying tool(s) (MadDM, micrOMEGAs, DRAKE), runs them, compares results where appropriate, and returns a merged answer with caveats. Does no physics itself.

Orchestrate the full BSM model pipeline — interview the user to build a ModelSpec, install SARAH and SPheno if needed, run SARAH and SPheno, and hand the UFO + SLHA outputs to /madgraph or other tools.

Compute DM relic density, direct/indirect-detection cross-sections, and annihilation spectra using micrOMEGAs 6.0.5.

Constraint-first interactive workflow for the 2HDM + pseudoscalar mediator (2HDM+a) DM model (arXiv:2506.19062 §III). Interviews the user for constraint selection (relic density, direct detection, indirect detection), shows the prereq chain with [EXISTS]/[PLANNED] annotations and a time estimate, gates for confirmation, then drives the hand-crafted SARAH model → /madgraph → /maddm for the relic-ready subset. Invoke when the user picks 2HDM+a from /demo or says "run 2hdm-a".

MadDM_results.txt → gamlike/v1 JSON parser (v0 — parser only; pull computation v1+)

Model-to-tool compatibility router. Given a registered BSM model ID, determines which tool chains are reachable for each observable (relic density, direct detection, indirect detection, Higgs constraints), ranks them by role (primary > validator > specialty > escape_hatch), surfaces structural blockers, and routes exception paths (analytic backend, sign-off required, hard halt).

Bundle front door for hephaestus tool installs. Pick a use-case bundle or a single tool by name, and the orchestrator drives the per-tool detect.sh + install.sh under `_shared/installs/<tool>/`. Invoke when the user says "install", "set up <tool>", "configure hephaestus", "what tools are available", or before starting a workflow that needs multiple tools.

Constraint-first interactive front door to the Profumo blind-spot demo (arXiv:2506.19062). Presents a model picker (Singlet-Doublet, 2HDM+a, Dark SU(3)) and delegates to the chosen per-model skill. Invoke when the user says "run the demo", "show me HEPhaestus", "reproduce the blind spot", or on fresh-install evaluation.

MadGraph5_aMC@NLO — process generation, card writing/editing, event generation, LHE parsing, parameter scans

Drive CLASS v3.3.4 (via classy) for linear cosmology — background H(z), CMB Cℓ, P(k), transfer functions — for ΛCDM and upstream BSM extensions.

Drive DRAKE for relic-density calculations in regimes where the ⟨σv⟩ Taylor expansion fails — narrow s-channel resonances, early kinetic decoupling, forbidden channels, Sommerfeld enhancement.

Constraint-first interactive workflow for the Dark SU(3) dark-Higgs benchmark (arXiv:2506.19062 §IV). SU(3)_D broken to SU(2)_D by a dark Higgs VEV; two DM candidates are the massive dark vector V (tree-level SI) and the dark pseudoscalar Psi (exact parameter-independent SI blind spot). Interviews the user for constraint selection, shows the full prereq chain with [EXISTS]/[PLANNED] annotations, and runs relic density via the analytic backend. Invoke when the user picks Dark SU(3) from /demo or says "run dark-su3".

Generate publication-quality Feynman diagrams in TikZ-Feynman, FeynMF, or ASCII

Generate BSM exclusion and discovery contour plots in 2D parameter planes — observed, expected, Brazil bands

Render Feynman diagrams in TikZ-Feynman for direct LaTeX embedding — standalone or inline

Publication-quality HEP plots with matplotlib and mplhep — distributions, stacked histograms, ratio panels, multi-panel figures

Synthetic stub skill for forward-compatibility testing (T-SF-9 / C4). Demonstrates that a new BSM model can be added without modifying _shared/ or tools/. Do not invoke in production.

Compare theoretical predictions to experimental data — uncertainty bands, pull distributions, chi-squared goodness of fit