Dva prispevka ima oznako "State Machines"

orb validate dokazuje strukturne lastnosti. orb test gre dalje — hodi po vsaki povezavi vsakega avtomata stanj, sprozi vsak dogodek iz vsakega stanja in preveri, da varovalke pravilno blokirajo in prepuscajo. Ne napisete nobene testne kode. Graf je testni nacrt.

V Orb-u je vsaka funkcionalnost avtomat stanj. Ne drevo komponent, ne zbirka hookov — avtomat stanj z eksplicitnimi stanji, varovanimi prehodi in zaprto zanko, ki jo prevajalnik uveljavlja, preden se generira kakršnakoli koda.