Unlike earlier patterns derived from operational experience or qualitative research synthesis, Pattern #127 is the first to integrate outputs from formal verification tools (Verus, TLA+/TLC, TLAPS, Loom), establishing a new standard for evidence in the Village pattern library.