fix specs for new proof state logic
fix specs for new proof state logic

AnnArborTees/softwear-production,AnnArborTees/softwear-production,AnnArborTees/softwear-production,AnnArborTees/softwear-production