A question on the upcoming code audit--what level of audit is this?

Just making sure it's all original (or open sourced) code and not illegitimately copied?
Verifying that it is what it says it is--no trojans, backdoors, etc?
A full mathematical proof of the coin functions such as anonymity?

All of the above?