validPlaintexts

Sample messages guaranteed to lie in the scheme's valid input domain.

Must be non-empty, and every property below asserts that before using it. This is the suite's one free knob, and empty is the setting at which it stops testing: a property that loops over the domain passes green over an empty list, having asserted nothing, and one that takes .first() dies inside the standard library on NoSuchElementException: List is empty. — a red, but one that names the collection rather than the fixture setting that emptied it, and that aborts before the property's own diagnostics run. Neither shape is acceptable, so both get the same explicit check (#2347).

Nobody has overridden this to empty. The point is that a downstream scheme whose valid domain is expressed by an override that happens to compute empty would lose the properties with no signal; CommutativeSchemeConformanceSuiteEmptyDomainRigTest is what holds every property to failing loudly instead.