Contract
data class Contract(val greens: List<CapsuleRef>, val reds: List<CapsuleRef>, val assertions: List<Assertion>)(source)
What a program needs from an environment, as a set of assertions that every known green satisfies. With reds it is a 1-minimal set that breaks every red; with greens alone it is every value the greens share, each Role.COINCIDENTAL.