Formalizing some more AFEI protocols, though like with everything, this is iterative invariant extraction.
So these protocols will become outdated rather quickly, but that's no reason not to archive the entire process for context and further recursive meta analysis.