GrammarGrammarplanningEvery PAG production record, with what grounds it and how it is checked.instructionfrontmatterdocument_declarationmeta_blockmeta_fieldbodynodenode_headernode_meta_tagcontractpreserves_clausefreshness_clausehandoff_gatecheck_linecheck_markerpopulation_clauserefusal_linestanding_lineresult_linearrowrepair_edgeinvariant_blockinvariant_recordreport_blockreport_fieldverdict