SFM 2.1 Computational Verification Companion II: Verification Before Validation — Synthetic Ensemble Stress Testing, Threshold Sensitivity, and Finite-Graph Audit | Synapse