1. A computer storage medium having data structure thereon, the data structure, when executed by a computer causes the computer to; enable executable code; and generating a reliability contract that expresses an intent with regard to potential state corruption of at least a portion of the executable code, and associating the reliability contract with the at least a portion of the executable code via a non-executable code annotation, and providing for introspection of the associated portion of executable code to be facilitated without execution of the associated portion of executable code.