Not yet comprehended (no card). Description: Parameterized 5-stage impl→review→verify→amend loop; generic and well-engineered