Former Hewlett Packard exec Carly Fiorina has filed the IRS paperwork that is the first formal step in her effort to challenge Sen. Barbara Boxer. The LA Times blog posting is here.