qgrammar: A Certified Grammar Compiler for Chiral Gauge Matter — typed record alphabets, anomaly certificates, repair searches, and UFO back ends
David Elliman · Neuro-Symbolic Ltd · 8 July 2026
Summary and scope
The qgrammar software implements typed particle records, vertex rules, anomaly checks, a small parser, repair candidates and export scaffolds for a supplied matter model. Its certificates check the encoded identities and typing rules; they do not certify every requirement of a consistent interacting chiral quantum field theory. Particle content, allowed productions and numerical couplings remain inputs. The tool is a front-end consistency aid, not a derivation of the Standard Model or a replacement for full amplitude and event-generator software.
Keywords
How to cite
Elliman, D. (2026). qgrammar: A Certified Grammar Compiler for Chiral Gauge Matter — typed record alphabets, anomaly certificates, repair searches, and UFO back ends. Neuro-Symbolic Ltd technical report. https://doi.org/10.5281/zenodo.21251774
@techreport{elliman2026qgrammarcompiler,
author = {Elliman, David},
title = {qgrammar: A Certified Grammar Compiler for Chiral Gauge Matter — typed record alphabets, anomaly certificates, repair searches, and UFO back ends},
institution = {Neuro-Symbolic Ltd},
year = {2026},
doi = {10.5281/zenodo.21251774},
url = {https://neusym.ai/papers/qgrammar_compiler/}
} The version of record is archived on Zenodo at the DOI above; this page and PDF are the publisher copies at neusym.ai. See the full list of papers for the rest of the programme.