- every gate must print its measurement and carry its contract id - every gate must be able to FAIL on a synthetic violation (fixture injection) - a skip is never a pass (notRun class; T-07-22)