Engineering notes

How we build Pragma: the principles behind its agents and checks.