The Standard Model as a Certified Attribute Grammar: Feynman rules as compiler phases on an [8,4,4] record alphabet

Summary and scope

An attribute grammar organises supplied particle types and interaction rules, with type checks for allowed vertices and charge identities. It formalises a chosen particle model; it does not derive the Standard Model gauge group, generations, statistics, couplings or masses from a code. Restrictions on a fourth generation or sterile readout are properties of the declared grammar. The contribution is a way to represent and check those rules, with the code and physical assignments explicit.

Keywords

How to cite

Elliman, D. (2026). The Standard Model as a Certified Attribute Grammar: Feynman rules as compiler phases on an [8,4,4] record alphabet. Neuro-Symbolic Ltd technical report. https://doi.org/10.5281/zenodo.21182033

@techreport{elliman2026quantumgrammar,
  author      = {Elliman, David},
  title       = {The Standard Model as a Certified Attribute Grammar: Feynman rules as compiler phases on an [8,4,4] record alphabet},
  institution = {Neuro-Symbolic Ltd},
  year        = {2026},
  doi         = {10.5281/zenodo.21182033},
  url         = {https://neusym.ai/papers/quantum_grammar/}
}