Whilst I do not wish to get into a lover's tiff between you and Bill, it did strike me the one example of "Not guilty / Not innocent" is the case dismissed because of the statute of limitations. This would be a para 1 verdict? Yet more than any other this leaves doubt of innocence. Mignini was being prosecuted for abuse of office yet eventually the case was struck out because of the statute of limitations. In this case however strong the evidence was the case is struck out.
Planigale, you raise a good point about what procedural law applies to the statute of limitations dismissals. The Italian legal language as translated in Gialuz uses "exinguishment" to mean "time-barred by statute of limitations".
The CPP has Article 531 Declaration of extinguishment of the offense
1. Without prejudice to the provision of Article 129.2, if the offense is extinguished, the judge shall deliver a judgment of non-prosecution, mentioning the cause in the operative part.
2. The judge shall follow the same procedure if there are doubts regarding the cause for extinguishing an offense.
However, the Marasca CSC panel in their verdict properly cited CPP Article 620 (A) to annul without referral Charge B (carrying a knife) which was time-barred. I posted this article earlier, here is a summary:
CPP Article 620 Annulment without referral
1. ...the CSC shall deliver a judgment of annulment without referral:
(A)...if the offence is extinguished....
One point - some here, such as Vixen, and IIRC Mach, have stated that the CSC are not allowed to use Art. 530. Of course, this is absurd.
What those posters fail to acknowledge is that the CSC used Art. 620 (L) with Art. 530. Article 620 (L) gives the CSC wide lattitude to "take the decisions necessary" which may of course include using Article 530, as it did in this case.
Interestingly, Vixen's literature citation (A. Bull's book) shows how over the years the CSC many times used an "insufficient evidence" acquittal (probably Art. 530). It was not unique to the Knox - Sollecito case.