ReasoningReasoningThe invariantsEach invariant the test surfaces assert is listed with the surfaces that assert it.Correct OutputsCorrect State EvolutionValid State TransitionsCorrect InteractionsValid Interfaces and ContractsAcceptable Execution TimeAcceptable Resource ConsumptionSafe Concurrent BehaviorControlled Memory UsageReliability Under FaultsAvailability Under StressConsistency Across ComponentsRequired DeterminismNumerical ValiditySecurity BoundariesProtocol ComplianceConfiguration ValidityAccurate ObservabilityReachable CheckDeclared DomainDeclared DependencyChecked VerdictPreserved DistinctionFresh ReadOne DerivationWeakest LinkObservation ScopeThree-Condition Stop