The result of applying a Scope: the inScope snapshot that will be checked, and the qualified names (Contract.qualifiedName) excluded from checking (surfaced, never silently lost).