Fix dynamic supported_os matching

The dynamic connected-environment OS check used SetSpace.check() directly against the node OS MRO. For allow sets, SetSpace.check() requires the capability set to contain every entry in the requirement, so supported_os=[CBLMariner, Ubuntu] was evaluated as CBLMariner AND Ubuntu instead of CBLMariner OR Ubuntu.

Observed error: OS type mismatch: requires [Ubuntu, CBLMariner] but VM supports [..., CBLMariner, ...].

Fix the dynamic OS check to use any-of semantics for supported_os and none-of semantics for unsupported_os during connected-environment validation. This keeps precise suite metadata and prevents valid multi-distro cases from being skipped after deployment.

Author: vyadavmsft

lisa/testsuite.py

@@ -218,7 +218,24 @@ def check_environment(
                 node_os_capability = search_space.SetSpace[Type[OperatingSystem]](
                     is_allow_set=True, items=type(node.os).__mro__
                 )
-                os_result = requirement.os_type.check(node_os_capability)
+                os_result = search_space.ResultReason()
+                if requirement.os_type.is_allow_set:
+                    supported_os = set(requirement.os_type)
+                    node_os_types = set(node_os_capability)
+                    if not supported_os.intersection(node_os_types):
+                        os_result.add_reason(
+                            f"requires [{requirement.os_type}] "
+                            f"but VM supports [{node_os_capability}]"
+                        )
+                else:
+                    excluded_os = set(requirement.os_type).intersection(
+                        node_os_capability
+                    )
+                    if excluded_os:
+                        names = sorted(os_type.__name__ for os_type in excluded_os)
+                        os_result.add_reason(
+                            f"requirements excludes {', '.join(names)}"
+                        )
                 # If one of OS mismatches, mark the test case is skipped. It
                 # assumes no more env can meet the requirements, instead of
                 # checking the rest envs one by one. The reason is this checking