All papers
Technical note

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

DOI: 10.5281/zenodo.21251774

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

grammar compilerchiral gauge theoryanomaly cancellationUFO model formattyped rewrite systemsStandard Modelcertified software

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.