The patient is a 21" walk-behind Troy-Bilt with electric start; model number 12AJ836E011.
Tracking down a no-spark condition, I eventually found that the control cable isn't pulling its lever far enough to un-ground the stop switch (this switch appears as ref. no. 621 in the Briggs&Stratton...