A Domain Language for Specifying Controlled Methods

This paper describes a small, tested domain language for specifying controlled methods — the methods-paper exemplar of the Research Project Template (https://github.com/docxology/template). Unlike a results paper, this manuscript's subject is the methodology itself: a controlled vocabulary, a unit system with dimensional safety, four staged validation gates, and a deterministic compiler, implemented in projects/templates/template methods paper/src/methods dsl/ and described section by section in . The domain language's vocabulary is informed by BPL (Biology Programming Language, ), an upstream reference that encodes laboratory protocols as programs with biology-native types, staged validation, and deterministic compilation; this exemplar generalizes BPL's intent vocabulary and pipeline shape from wet-lab protocols to any controlled procedure. A Method is a name, a set of typed parameters