So, if a Miami loss truly clinches the division, the Playoff Machine is not infallible.
Running certain scenarios with a Giants win along with the NYJ winning out and the Patriots losing out gives the division to the Jets, relegating the Pats to the 5 seed.
There's even a way - according to the machine - to get the Jets a bye, though that relies on a HOU-TEN tie and an PIT-BAL tie (among other assumptions).