Verified first amended petition for writ of mandate; Complaint for declaratory relief (July 20, 2015)